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
V
erdoolaege
renam
e
summate
.
c
c
to barvinok_summa
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laeg
e
e
v
alue
.
c:
reduc
e
_
ev
a
l
ue:
reduce floor with const
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolaege
Add L
a
urent exp
a
nsion based su
m
mation
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
evalue
.
c: extend eequal to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoo
l
aege
b
i
nomial
.
c
:
e
xt
r
act
b
inomial and
factorial from
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoola
e
ge
power
.
h: extrac
t
f
rom euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
S
ven Ve
r
d
o
o
l
aege
intro
d
uce evalue_
s
hift
_
variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
lattice_point
.
cc: expor
t
relative_coo
r
dinates
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rd
o
ola
e
ge
lat
t
i
c
e_
p
oint
.
h: make sure correct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaege
latt
i
ce_point
.
cc: a
d
d ce
i
ling f
u
nct
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
u
t
il
.
c: internali
z
e ugly bv
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n Verd
o
o
l
aege
l
a
ttice_point
.
cc: mult
i
_monom/lattice_poi
n
t
s: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
olaeg
e
doc
:
clean u
p
"exponential substi
t
u
t
ion" sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
te
s
t_bound
.
cc: a
v
o
id loss
o
f prec
i
s
i
on cau
s
e
d by conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoola
e
g
e
barvino
k
_boun
d
: optionally take maximal size of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
o
l
aege
bar
v
inok_bou
n
d:
a
dd --iterat
e
options fo
r
evaluatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
e
rify
.
c:
export fu
n
ctions
f
o
r setting and clearin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
aege
verify
.
c: e
v
alue_optimum: allow computation of optim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
ola
e
ge
bernstein
.
cc: evalue2e
x
: don't as
s
ume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdo
o
l
a
e
ge
bound
.
c
c
:
f
i
x call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{ad
d
,mul}
_
pe
r
iodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
evalu
e
_be
r
nstein_coeffici
e
n
t
s
: h
a
ndle
p
roblems wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdo
o
laege
u
pdate
polylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
e
n
Verdoolaege
la
t
tice_width
.
c: skip direc
t
ions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdoolaege
Makef
i
l
e
.
a
m: add cdd9
4
e-test to
d
is
t
ribut
i
on
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
rdoola
e
ge
o
m
ega/occ: optionally use p
a
rker for c
o
mputing card
i
nalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
doola
e
ge
normaliz
a
ti
o
n
.
c: sk
e
w_
t
o_posi
t
ive_orthant: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
omega/conve
r
t
.
cc: relation2Do
m
a
i
n: on
l
y collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
occ
:
a
dd
d
ump
f
o
r dumping in
ba
r
vinok_enumer
a
te_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
oo
l
aege
barvinok_enumerate_e: optionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
st
a
ndard_constraints: t
a
ke
constra
i
nts instead of
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
n
o
rma
l
ization
.
c: e
x
t
ract standard_con
s
tr
a
in
t
s fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
l
a
e
ge
par
k
er/count_so
l
ut
i
on
s
.
cc: fix treatment
o
f existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Ve
r
doola
e
ge
c
o
mpile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eul
e
r
.
cc: evalue_
d
e
r
ive: h
a
ndl
e
constant polynomi
a
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
ad
d
some
test sets from case
s
20
0
4
and cc
20
0
5 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
re
n
am
e
barvinok_maximize to barvi
n
ok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdool
a
e
ge
add
a
te
s
t for te
s
t
_
bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
evalue_range_propagati
o
n: remov
e
redundant polynom
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doola
e
g
e
te
s
t_
b
ound:
re
c
o
r
d num
b
er o
f
poly
n
omials as "
s
i
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
a
ege
test_boun
d
: convert quasipolynomials to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
test_bound: co
m
p
are poly
n
om
i
al
b
ound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verify
.
c
:
o
ptimum: handl
e
input evaluat
i
ng to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
olaege
v
e
r
ify
.
c: extract evalu
e
_optimu
m
from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoo
l
a
ege
ver
i
fy
.
c
:
extract com
m
on code
f
or verifying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_range_propagation: add
monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
barvin
o
k_ma
x
im
i
ze: optionally
use (basic) ra
n
g
e
propagation
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
doo
l
aege
Ad
d
some support f
o
r dealin
g
with e
v
a
l
ues that r
e
present
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
barvin
o
k_e
n
u
m
erate: support use of Euler
-
Maclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implemen
t
Ber
n
oul
l
i_sum as conversion from u
n
w
e
igh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
Ber
n
oulli
_
sum_e
v
alue: exploit i
n
t
e
ger bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
keep track
of n
u
mber of Bernoulli
s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
b
e
r
n
oul
l
i
.
c: protect
s
hared evalue fro
m
modification
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test Bernoulli sums based exact
e
n
u
meration
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
barvino
k
_c
o
unt_wit
h
_options: co
m
pu
t
e (exa
c
t
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
B
e
rnoulli_sum
_
evalu
e
: option
a
lly
handle
f
ractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
l
attice_point
.
h: export fractional_par
t
w
i
th C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
b
a
rvinok_enumerate_with_
o
ptions: co
m
pute (
e
xact)
Berno
u
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
Bernoull
i
_
s
um_e
v
alue: han
d
le equalit
i
es
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
Ber
n
oulli_sum_evalue: cut o
f
f so
m
e red
u
n
d
ant
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
ou
l
li_sum_evalue:
m
ake s
u
re no em
p
ty partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
ae
g
e
Bernou
l
li_su
m
_evalue: r
e
move
redundant constra
i
nt in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
be
r
noulli
.
c: minor
r
efa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum: h
a
nd
l
e context
constrain
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
r
dool
a
ege
for_
e
a
c
h
_lower_upper_bound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
verify
.
c: adjust default
r
ange t
o
con
t
ext if neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdool
a
ege
euler
.
cc: summat
e
_over_dom
a
i
n: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ver
d
o
ola
e
ge
p
a
ram_
u
til
.
c: export Par
a
m_Vertex_Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Par
a
m_Polyhedron_Facet:
p
ass
facet defi
n
ing constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
genfun
.
cc: parallel_polytopes: d
o
n't bother
h
andling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue
_
split_domai
n
s_into_orth
a
nts: don't r
e
duce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_rea
d
:
only allow
t
erm
s
to cross newlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
eval
u
e_read: only accept implicit multiplicat
i
on o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
l
u
e
_
rea
d
:
accept
c
onstraints co
n
taining
"'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
evalue_bernstein_coefficie
n
ts: ensure resul
t
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
do
o
l
aege
bernstein: piecew
i
se_lst: correctly pr
i
nt and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
r
e
m
o
ve_all_e
q
ualities: ke
e
p removing
p
a
r
a
meter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
d
oolaege
u
p
date
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verd
o
olaege
doc: consistent use of Kevin's init
i
a
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
er
d
oolaege
doc: up
d
a
te now
p
ublished paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
rdoolae
g
e
for_e
a
ch_lower_upp
e
r_b
o
u
n
d:
a
ll
o
w
absence of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
Revert "eadd_part
i
tions:
t
ry to combine
mul
t
iple d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolae
g
e
ev
a
l
u
e_read
_
partit
i
on: put
p
artitions back in t
h
e s
a
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
e
v
alue: reduce_evalu
e
:
add note on
s
ome mis
s
ed
oppo
r
tunit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
rd
o
olaege
bern
s
tein
.
cc: handle input wit
h
unio
n
s
+ rel
a
tion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
dool
a
ege
m
a
ximize
.
cc:
deal with unions in
i
n
put d
u
r
i
n
g verificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_subs
t
itute: prope
r
ly handle relati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
va
l
ue
.
c: clean
up e
m
ul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdool
a
ege
evalue_read: correctly read var
i
able na
m
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
ev
a
lue_read: accept top level "rela
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaeg
e
u
p
d
a
t
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_back
s
ubstitute:
add
r
e
quired modulo constraint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c
:
*_partitions: simplify
constrain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
d
o
c: mo
r
e
s
pecific information on bugg
y
c
d
d
lib
v
er
s
io
n
s
commit
|
commitdiff
|
tree
2008-01-28
S
ven Verdo
o
l
aege
configure
.
in: require
c
ddlib 0
.
9
4
e by
t
e
sting
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in: onl
y
compile occ i
f
code_g
e
n library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
do
o
lae
g
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
ad
d
some test
s
for impleme
n
tation of project
i
o
n
theo
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc: docume
n
t new options and
new applica
t
ions
commit
|
commitdiff
|
tree
next