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.c: extend eequal to handle domains and NaNs
2008-04-25
Sven Verdoolaege
evalu
e
.
c:
extend eequ
a
l
to handl
e
d
omain
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
binomial
.
c: extract binomial and fac
t
oria
l
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
er
d
o
olaege
power
.
h:
extr
a
ct from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolae
g
e
intro
d
uce
e
value_shift_v
a
r
i
ables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_p
o
int
.
c
c
: e
x
p
o
rt relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaeg
e
lattice_poin
t
.
h: make sure correct evalues are u
s
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
latti
c
e_po
i
nt
.
cc: add ceiling funct
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdo
o
laege
uti
l
.
c: inte
r
naliz
e
ug
l
y bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
attice_point
.
cc: mult
i
_mon
o
m/latt
i
c
e_poi
n
ts: ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Verdoolaege
do
c
: clean up "exponential substitutio
n
"
sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
test_
b
ound
.
cc:
avoid loss of p
r
eci
s
ion caused by conversio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
b
a
rvin
o
k_
b
ound: opt
i
onally take maximal size of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
do
o
laege
b
arvinok_b
o
u
n
d:
add --iter
a
te options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
a
e
g
e
verify
.
c
: export functions
f
o
r s
e
tting and c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
erify
.
c: ev
a
l
u
e
_opt
i
mum: allow computati
o
n of optim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
c
c: evalue2ex: don't as
s
u
m
e all perio
d
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
boun
d
.
c
c
:
fix
c
all to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
S
ven V
e
rdoola
e
g
e
e{add,mul}_per
i
odics: plug
memory
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdool
a
e
ge
eva
l
ue_b
e
rnstein_coefficient
s
: hand
l
e
pro
b
lem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Verdool
a
e
g
e
l
attice_width
.
c
:
s
kip directions
t
ha
t
are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am:
a
dd cdd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
oolaege
omega
/
o
cc: optionally use parker fo
r
c
omputing
c
a
r
dinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
norm
a
lization
.
c: skew
_
to
_
positive_orthant:
prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
erdoolaege
omega/co
n
ve
r
t
.
cc: relati
o
n2Do
m
ain: only c
o
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verd
o
olaege
occ: add dump for dumping in
barvinok_enume
r
ate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rd
o
olaege
barvinok
_
e
numerate_e: optionally
use
p
a
rker's method
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaeg
e
standard_cons
t
r
aints: take c
o
nstrain
t
s instea
d
of polyhed
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rdoolaege
n
orma
l
izat
i
on
.
c: e
x
tr
a
c
t st
a
ndard_con
s
t
r
aints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verd
o
olaege
parker/
c
ount_solutions
.
cc: fix treatment of existe
n
tia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoolaeg
e
co
m
pile parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
d
oola
e
g
e
euler
.
cc: evalu
e
_derive: h
a
ndle
c
onstant polyn
o
mials
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
add some
t
e
s
t
sets from cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
rename b
a
rvinok_maximize to barvin
o
k_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
add
a te
s
t for test_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoo
l
aege
evalue_ran
g
e
_
p
ro
p
agat
i
o
n
:
remove redundant pol
y
nom
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test_bound: record
n
u
m
b
er of polynomials
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
tes
t
_bo
u
nd: convert quas
i
polynom
i
a
ls
t
o polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
te
s
t_bound: co
m
pare polynomial bound al
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum: handle
input ev
a
luating to ne
g
a
t
iv
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extrac
t
evalue_o
p
t
imum from
max
i
mize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
v
erify
.
c: extr
a
c
t comm
o
n c
o
de fo
r
verifyin
g
op
e
r
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaeg
e
evalue_range_propag
a
t
i
on: add m
o
noton
i
ci
t
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvino
k
_maximize:
optionally use (basic) ra
n
ge pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add
s
o
me s
u
ppo
r
t
for dea
l
ing wi
t
h
e
val
u
es
t
hat re
p
re
s
en
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
b
arvinok
_
enum
e
rate: su
p
port us
e
of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
implement B
e
rnoulli_s
u
m as conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
Be
r
noulli_su
m
_e
v
alue: exploit integer bounds to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
keep track
o
f number of
Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
b
e
rnoulli
.
c
:
p
r
otect s
h
a
r
ed evalu
e
fro
m
modifi
c
ation
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doo
l
aege
test Bernoulli sums based exact enume
r
ation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
b
arvinok_count_with_
o
pt
i
o
ns:
co
m
pute (exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum_evalue: op
t
ionally h
a
ndle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
lattice_point
.
h
:
export fractional_p
a
rt with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
bar
v
inok_enumerate_
w
i
th_options: compute (exact)
B
e
rnoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Berno
u
l
l
i_
s
um_e
v
alue: handl
e
equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
Bernoull
i
_sum_evalue
:
cut off some redund
a
nt
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolae
g
e
B
e
rnoulli_sum_evalue: make su
r
e no empty pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_eval
u
e
: re
m
ove redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
do
o
laege
berno
u
lli
.
c: m
i
n
o
r ref
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum:
handle c
o
ntext constraints
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolae
g
e
Ber
n
ou
l
l
i_sum_evalue: ma
k
e s
u
r
e
enough memory
i
s alloc
a
te
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oo
l
aege
for_e
a
c
h
_
lower_upper
_
boun
d
: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adj
u
s
t
default range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
euler
.
cc: su
m
mate_over_domain:
o
nly conside
r
ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
par
a
m_util
.
c: export Param_Ver
t
ex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Param_
P
olyhe
d
ron_F
a
cet: p
a
ss fa
c
et defini
n
g constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
genfun
.
c
c
:
parallel_
p
olytop
e
s: don't
b
other handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_split_do
m
ains_into_ortha
n
t
s
: don'
t
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
va
l
ue_read:
only allo
w
terms
to cr
o
ss
ne
w
li
n
es in
s
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only accept implic
i
t m
u
l
t
i
plicati
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
evalue_r
e
ad: accept constr
a
ints containing "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
e
v
alu
e
_bernstein_coe
f
ficients: ensur
e
r
e
sult p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
la
e
g
e
bern
s
tein: pie
c
ew
i
s
e_lst: corr
e
c
t
ly print and
eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoola
e
ge
remove
_
a
ll_equalitie
s
: keep rem
o
ving parameter
equa
l
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
doc: consi
s
tent
u
se
of
Kevin's initi
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
doc:
u
pdate now published p
a
p
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
fo
r
_each
_
l
ow
e
r_upper_bo
u
nd: a
l
l
o
w absence of l
o
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdo
o
laege
R
e
ver
t
"ea
d
d_partitions: try to
c
ombine
m
ultiple
d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
a
ege
ev
a
l
u
e_re
a
d_par
t
itio
n
:
p
ut p
a
rtitions back in the sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e: reduce
_
evalue:
a
dd
n
ot
e
on some
missed opportunit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdo
o
l
a
eg
e
bernstein
.
c
c:
h
a
n
dle input with unions + relati
o
n viol
a
te
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
Verdoolaege
maximi
z
e
.
cc: deal w
i
th unions in input during veri
f
i
cation
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
e
value_su
b
stitute: properly
h
andl
e
relatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
dool
a
ege
evalue
.
c
: clean up emul and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
a
l
ue_read:
c
o
rrec
t
ly r
e
a
d
variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
evalue_read: acc
e
pt top le
v
el "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
updat
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sv
e
n V
e
rdoolaege
evalue
_
backsubstitute: add required
m
o
d
ulo cons
t
raints
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
erdoolaege
evalue
.
c: *_partiti
o
n
s: simplify co
n
s
t
rain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: m
o
re specific informatio
n
on buggy cddlib v
e
rsions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ver
d
oolaege
c
o
nfigure
.
in: requir
e
cddl
i
b
0
.
94
e
b
y
test
i
n
g
for
b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdoolaege
configure
.
in: only
c
ompile o
c
c if c
o
de_g
e
n lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
oolaege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
a
d
d
some tests for implementation of projection
theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ve
r
doolaege
do
c
: document new op
t
ions and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
AUTHORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: short_ra
t
:
:pr
i
nt: correctl
y
print pol
y
n
omi
a
ls
.
.
.
commit
|
commitdiff
|
tree
next