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
Sven Ve
r
dool
a
ege
rename summ
a
te
.
c
c
to
barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rd
o
ola
e
ge
e
value
.
c
:
re
d
u
c
e_
e
valu
e
: redu
c
e f
l
o
o
r
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
Add Laurent expansion bas
e
d
sum
m
a
t
ion
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
eg
e
evalue
.
c: extend
e
equal to han
d
le domains
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
er
d
oolaege
bi
n
omial
.
c: extract binomial and f
a
ct
o
rial from
eu
l
er
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
power
.
h:
e
xtract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdo
o
laege
introduce eva
l
ue_shift_va
r
iab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
e
rdool
a
ege
l
attice_point
.
cc: exp
o
rt relativ
e
_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
lattice_p
o
int
.
h: make
s
ur
e
corr
e
ct eval
u
es are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
la
t
tice_poin
t
.
cc: add cei
l
ing fu
n
ction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
util
.
c: inter
n
aliz
e
ugly bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
cc: multi
_
monom/lat
t
ice_points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
d
o
c: cle
a
n up "exponential substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc
:
avoid loss
of precision caused by
c
o
n
version
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ba
r
v
ino
k
_bound: optionally ta
k
e maximal size of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvin
o
k_boun
d
: add --iterate op
t
i
ons
for eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oo
l
aege
verify
.
c: e
x
port funct
i
o
n
s
f
or
s
etting an
d
clear
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c
:
evalue_op
t
imu
m
:
a
llow co
m
put
a
t
io
n
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdo
o
laege
b
e
rnstein
.
cc
:
evalue2e
x
: d
o
n't assu
m
e al
l
pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
o
laege
bou
n
d
.
cc: fix call t
o
e
v
alue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
a
ege
e{add,mul}_periodics
:
pl
u
g
m
emory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoola
e
ge
eva
l
ue_bernste
i
n_coeff
i
cients: handle
problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verd
o
olae
g
e
lattice_width
.
c: s
k
ip d
i
r
ections that ar
e
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
V
e
rdoolaege
Makefile
.
a
m: add
c
dd94e-t
e
st to d
i
s
tributio
n
commit
|
commitdiff
|
tree
2008-04-03
S
ven
Verdo
o
laege
ome
g
a
/occ: optionally use park
e
r
f
or
c
o
mputing
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: sk
e
w_to_p
o
siti
v
e
_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdo
o
laege
o
mega/convert
.
c
c
: r
e
lation2Domain: only col
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
occ: add du
m
p for dumping in barvinok_e
n
umer
a
te_e
f
ormat
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
do
o
lae
g
e
barvinok_enumerate_e:
o
ptionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
standard_con
s
traints: t
a
ke constrai
n
t
s
instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n V
e
rdoolaeg
e
normalization
.
c: extract st
a
ndard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
park
e
r/count_solutions
.
c
c
:
fix treatment of existentiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
c
o
mpile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
A
d
d
p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
euler
.
cc: evalue_derive
:
ha
n
dle cons
t
an
t
polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
a
dd so
m
e test sets
fr
o
m cases 2004 and cc
2
005 papers
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoolaege
r
ename b
a
rvinok_max
i
mize
t
o barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
add a
t
est for te
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_ra
n
ge_propagation: remove
r
e
d
undant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
test_b
o
und: reco
r
d number of pol
y
nomials as "
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
t
est_
b
ound: conver
t
quas
i
p
o
l
yn
o
mials to p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
test_bound: c
o
mpare polynomial b
o
und al
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
v
erify
.
c: op
t
imu
m
: ha
n
dle input
e
v
aluating to n
e
gat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
verify
.
c: extract evalue_optimum from
maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
verif
y
.
c
:
e
xt
r
a
ct common code for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propag
a
tion: add mo
n
otonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_maximize: o
p
t
ion
a
lly use (b
a
sic) r
a
nge
propagation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
A
dd some supp
o
rt for dealing
w
i
th ev
a
lues that
r
epre
s
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
b
arvinok_enumerate: support use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaeg
e
implement Bernoulli
_
sum as conv
e
rsion from un
w
e
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
Bernoulli_
s
um_evalue: exploit
i
nteger bounds
t
o
r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep trac
k
of
n
umber of Bernoulli su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
b
ernoulli
.
c: protect shared evalue fr
o
m modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
test Bernoulli sums based exact enumer
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
barvinok_count_with_op
t
i
o
n
s
:
compute (exact)
B
e
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdo
o
l
ae
g
e
Bernoull
i
_sum_
e
value: optionally
han
d
le fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
lattice_
p
oint
.
h: export fraction
a
l_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arvinok_enum
e
r
a
te_
w
ith_options: c
o
mpute (ex
a
ct) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
Bernoulli_sum_evalue: handle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
Bernoull
i
_sum_evalue: cut off some re
d
undant pa
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: ma
k
e
s
ure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bern
o
ulli_su
m
_evalue
:
remove
r
edundant
constr
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
b
ernoulli
.
c
:
m
i
nor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
B
e
rnoulli_s
u
m
:
h
andle
c
o
ntext
c
on
s
tra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_
s
um_
e
value: make sur
e
enoug
h
memo
r
y is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
for_ea
c
h_lower_u
p
per_bou
n
d
:
add
another callback f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
verify
.
c: adjust d
e
f
a
ult range to context if ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
eul
e
r
.
cc: s
u
mma
t
e_ove
r
_domai
n
:
only consider act
u
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdo
o
lae
g
e
param_util
.
c:
export Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Para
m
_P
o
l
yhedron_Fac
e
t
:
p
a
ss facet d
e
fining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
olaege
genfun
.
cc: paral
l
el_p
o
lytopes:
don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdool
a
ege
evalue_split_d
o
mains
_
into
_
or
t
hants: don't red
u
c
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
evalue_rea
d
:
only allow terms to cross ne
w
line
s
insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
eval
u
e_rea
d
: only accept implicit multipli
c
at
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
g
e
evalue_
r
ea
d
:
accept c
o
nstraints
c
ontain
i
ng "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
eva
l
ue_
b
ernstein_c
o
efficien
t
s: ens
u
re resul
t
pa
r
t
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
bern
s
tein:
p
ie
c
ewise_lst: correctly
print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
laege
remov
e
_all
_
equalitie
s
:
ke
e
p re
m
oving parameter
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
oolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
do
c
: consistent use of Ke
v
in's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc:
u
pdate
n
o
w pu
b
lished papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
laeg
e
for_each_lower_upper
_
b
o
u
nd:
a
llow
a
bse
n
ce of lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verd
o
o
laege
Revert
"
e
a
dd
_
partitions:
tr
y
t
o co
m
b
i
n
e mul
t
iple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
e
v
alue_re
a
d_part
i
t
ion: put p
a
rtitions ba
c
k
i
n the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
r
d
o
olaege
evalue: reduce_
e
value: add note on some mis
s
ed
o
pportuni
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
bernstei
n
.
cc: hand
l
e i
n
put with unions
+
r
e
lation vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaeg
e
ma
x
imize
.
cc: d
e
al with
un
i
ons in
input during veri
f
icat
i
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdoolaege
evalue_substitute:
p
r
o
p
e
rly handl
e
relati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
laege
ev
a
lue
.
c: clean u
p
e
mul and
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdo
o
laege
evalue_rea
d
: correc
t
ly read variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ve
r
doola
e
ge
eva
l
u
e_read: a
c
ce
p
t top level
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_
b
ac
k
substitute
:
add required modulo cons
t
rain
t
s
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Verdoolaege
e
valu
e
.
c: *_partitions: simplify constraints be
f
o
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verd
o
olaege
doc: more specific
information on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
S
v
en Verdoolaege
configu
r
e
.
in
:
require cddlib 0
.
94e by t
e
sting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven
V
e
r
doolaege
configure
.
in: only compile occ if c
o
de_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
add
s
o
m
e tests for imple
m
e
n
tation
of pr
o
jection th
e
ore
m
commit
|
commitdiff
|
tree
next