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
add editors to ITSL papers
2008-05-08
S
ven Verdoo
l
aeg
e
a
d
d ed
i
t
ors t
o
ITSL
papers
commit
|
commitdiff
|
tree
2008-05-07
Sve
n
Ve
r
doolae
g
e
u
s
e
ar
g
p
f
o
r
a
rgument
p
arsing in barvinok_eh
r
hart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sve
n
Verdoolaege
properly handle
N
TL CPPFLAGS a
n
d LDFLA
G
S
commit
|
commitdiff
|
tree
2008-05-07
S
v
en Verdoolaege
basis_reducti
o
n_tem
p
l
.
c:
a
dd
missing inclu
d
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
ba
r
vi
n
ok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test sets from itsl2008 pape
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
doc: add
latest
(
accepte
d
) p
u
blications
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdool
a
ege
Ma
k
efile
.
am: add sect
i
on_array
.
h t
o
distributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
d
oolaege
n
o
r
ma
l
i
z
ation
.
c: compute_shif
t
s
:
r
e
move redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
m
ove Free_ParamNames poly
l
ib and
ma
k
e param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add i
n
terface to barvinok_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
ex_c
o
n
vert
.
cc:
extract ex2evalue
f
rom
r
ange
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
oc: docum
e
nt more -
-
sum
m
ation methods for barvinok
_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ve
r
doola
e
ge
options
.
c: rename "barvinok" summat
i
on metho
d
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
Makefile
.
am: check-euler: also check
l
aurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c: barv
i
nok_summate: ha
n
dle prod
u
cts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
eval
u
e
.
c: e
x
port
e
v
alue
_
reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
aeg
e
b
erns
t
e
in: num
e
ric2
v
a
lue: fix typo
t
o allow corre
c
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
uti
l
.
c: Factor_Context:
extracted from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
ol
a
ege
summate
.
c: barvin
o
k_summat
e
: ig
n
ore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
e
g
e
evalue
.
c: add ev
a
lue_floor2fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
ome
g
a/occ:
p
ri
n
t
barvi
n
ok version
numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
doc: update so
m
e re
f
ere
n
ces
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdo
o
lae
g
e
Make laurent based summat
i
o
n
the default
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoo
l
aege
s
ummate
.
c: barvinok_summate: handle quas
i
-polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
reduce_
e
v
a
lue: e
x
t
r
act
ou
t
e
valu
e
_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
e
v
al
u
e
.
c:
e
valu
e
_shif
t
_va
r
iables
:
allow shifti
n
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
e
r
doolae
g
e
summate
.
c: handle equa
l
i
ties
f
or all
s
ummation algori
t
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoo
l
aege
s
ummate
.
c: barvin
o
k_summate:
move common parts of
s
um
m
ation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: evalue_su
m
:
move sign
han
d
ling i
n
to
e
s
um_over_domain
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
b
arvinok_e
.
cc: en
u
merate_sum:
u
s
e barvinok_s
u
mmat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmate
.
c: extract barvinok_summat
e
f
r
om barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
rename
summate
.
cc to barvinok_
s
u
mmate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: r
e
duce_evalue: reduce floor
with constan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolae
g
e
A
d
d Laur
e
nt expansion ba
s
ed su
m
mati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
evalue
.
c: extend eequal to handle domain
s
and Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c:
e
xt
r
act
b
inomial
an
d
factor
i
al fr
o
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
la
e
ge
power
.
h: e
x
tract from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Verdoolaege
int
r
oduce evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
lattice_point
.
cc: ex
p
ort relative_coor
d
i
n
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
lattice_point
.
h: mak
e
s
u
r
e corre
c
t
e
val
u
e
s
are used
commit
|
commitdiff
|
tree
2008-04-24
S
v
e
n Ve
r
doolaege
la
t
tice_p
o
i
n
t
.
cc: add
ceiling function
commit
|
commitdiff
|
tree
2008-04-24
S
v
e
n
V
e
rdoolae
g
e
util
.
c: in
t
ernalize ugly b
v
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
la
t
tice_point
.
cc: mul
t
i_mo
n
om/la
t
tice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdool
a
ege
d
o
c
:
clean up "exponential sub
s
titution" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test
_
bo
u
nd
.
cc:
a
void loss of precisi
o
n caused
by
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
barvinok_boun
d
: option
a
lly take m
a
xi
m
al size
o
f
d
o
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
barvinok_
b
o
u
nd: add
-
-iter
a
te opti
o
ns
f
or evalu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
dool
a
e
g
e
veri
f
y
.
c:
expor
t
func
t
ions for setting
a
nd clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
e
r
if
y
.
c: ev
a
lue_opt
i
mum:
allow
c
o
m
pu
t
ation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
b
ernstein
.
cc: eval
u
e2ex:
do
n
't assum
e
a
ll p
e
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
doolaege
bound
.
cc
:
fix call to e
v
alue_con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
ae
g
e
e{add,mul}_period
i
cs: plug m
e
mory lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
e
va
l
ue_bernstein_coefficients
:
handle problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
erdoolaeg
e
u
pdate polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ve
r
doolaeg
e
lat
t
ic
e
_wi
d
th
.
c: skip direc
t
ions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
V
e
rdoolaege
Makefile
.
am: add cdd94e-test to distrib
u
t
ion
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
omega/occ
:
optionally use
parker fo
r
computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
o
rma
l
ization
.
c:
s
kew_to_
p
ositive_orthant: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoo
l
aege
omega/convert
.
c
c
:
r
el
a
tion2Do
m
ain: only col
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add
d
um
p
for
d
umpi
n
g in
b
arvinok_e
n
umerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
ool
a
ege
barv
i
n
ok_e
n
umerate_e:
option
a
l
l
y use parker's me
t
h
o
d
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolae
g
e
s
t
andard_co
n
straints: take con
s
tr
a
ints
instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
normalization
.
c:
e
xt
r
ac
t
s
t
a
n
da
r
d_constraints f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/
c
ount_solu
t
ions
.
cc: fix treatment of exist
e
ntiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
olaeg
e
compile parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: eva
l
ue_der
i
ve: handle
constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
add some test sets from case
s
2004 and
cc 200
5
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
rename barvinok
_
ma
x
imize to
barvinok
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a tes
t
for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaeg
e
evalue_range_p
r
opaga
t
ion: remove redundant
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
te
s
t_bo
u
nd:
record n
u
mber of
p
oly
n
omi
a
ls as
"
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
test_bou
n
d: convert quasipo
l
y
n
o
mials
t
o
po
l
ynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
test_bound: c
o
mpare polynomial
b
o
u
nd algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c: optimu
m
: h
a
nd
l
e input evaluating t
o
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: ext
r
act evalue_optimu
m
from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
v
eri
f
y
.
c: extract
common code fo
r
ver
i
fying o
p
e
ratio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laeg
e
evalue_ran
g
e_p
r
opagati
o
n
: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ba
r
vi
n
ok_maximize: optionally us
e
(basic) range
p
ropagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Add
some supp
o
rt for
d
ealing with evalu
e
s that
re
p
r
e
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
b
arvinok_enumer
a
te: support use of Euler-M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
imple
m
ent Bernoull
i
_sum as conversion f
r
om un
w
eigh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
B
e
rnoulli_sum_evalue: exploi
t
integer boun
d
s to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
k
e
ep
t
rack of number of Bern
o
ull
i
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
be
r
noulli
.
c: protect
sh
a
red evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test Bern
o
ulli sums ba
s
ed
exac
t
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvino
k
_count_w
i
th
_
options: compu
t
e (exac
t
) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aeg
e
Ber
n
oulli_sum_evalue: optionally ha
n
dle fra
c
tiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
aege
lattice_point
.
h: export frac
t
ional_part with C lin
k
age
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvinok_enumer
a
te_wit
h
_optio
n
s: co
m
pute
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
Bernoulli_s
u
m_
e
value:
h
andle
equal
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum_evalu
e
:
c
ut o
f
f
some
re
d
u
nd
a
n
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bern
o
ulli_sum
_
evalue:
m
ake sure no empty p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
Ber
n
oulli_sum
_
evalue: remove
r
edundant c
o
nst
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
b
er
n
oull
i
.
c: m
i
nor
refactorin
g
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
B
e
rn
o
ul
l
i_su
m
:
h
a
ndle context constra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
Berno
u
lli_sum_evalue: m
a
ke sure
e
nough memory is
alloc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolae
g
e
f
o
r_e
a
ch_lowe
r
_upper_b
o
und: a
d
d a
n
other ca
l
lback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
ver
i
fy
.
c: adjus
t
d
e
fault
range to context if
n
eeded
commit
|
commitdiff
|
tree
next