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
rename summate.cc to barvinok_summate.cc
2008-05-03
Sve
n
Verd
o
ola
e
ge
rename summate
.
cc t
o
b
a
rvinok_summ
a
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eva
l
u
e
.
c: redu
c
e_eval
u
e: reduce f
l
oor
with c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
Add Lau
r
ent expansion based summa
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
eval
u
e
.
c: extend eequal to
handle
d
o
mains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
binomial
.
c: extract binomial
a
nd facto
r
i
a
l fr
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolae
g
e
power
.
h: extract f
r
o
m eule
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introd
u
ce e
v
alue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
S
v
en V
e
rd
o
olaege
l
attic
e
_
p
o
i
nt
.
cc: expor
t
relati
v
e_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdool
a
e
g
e
latti
c
e_
p
oint
.
h
:
make sure c
o
rrect evalues are use
d
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
lattice_point
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
V
e
r
doolaege
u
til
.
c: in
t
ernal
i
ze ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en V
e
rdoolaege
lattice_point
.
cc:
m
ulti_
m
ono
m
/lattice_poin
t
s:
r
etur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
do
c
:
c
lean
up "exponential subst
i
tution"
s
e
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdool
a
ege
te
s
t
_bound
.
cc: avoid loss of
p
recision
caus
e
d by con
v
ersio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
r
d
oo
l
aege
b
a
rvinok_b
o
und: optionally
t
a
ke maximal si
z
e of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
b
a
rvi
n
ok_bound: add --iterate opti
o
ns for ev
a
l
ua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
ver
i
f
y
.
c: export functions for setting an
d
cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdool
a
ege
verify
.
c:
evalue_optimu
m
:
allow comp
u
tation of
opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
aeg
e
bern
s
tein
.
cc: evalue2ex: don't
a
ssume
all p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolae
g
e
bound
.
cc: f
i
x cal
l
t
o evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}_periodi
c
s
:
plug memory l
e
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernstein_
c
o
e
fficien
t
s:
h
a
ndle prob
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdool
a
ege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
erdoolae
g
e
la
t
tice_wid
t
h
.
c: skip directio
n
s th
a
t are identic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ver
d
oolaege
Make
f
i
l
e
.
am: add cdd
9
4e-test
t
o dist
r
ibution
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
erdoolae
g
e
o
m
ega/oc
c
: o
p
t
i
onally use p
a
r
k
er
for computi
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
nor
m
a
l
i
z
a
t
i
on
.
c: skew_to_p
o
sitiv
e
_ort
h
ant: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
omega/convert
.
cc: relation2Domain: only
collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
occ: add
d
ump for
d
umping in bar
v
inok
_
enumerate_
e
f
o
rmat
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolae
g
e
barvino
k
_
e
numerate_e: op
t
ionally u
s
e parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_co
n
straints: take c
o
nstrain
t
s inste
a
d
of p
o
ly
h
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
V
e
rdoola
e
ge
normalization
.
c
: extra
c
t
s
tan
d
a
r
d_constraints
f
ro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ver
d
oolaege
parke
r
/
c
ount_solutions
.
cc: fix treat
m
e
n
t o
f
existen
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
A
d
d p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
e
uler
.
c
c
: ev
a
lue_derive: handle consta
n
t polynomi
a
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
dd
some te
s
t
s
ets fr
o
m case
s
2004 and cc 2
0
0
5 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
r
e
n
ame ba
r
vinok_
m
aximize to b
a
rv
i
n
ok
_
b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
add a
t
est for
test_
b
o
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
e
v
a
lue_range_propag
a
tio
n
: r
e
move
r
e
dundant pol
y
no
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olae
g
e
test
_
bound: record n
u
mber of polynom
i
als as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
test_bound: convert quasipolynom
i
als to polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolaege
tes
t
_b
o
und:
compare poly
n
omial
boun
d
algorithm
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
verify
.
c: optimum: handle
i
nput
evaluat
i
ng to
negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolae
g
e
verify
.
c
:
ex
t
ract ev
a
lue_opti
m
um
f
r
om maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
ver
i
fy
.
c: ext
r
ac
t
common code for v
e
rifying ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
g
e
ev
a
lue_range_propagation: add mon
o
t
oni
c
it
y
te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ba
r
v
i
n
o
k_maximize: optionally u
s
e (basic) range p
r
op
a
ga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
A
dd some support f
o
r dealing with evalue
s
that repr
e
se
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvi
n
o
k
_enumerate: support u
s
e
o
f
Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
imp
l
ement B
e
rnoulli_sum as conversion
f
r
o
m
un
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum
_
e
v
alue: ex
p
loit inte
g
er bound
s
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
k
eep
tr
a
ck of num
b
er of
B
e
rnoulli
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
bernoulli
.
c:
p
rotect shared evalue from mo
d
ifications
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaeg
e
test Bernoulli sums based exact
enum
e
rat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
barvinok_coun
t
_with_options: compu
t
e (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaeg
e
Bernoulli_sum_evalue: optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_
p
o
i
nt
.
h: ex
p
o
r
t
fractio
n
al_part
w
ith C
lin
k
a
ge
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ver
d
o
o
laege
barvinok_enumerate_with_opt
i
on
s
:
comp
u
t
e (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
Berno
u
ll
i
_sum_evalue: handle
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernou
l
l
i
_
s
um_
e
value: cut of
f
s
ome redundant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernou
l
li_sum_evalu
e
: make sure no
e
m
pty par
t
iti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum_eva
l
ue: remove re
d
u
n
d
ant
c
onst
r
ain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
bernoulli
.
c:
minor refac
t
oring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum: ha
n
dle co
n
te
x
t constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
l
l
i_sum
_
evalue: ma
k
e sure e
n
ough memory is
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
f
or_each_low
e
r_upper_
b
ound:
a
d
d another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
verify
.
c: adjust default r
a
nge to
context if
n
e
ede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olae
g
e
e
uler
.
cc: summate_ov
e
r_
d
o
main:
o
nly
c
onsid
e
r
act
u
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doo
l
ae
g
e
pa
r
am_uti
l
.
c:
e
xport Param_
V
er
t
e
x_
S
et_Fa
c
et
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
P
a
r
am_Polyhedron_Facet: pass fa
c
et def
i
n
i
n
g
c
onstr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
g
e
nfun
.
cc:
parallel_pol
y
topes:
don't bo
t
her h
a
ndling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_s
p
lit_domain
s
_i
n
to_ort
h
ants:
d
on't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
lae
g
e
e
val
u
e_re
a
d: only all
o
w
t
e
r
ms
t
o
c
r
oss n
e
w
line
s
insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue_read: on
l
y a
c
cept
i
mplici
t
multip
l
i
c
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
l
u
e
_re
a
d: accept c
o
nstraints
c
ontain
i
ng "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
value_be
r
nstein_coeff
i
ci
e
n
t
s: ensure
re
s
ult partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
be
r
nstein
:
piece
w
is
e
_lst: correctly print and
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
rem
o
ve_a
l
l_equalities:
keep removing para
m
eter equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc:
c
onsistent use o
f
Kevin's i
n
iti
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
oola
e
ge
doc
:
update now publ
i
s
hed pa
p
ers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
for_eac
h
_lowe
r
_upper_b
o
un
d
:
a
l
low absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
Revert "eadd_partitio
n
s
:
t
r
y
to combi
n
e
m
ultiple dom
a
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n Verdoolaege
eva
l
ue_re
a
d_parti
t
ion: put partitions back
i
n the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
ev
a
lue: r
e
d
uce_eva
l
ue:
a
dd no
t
e on some
m
issed op
p
ortunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verd
o
olaege
be
r
n
s
tein
.
cc
:
handle i
n
p
ut
with unions + rela
t
i
o
n vi
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximiz
e
.
cc:
d
eal with unions i
n
input duri
n
g verific
a
tion
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
evalue
_
su
b
stitute: properl
y
handle relatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue
.
c: clea
n
up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
eval
u
e_read: correctly read vari
a
ble names
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoo
l
ae
g
e
e
v
a
l
ue_read: a
c
ce
p
t to
p
level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verd
o
olaeg
e
updat
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdool
a
ege
e
v
al
u
e_backsubstitu
t
e: add
r
e
q
uir
e
d modulo con
s
tr
a
int
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
e
val
u
e
.
c: *_partitions: simpl
i
fy constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoola
e
ge
doc:
more specific information
o
n
buggy
c
d
dl
i
b versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
S
v
e
n V
e
rdool
a
ege
configur
e
.
in: requir
e
cd
d
lib
0
.
94e by testing for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
Verdoolaege
co
n
figure
.
in: only compile occ if
code_
g
en
l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ve
r
dool
a
eg
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some tests for implem
e
n
tat
i
on
o
f projection theorem
commit
|
commitdiff
|
tree
next