repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
test_bound: compare polynomial bound algorithms
2008-03-31
Sven Verdoola
e
ge
test
_
bound: compare
polyn
o
mial bound
a
l
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: optimum: handle input eva
l
uat
i
ng to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
verify
.
c: extract eva
l
ue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
do
o
l
aege
ve
r
i
fy
.
c: extra
c
t
c
o
m
mon cod
e
for veri
f
yin
g
op
e
ra
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
evalue_range_propagation: add mon
o
tonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvin
o
k_maximize: optional
l
y use (basic) range p
r
o
p
aga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Add some
s
u
ppor
t
for dealing with evalues
t
hat repr
e
se
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
ba
r
vinok_enu
m
erate: support us
e
of E
u
le
r
-
M
aclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ver
d
o
olaege
i
m
plemen
t
Bernoulli_
s
um as conversion fr
o
m unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
B
ernoulli_sum_eva
l
ue: expl
o
i
t
integ
e
r bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
keep tra
c
k of number of B
e
rnoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
b
e
r
noulli
.
c:
p
rotect shared
evalue from
m
o
dificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oo
l
a
ege
test Be
r
n
oulli
s
ums
b
ased exac
t
enumer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ba
r
vin
o
k_count_with_opt
i
ons: compute (exact) B
e
r
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: op
t
iona
l
ly handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aeg
e
lattice_point
.
h: ex
p
or
t
fractional_par
t
with C
l
inkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
b
arvino
k
_enum
e
rate_with_
o
p
tions
:
compute (exac
t
) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_ev
a
lue: ha
n
dle e
q
ual
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
B
ernoull
i
_sum_evalue: cut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
l
l
i
_sum_evalue
:
make sure no emp
t
y partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_eval
u
e: remove re
d
u
ndant
co
n
straint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
bernoul
l
i
.
c: minor refa
c
tori
n
g
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
l
a
ege
Bernoull
i
_sum
:
handle context con
s
t
raints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
ae
g
e
Bernoulli_sum_evalue:
m
a
ke sure enough
m
emory i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
for_eac
h
_lower_upper_bound: add an
o
ther cal
l
b
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
g
e
verify
.
c:
a
d
just default ra
n
ge to context if need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
e
u
ler
.
cc: summate_ove
r
_
d
omain
:
on
l
y
conside
r
ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
para
m
_util
.
c: export Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Param_
P
olyhed
r
on_Facet: pass
f
a
cet de
f
ining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
genfun
.
cc: parallel_
p
olytopes: don't bother h
a
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
evalue
_
sp
l
it_d
o
mains_into_orthants:
d
on't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue_read: only allow
t
erms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_read: only accept im
p
lic
i
t mul
t
ipl
i
c
ation o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
evalue_read: acc
e
pt c
o
nstr
a
in
t
s con
t
ai
n
ing "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_be
r
ns
t
ein_c
o
effi
c
i
ent
s
: ensure resul
t
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ver
d
o
ola
e
ge
bernstein: piece
w
ise_
l
s
t
:
correctly
p
rint
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
remove_
a
ll_equalities: keep
r
emoving param
e
ter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaeg
e
doc: consistent use of Ke
v
in's initials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolae
g
e
doc: upd
a
te now published pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_eac
h
_lower_u
p
per_bound:
all
o
w absence of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
Revert "eadd
_
p
a
rtitio
n
s: try to combine
m
ulti
p
le domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
doolae
g
e
evalue_read_partition
:
put
p
artitions back in the
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
e
v
a
lue: reduce_evalue: add note o
n
some
m
i
s
sed opportuni
t
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdoolae
g
e
bern
s
tein
.
c
c
: handle in
p
ut
wit
h
unions + rel
a
tion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdoolaege
ma
x
i
mize
.
cc:
d
eal wi
t
h unions in input dur
i
ng
verific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
lae
g
e
e
v
alue_subs
t
i
t
ute: properly handle relati
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalue
.
c: clean up em
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
d
oolaege
evalue_read
:
correc
t
ly read variable name
s
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ve
r
d
o
o
l
aege
e
v
a
l
ue
_
r
ea
d
:
accept top
l
eve
l
"relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoo
l
aege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Verdoo
l
aege
eva
l
ue_bac
k
subs
t
itute: ad
d
requ
i
red modulo constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
e
rdoolaege
evalue
.
c: *_parti
t
ions: simp
l
if
y
constrai
n
ts
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
Verdool
a
e
g
e
d
o
c: more
spec
i
f
ic
i
nformation on buggy c
d
dlib ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoo
l
aege
c
onfigure
.
in: r
e
quire cddlib
0
.
94e by
t
e
s
ting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
r
d
oo
l
a
e
ge
configure
.
in:
only co
m
pile o
c
c
if code_gen
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdo
o
laege
ba
r
vi
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some t
e
sts
for i
m
plem
e
nta
t
io
n
of project
i
on
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docume
n
t new o
p
tions a
n
d
n
e
w
a
pplic
a
t
ions
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
ool
a
ege
AUT
H
ORS: upda
t
e support
i
nfor
m
at
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doola
e
ge
genf
u
n
.
cc:
s
hort_rat
:
:print:
correctly p
r
i
nt polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
E
x
port series as
barvino
k
_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
r
e
move_
p
arameter_equalit
i
es
:
stop "removin
g
" equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaege
s
eries
:
leave
f
reein
g
of P a
r
g
ument to calling f
u
ncti
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
doc: document implementation o
f
the
proj
e
ction
the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
V
erdoolaege
add barvinok_
e
nume
r
a
te_e_series implementing the
p
r
oject
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
ge
n
f
u
n
.
cc: fi
x
and doc
u
ment paral
l
el polytopes
class
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oolaege
Only compile
z
solve if
g
c
c
3
.
4 or late
r
i
s
a
v
ail
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoo
l
aege
M
o
ve GiNa
C
-ind
e
p
endent par
t
of li
b
r
ary
t
o bar
v
i
n
ok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
p
olyl
i
b: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoola
e
ge
doc: how to count
the n
u
mbe
r
of element
s
in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdo
o
la
e
ge
doc/im
p
lementatio
n
.
tex: avoid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
lattice_width
.
c: t
r
y
ver
t
ice
s
o
f previous i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdool
a
ege
doc: docume
n
t integer
h
u
ll computation
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ve
r
doolaege
hull
.
c: add
a
ll points found by sampling
directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
e
ge
Possible
o
ptim
i
zations for generalized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use o
f
g
eneralized basis re
d
uction to com
p
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
l
aege
add
P
olyhedron_In
t
eg
e
r_Minimum for c
o
mputing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc:
d
ocument genera
l
i
zed basis reduction based inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc
/
ba
r
vin
o
k
.
bib: add miss
i
n
g
string
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoola
e
ge
add more missing assert
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaeg
e
evalue
.
c: a
d
d mi
s
s
i
n
g
in
c
lude of al
l
oca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdool
a
eg
e
con
f
igure
.
in: pass path of GM
P
install
a
tion to
P
olyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
configure
.
in: only com
p
i
le
l
ib
b
arv
i
n
o
k
a
s a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoo
l
aege
Polyhedron
_
R
ed
u
ced_B
a
s
i
s: don
'
t stop to
o
early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
comput
e
_width_d
i
rectio
n
s: only keep list of di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
zs
o
lve:
don't
i
n
stall libra
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c: show
use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ver
d
oolae
g
e
c
o
n
figure
.
i
n: don
'
t
se
t
with_{poly,pip
}
lib
_
prefix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Pol
y
hed
r
on_Sample: be satis
f
ied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoo
l
aege
cone_in
t
eger_h
u
l
l
: opt
i
ona
l
l
y pr
i
nt stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en V
e
rdoolaege
b
asis
_
re
d
ucti
o
n: keep track of
n
u
mber of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
optio
n
s
: mov
e
-
-p
r
int-stats
t
o
library
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdool
a
ege
bernstein: rework testi
n
g f
r
amework
t
o not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
bernstein:
a
dd pie
c
ewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
support
newer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
standard_constraints
:
move from
t
opc
o
m
.
c to po
l
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
polys
i
gn
.
h:
re
m
o
ve de
p
end
e
ncy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
V
e
rdoolaege
zsolve: a
d
d bann
e
r
.
h to distrib
u
tion
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdoo
l
aege
Polyhedron_La
t
tice_Width
_
Dir
e
ctions: print progress
.
.
.
commit
|
commitdiff
|
tree
next