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
S
ven Verdoolaege
bound
.
cc: fix c
a
ll
to evalue_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
ol
a
ege
e{add,mul
}
_periodics: plu
g
memory leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
evalue_bernstein_coefficients: handle pr
o
blems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
update
polylib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Verdool
a
ege
la
t
tice_wi
d
th
.
c:
skip
d
i
rect
i
ons that ar
e
identi
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Make
f
il
e
.
a
m: ad
d
cdd94e
-
tes
t
t
o distri
b
u
tion
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
o
l
aege
o
mega/occ:
optionally us
e
park
e
r for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ver
d
oolaeg
e
normalizatio
n
.
c: skew_to_p
o
sitive_orthant: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
o
m
ega/conve
r
t
.
cc: rela
t
i
on2D
o
m
a
in: on
l
y collec
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
oc
c
: add dump for dumping in bar
v
inok_enumerate_e fo
r
mat
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoola
e
ge
barvinok_e
n
umerate_e: o
p
tionally use p
a
r
k
er's
method
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
s
t
andard_co
n
str
a
ints:
take constrai
n
ts instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoo
l
aege
normalizati
o
n
.
c
: extract standard_constraints f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
pa
r
ker/count_solu
t
ions
.
cc: fix treatment
o
f ex
i
st
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n
Ve
r
d
oo
l
ae
g
e
compile parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
eul
e
r
.
cc: eval
u
e_derive:
h
a
ndle con
s
t
ant polynomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
add
s
o
me test sets from ca
s
e
s
2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
rename barvinok_maximize to barv
i
nok
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test for
t
est_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
evalu
e
_range
_
propagation: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_bou
n
d: record number o
f
polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_b
o
und: convert
quas
i
polynomial
s
to poly
n
omia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
te
s
t
_bou
n
d
: c
o
mpare po
l
ynom
i
al bou
n
d algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
verify
.
c: optimum:
handle input evaluati
n
g to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verify
.
c
:
extract evalue_opt
i
m
u
m f
r
om ma
x
imize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
eg
e
verify
.
c: extract common code for verifying o
p
e
r
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
evalue_range_p
r
opagation:
ad
d
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maximi
z
e
: optionally use (basic)
r
a
n
ge
propagation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Add some
support fo
r
d
e
aling with eval
u
es that rep
r
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
rvinok_enumerate: s
u
pport use of Euler-M
a
cl
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
im
p
l
e
ment B
e
rnoulli_sum as c
o
nv
e
rsion
from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Ber
n
o
u
lli
_
sum_
e
v
a
lue: exploit intege
r
bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
keep track of num
b
er of Bernou
l
li sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
bernoull
i
.
c: protec
t
shared evalue from modif
i
c
a
ti
o
ns
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
ae
g
e
test Bernoulli sums
b
ased ex
a
ct enu
m
eration
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
barvin
o
k_cou
n
t_with
_
options:
c
ompute (exact)
B
erno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum_eval
u
e: o
p
ti
o
nally handle fract
i
on
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
l
at
t
ice_point
.
h: ex
p
ort fract
i
onal_part with
C li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
ba
r
vin
o
k_enum
e
rate_with_options: compute (exa
c
t
)
Bernou
l
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doo
l
aege
Bernoulli_sum
_
e
val
u
e:
h
andle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoull
i
_sum_eva
l
ue
:
cut
off s
o
me redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
B
e
rnoulli_sum_ev
a
l
ue
:
make sure no empty partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Bernou
l
li_sum_ev
a
lue: r
e
move re
d
undant
c
onstrai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bernoul
l
i
.
c:
mi
n
or refactor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
n
oulli_sum:
h
andle co
n
text c
o
ns
t
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
for_each_lower_u
p
per_bou
n
d: add another ca
l
l
back fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
ae
g
e
verify
.
c:
a
djust default ra
n
ge t
o
context i
f
n
e
e
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
euler
.
c
c
: summa
t
e_over_d
o
main: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
param_util
.
c: e
x
p
o
r
t Param_Vertex_Set
_
F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Param_Polyhedron_Facet
:
pass
f
acet definin
g
c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
genfun
.
cc: par
a
llel_polyto
p
e
s
:
don't
bother han
d
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
e
va
l
ue_sp
l
i
t_domains_int
o
_
ort
h
ants:
d
on't reduce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
evalue_read: only allow t
e
rms to cross newlin
e
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
evalue_read: only accept impli
c
it
multiplication o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e
_
rea
d
: ac
c
ep
t
constraints cont
a
ining
"
'
-
' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
e
v
a
l
ue_bernstein_coeffic
i
ents: ensure result partiti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernst
e
in: pie
c
ewise_lst: corre
c
tly print and evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
remove_all_equalities: keep removing parameter equal
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
do
c
: co
n
sistent use of Kevin's initial
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
d
oc: up
d
ate n
o
w
p
ublished
p
ap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdo
o
la
e
ge
for_e
a
c
h_
l
o
wer_upper_bou
n
d:
a
l
l
ow
absence
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
Rev
e
r
t "
e
add_partitions:
try t
o
combine
mul
t
iple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Ver
d
o
o
laege
evalue_read_
p
artition
:
put parti
t
ions back in th
e
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalue: reduce_evalue: a
d
d
n
ot
e
on som
e
m
i
s
s
ed opp
o
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernste
i
n
.
cc: handle inp
u
t w
i
th uni
o
ns
+ r
e
lation violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximize
.
cc:
deal with
u
ni
o
ns in i
n
put during verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
e
va
l
ue_s
u
bstitute:
p
roperly
handle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue
.
c: clean u
p
emul
and
e
add
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaeg
e
e
value_r
e
ad: correctly re
a
d variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
e
va
l
ue_read:
accep
t
top level "relat
i
on"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en V
e
rdo
o
laege
evalue_backsubstitute: add
r
e
quired modu
l
o constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolae
g
e
eva
l
ue
.
c: *_partitio
n
s: s
i
m
pli
f
y c
o
nstraint
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdo
o
laege
doc: more specifi
c
inform
a
t
i
on on bugg
y
cddli
b
versions
commit
|
commitdiff
|
tree
2008-01-28
S
ven Verdoolaeg
e
c
o
nfigure
.
in: require cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Ver
d
oolaege
c
o
nfigure
.
in: only compi
l
e
occ
i
f c
o
de_gen
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some
t
ests for implementatio
n
of
p
roject
i
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
doc
:
do
c
u
me
n
t new opti
o
ns
and new a
p
p
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
A
U
T
H
ORS: update s
u
pport informatio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
aege
genf
u
n
.
c
c
: s
h
ort_rat::p
r
int
:
correctly prin
t
polyn
o
mia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
laege
Ex
p
o
rt se
r
ies as barvinok_
e
nume
r
ate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
remove_parameter_e
q
ualities:
s
top
"
rem
o
ving"
equ
a
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: leave freeing of
P argu
m
ent to
c
allin
g
functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: documen
t
i
mplementa
t
ion o
f
the projec
t
i
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doola
e
ge
add barvinok_enumerate_e_ser
i
e
s
im
p
lem
e
nting
t
h
e pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
genfun
.
cc: fix and document parallel polyt
o
pe
s
cl
a
ss
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdool
a
ege
Move GiNaC-independent part of libr
a
ry to
b
arvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
p
olyl
i
b
:
update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how
t
o co
u
nt
t
he number of elem
e
nts in p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en
Verdoolaege
doc/implementa
t
ion
.
t
e
x
:
avoid multiply defin
e
d
l
abel
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdool
a
e
g
e
l
attice_width
.
c: try verti
c
es of pr
e
vi
o
us intege
r
hull
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
doc: do
c
ument integer hull com
p
utation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
h
ull
.
c: add all points found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
doolaege
P
o
ssible optimizations for generalized
b
as
i
s redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
Suppo
r
t
u
s
e
o
f generalized bas
i
s r
e
d
u
c
t
ion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
add
P
olyhedron_Integer_Minimum for computing the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
doc: document ge
n
eraliz
e
d
basi
s
r
eduction b
a
sed integer
.
.
.
commit
|
commitdiff
|
tree
next