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
bound.cc: fix call to evalue_convert
2008-04-08
Sv
e
n Verdoolaege
b
o
und
.
c
c
:
fix
ca
l
l to eval
u
e_conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{a
d
d,
m
ul}_periodics: pl
u
g m
e
m
ory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernstein_coe
f
ficients: handle problems
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
up
d
ate polyl
i
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoola
e
ge
lattice_width
.
c
: skip direct
i
ons that are i
d
ent
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ve
n
Ver
d
oolaege
M
akefile
.
am: add cdd94e
-
test to distri
b
ution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
o
mega/occ: optionally use parker for
c
om
p
uting cardinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
normalizati
o
n
.
c: skew_to
_
positive_orthant:
p
rop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega
/
convert
.
c
c
: rel
a
tion2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
o
c
c: add
d
ump for dumping in
b
arvinok_enumera
t
e_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
bar
v
inok_enumerate_
e
: optionally use
p
ark
e
r
'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
rdoolaege
stan
d
ard_constraints: take co
n
straints instead
o
f polyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
o
olaege
normalization
.
c:
e
xtract stand
a
rd_constrai
n
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven
Verdoolaege
parker/count_solutions
.
cc: fix t
r
eatmen
t
of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
c
o
mp
i
le parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
euler
.
cc: e
v
alue_
d
erive:
handle
co
n
s
t
ant poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
a
d
d some t
e
st sets fr
o
m cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaeg
e
rename barvinok_maxi
m
ize to bar
v
inok_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
ad
d
a
t
e
st for
t
est_bo
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_ra
n
g
e
_
prop
a
ga
t
io
n
:
remove
r
e
d
undant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
test_boun
d
: re
c
ord
number of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
t
e
s
t
_b
o
und: convert quasipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
te
s
t_
b
ound: c
o
mpare polyno
m
ial bound al
g
o
r
i
t
hms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
ve
r
if
y
.
c: opti
m
um: hand
l
e input evaluating to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
verify
.
c
:
extrac
t
evalue_optimum fr
o
m maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verif
y
.
c:
e
x
tract c
o
m
mon code
f
or verifying
o
p
erati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
r
a
nge_prop
a
gatio
n
: a
d
d
mono
t
onici
t
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
barvinok_maximize:
optio
n
ally use (basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
Add some supp
o
rt for dealin
g
with eva
l
u
es that repre
s
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oola
e
ge
barvino
k
_
e
numerate: support
u
se of Euler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
implement Bern
o
ulli_sum as
c
on
v
e
rs
i
on from unweig
h
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaeg
e
Bernoulli_s
u
m
_
evalue: exp
l
o
it integer bou
n
ds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
keep
t
rack of numbe
r
of
B
ernou
l
li sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
bernoulli
.
c: protect
s
hared eva
l
u
e
fr
o
m modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
Bernoulli sums
b
ased exact
en
u
merat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_c
o
unt_
w
ith_options: compute (
e
xact) B
e
rnoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
B
er
n
o
u
l
l
i_sum_e
v
alue
:
optionally
handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
latti
c
e_point
.
h
:
e
x
por
t
fr
a
ct
i
o
nal_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
aege
b
a
r
v
inok_enumerate_with_optio
n
s: com
p
ute (ex
a
ct) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
er
n
ou
l
l
i
_sum
_
e
value
:
hand
l
e
equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oulli_sum_evalue: cut off some redun
d
ant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Be
r
noulli_
s
um_evalue: make
sure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_ev
a
lue: remove redu
n
dant constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
bernoulli
.
c: mino
r
refactorin
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
Bernou
l
li_
s
um: ha
n
dle context
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue:
make s
u
re enough memor
y
is
al
l
oc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
f
o
r_each_lower_up
p
er_bound: add an
o
ther ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjust
d
efault range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolae
g
e
euler
.
cc: summ
a
te_over_domain
:
onl
y
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaeg
e
p
a
ram_util
.
c:
e
xport Param_Ver
t
ex_Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolae
g
e
P
a
r
a
m
_
Polyhedron_Facet: pa
s
s
facet de
f
in
i
ng constra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
g
enfun
.
cc: parallel_polytop
e
s
:
do
n
't
bother handlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_spl
i
t_domains_i
n
to_orthants:
don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
eg
e
evalue_read: o
n
l
y a
l
lo
w
terms to
cross
n
ewli
n
es inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_
r
ead: only accept
implicit multi
p
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ev
a
lue_r
e
a
d
:
accept constra
i
nts conta
i
ni
n
g
"'
-
'
sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
l
u
e_bernstein_coefficients: ensure resul
t
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
bernstein: piecewise_
l
st:
c
orrectly pri
n
t
and e
v
alu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
re
m
ove_all
_
equalitie
s
: keep rem
o
v
i
ng parame
t
er equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ve
r
doolaege
doc: consis
t
e
nt u
s
e of
K
evin
'
s initials
commit
|
commitdiff
|
tree
2008-03-24
S
ven
Verdoolaege
doc: u
p
date no
w
published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lowe
r
_upper_bound: all
o
w absenc
e
o
f
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "
e
add_partitions: t
r
y to combine multiple d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_rea
d
_
p
artition
:
put
partitions bac
k
in t
h
e same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoola
e
ge
e
v
a
l
ue: reduce_ev
a
lue: add note on some
miss
e
d
opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoolaege
berns
t
ei
n
.
cc: handle input with uni
o
ns + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
max
i
mize
.
cc: dea
l
wi
t
h unions
i
n input du
r
ing verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
l
u
e
_su
b
s
t
i
t
ute: prope
r
ly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
eval
u
e
.
c: clean up
e
mu
l
and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
evalue_re
a
d: corr
e
c
tly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoola
e
ge
eval
u
e_
r
ead: acce
p
t
t
o
p
level
"
relation"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdool
a
ege
upd
a
te
p
o
ly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Verdoolaege
evalue_
b
acksubstitute: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Verd
o
olaeg
e
evalue
.
c
: *_partitions: simplify const
r
ain
t
s be
f
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Ver
d
oolaege
d
o
c
:
more sp
e
cific informat
i
on o
n
buggy cddl
i
b versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verd
o
olaege
configu
r
e
.
in: require c
d
dlib 0
.
94e
b
y testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en
Ve
r
d
o
olaege
c
o
n
f
igure
.
i
n: only compi
l
e oc
c
if c
o
d
e
_gen lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoo
l
aege
b
arvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
a
dd s
o
me
tests
for impleme
n
tation o
f
projection t
h
eore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaeg
e
doc: document
new options and new
a
pplication
s
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
laege
AUTHORS: u
p
d
a
te support in
f
o
rmation
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
ge
n
fu
n
.
c
c: short_rat::print: c
o
rrectly pr
i
nt polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Exp
o
rt se
r
ie
s
as barvinok_en
u
m
e
rate_
s
eri
e
s and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
ege
remove_parameter_equalities: stop
"
removing"
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolae
g
e
series:
l
ea
v
e
fre
e
ing
of P argument to cal
l
ing functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
docum
e
nt imple
m
e
ntati
o
n o
f
the pr
o
jec
t
ion theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
add barvinok
_
enumerate_e_series i
m
plementing the pr
o
jecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: fix and document parallel
p
ol
y
topes c
l
ass
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
o
olaege
Only compile zso
l
ve if gcc 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Move GiNaC-independent
p
a
rt of library t
o
barvino
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
polylib: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoolaege
d
o
c: how to count the nu
m
ber
of elements in possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoo
l
a
ege
doc/impl
e
mentation
.
tex: avoid multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
lattice_width
.
c: try
vertices of pr
e
vious in
t
e
g
er hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
doc:
d
ocument integer hull
computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hu
l
l
.
c: add a
l
l
point
s
found by
s
ampli
n
g directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rd
o
olaege
Possible op
t
im
i
zations for gene
r
ali
z
ed basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdoo
l
aege
Support use of generali
z
ed basis redu
c
t
ion
t
o compute
.
.
.
commit
|
commitdiff
|
tree
next