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
evalue_range_propagation: add monotonicity test
2008-03-31
Sven V
e
rdoolaege
eva
l
ue_range_
p
rop
a
gation:
add monotonicity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_
m
a
ximize: opt
i
onally use (basic) ra
n
ge p
r
opagatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Add some s
u
pport
fo
r
d
e
aling w
i
th evalues that r
e
present
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaeg
e
barvinok_enumerate
:
sup
p
o
rt use of Euler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
implement Be
r
n
o
u
lli
_
s
um as
c
onver
s
ion fr
o
m
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_
e
value: explo
i
t i
n
teger bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
keep trac
k
o
f n
u
mber of Bernoul
l
i sum
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
r
doolaeg
e
bernoulli
.
c
:
protect shared evalu
e
f
r
om mo
d
ifi
c
ations
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
doolaege
test Bernou
l
l
i
sums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvin
o
k_co
u
nt_with_o
p
t
ions:
compu
t
e
(
ex
a
ct) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
Be
r
noull
i
_sum
_
eva
l
ue: optiona
l
ly handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
l
a
ttice_p
o
int
.
h: e
x
port fraction
a
l_part
with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
barvinok_enumerate_w
i
th_optio
n
s: compute
(exact)
B
ernou
l
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
Ber
n
oulli_sum_evalue:
handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_
s
um_evalue: cu
t
of
f
so
m
e r
e
dundan
t
pa
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Bernoulli_sum_evalue: make sur
e
no em
p
ty partit
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_sum
_
evalue: re
m
ove re
d
undant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernou
l
l
i
.
c
:
minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Be
r
noulli_s
u
m:
h
and
l
e cont
e
x
t co
n
straints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
Ber
n
o
ulli_sum_evalue: make
sure enoug
h
m
e
mory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
o
l
aege
for_ea
c
h
_lower_upp
e
r_
b
ound: add ano
t
her callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
v
erify
.
c
:
a
djust
d
efault
r
ange to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: summate_over_domain:
only c
o
nsid
e
r
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
par
a
m_util
.
c
:
export Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
Param_Polyhedr
o
n_Facet: pa
s
s facet
d
efini
n
g
constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
genfu
n
.
cc: pa
r
al
l
el_pol
y
topes
:
don't bother handlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
evalue_
s
pl
i
t_d
o
mains_into
_
orthants: don't reduce evalu
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
e
ge
evalue_read: onl
y
all
o
w terms t
o
cro
s
s newlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
ev
a
lue_read:
o
nly accep
t
implicit m
u
ltiplicatio
n
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
e
v
alue_
r
ead: accept
c
onstraints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_b
e
rnstein_coefficients: ens
u
re result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
b
ernstei
n
: piecew
i
se_lst: correctl
y
print
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
remove
_
all_equal
i
ties: keep removing
p
arame
t
er e
q
ualiti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc:
c
onsistent use of Kevin's i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Ver
d
ool
a
e
ge
doc: updat
e
now publis
h
ed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_l
o
w
er_upper_b
o
und: al
l
ow abs
e
nce of
l
ower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
Revert "e
a
dd
_
parti
t
ion
s
:
t
ry to combine mu
l
ti
p
le
d
omai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
evalue_read_par
t
it
i
o
n: put pa
r
titions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
e
v
alue: r
e
duce_evalue
:
ad
d
note on
s
o
me m
i
ssed opport
u
n
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
c
c: hand
l
e inp
u
t
wit
h
uni
o
ns +
rela
t
ion
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erd
o
olae
g
e
m
a
x
i
mize
.
c
c
: d
e
al with union
s
in input d
u
ring verifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
evalue_substitu
t
e: pro
p
erly han
d
le relations
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdo
o
lae
g
e
e
value
.
c: clean
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoola
e
ge
ev
a
lue_r
e
ad
:
correc
t
l
y r
e
ad variable names
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verd
o
olaege
eval
u
e_read: a
c
cept
t
op level "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Ver
d
o
o
lae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erdoolaege
evalue_backsubstitute: add
r
equired modulo
c
onstraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c: *_partit
i
ons: simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sve
n
Verdoolaege
doc: more specific infor
m
ati
o
n on bug
g
y
cddlib versi
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sven Verd
o
olaege
configure
.
i
n
: r
e
quire cdd
l
ib 0
.
94e by t
e
sting for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdo
o
laege
co
n
f
igure
.
in: onl
y
co
m
pile
o
cc if code_gen li
b
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add so
m
e t
e
s
t
s
f
o
r
i
mplem
e
nt
a
t
i
o
n
of pr
o
jection t
h
eor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
d
oc:
document new opti
o
ns and new ap
p
lic
a
tion
s
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
AU
T
HORS: update support informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
lae
g
e
g
e
nfun
.
cc
:
short_
r
at::pr
i
n
t
: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
ola
e
ge
Export series as ba
r
vinok_enumerate_
s
erie
s
a
nd us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ola
e
ge
remo
v
e
_param
e
t
e
r
_
equa
l
ities
:
s
t
o
p "remo
v
ing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
series: leave freeing of P
a
r
g
ument to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaeg
e
doc:
document implementatio
n
of the
p
r
ojec
t
ion
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
add barvinok_enumerate_e_se
r
ies implement
i
ng th
e
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
g
e
nfun
.
cc
:
fix
a
n
d documen
t
para
l
l
el polytopes
class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
O
n
ly compile zsolve if gcc
3
.
4 o
r
l
ater
i
s available
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
Move GiNa
C
-
i
ndependent pa
r
t of li
b
rary
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
polylib: updat
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
do
c
:
ho
w
to
c
o
u
nt the number of elemen
t
s in possi
b
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoolaege
doc/
i
m
p
lemen
t
ation
.
tex
:
avoid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
lattice_width
.
c: try vertices of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
doc: documen
t
integer hull
c
o
m
p
ut
a
t
i
on
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ve
r
dool
a
ege
hull
.
c: add
a
ll p
o
in
t
s
found
by
s
ampling dire
c
t
l
y t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Ver
d
o
o
laege
P
o
ssib
l
e optim
i
zations f
o
r generalized
basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
a
e
ge
Supp
o
rt use of generalized basis reductio
n
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedr
o
n_In
t
eger_Minimum for c
o
mputing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven V
e
r
d
oola
e
ge
d
oc
:
docume
n
t generaliz
e
d basis red
u
ction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoo
l
ae
g
e
doc/b
a
r
v
inok
.
bib: ad
d
miss
i
ng
str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more missing ass
e
r
t
.
h #in
c
l
u
d
es
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rdoolaege
evalue
.
c:
add missing include
o
f alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erd
o
o
l
aege
configur
e
.
in
:
pass path
of GMP installation to PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
i
n
: only com
p
ile
libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
P
o
lyhedron_Reduced_
B
asis: do
n
'
t stop
too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_width_directions: only keep li
s
t of d
i
stinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
zsolve
:
d
o
n'
t
install library
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
v
e
rsion
.
c: s
h
ow use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
configure
.
in: don't set with_{poly,pip}lib_pre
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
erdoolaege
Poly
h
edron
_
Samp
l
e:
be
s
atisfie
d
with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoo
l
aege
co
n
e
_
i
n
teger_hu
l
l: optionally print sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_reduction: keep track of number of
L
Ps solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
opt
i
ons: move --print-stat
s
to l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoola
e
g
e
bernstein: re
w
ork
t
esting
f
ramework to not depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
bernstein:
a
dd piec
e
wise
_
l
st::is_e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
support ne
w
er v
e
rsion
s
of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoo
l
ae
g
e
s
t
and
a
rd_
c
onstr
a
ints: mo
v
e
from topcom
.
c
to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
r
doolaege
polysign
.
h: remove dependency o
n
l
exmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdool
a
eg
e
zsolve: add b
a
nner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
e
rdoo
l
aege
Polyh
e
dron_Lattice
_
Width_Directions: pr
i
nt pro
g
res
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
ven Ve
r
doolaege
basis_reduction_pip: abort on inv
a
lid (em
p
ty) inpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
READ
M
E: expl
a
in how
t
o get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
doc: do
c
ument
lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erd
o
olaege
some lat
t
i
ce width tests from
J
o
n
Yaggie
commit
|
commitdiff
|
tree
next