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
update omega for missing files in distribution
2008-09-02
Sve
n
Verdoolaege
updat
e
omega for missin
g
files in distr
i
bution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
ba
r
vinok
_
enumerate_e: av
o
id infin
i
te loop when p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
move omega subdir
to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
NTL_QQ
.
cc: add stdlib
include for abor
t
hidden
in NTL_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
remove g
n
ulib link-warning module completely
commit
|
commitdiff
|
tree
2008-08-24
Sven
Ver
d
oolaeg
e
update p
o
lylib with extr
a
f
i
eld in
Param_Po
l
yhedr
o
n
commit
|
commitdiff
|
tree
2008-07-30
Sven V
e
rdoolaeg
e
doc: f
i
x
ty
p
os
commit
|
commitdiff
|
tree
2008-07-20
S
ven
V
erdoolaege
update gnulib function to last pre-G
P
Lv3
version
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
r
doola
e
ge
e
n
um
e
rator:
:
han
d
l
e
:
replace inc
o
rrect
d
e
lete b
y
free
commit
|
commitdiff
|
tree
2008-06-17
S
ven V
e
r
d
oolaege
update piplib for corrected Ur
s
_parm
s
handli
n
g
commit
|
commitdiff
|
tree
2008-06-12
S
v
en
Verd
o
olaeg
e
conf
i
gure: use correct header files in case of b
u
ndled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
ome
g
a/o
c
c: only op
e
n debug output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdool
a
ege
do
c
: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
r
d
o
ol
a
eg
e
a
d
d editors to
ITSL
p
a
p
ers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
add some test
s
ets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
doc: add latest
(
accepted) publication
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
Makef
i
le
.
am: add se
c
t
i
on_array
.
h to
distributio
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
normalization
.
c: com
p
ute_shifts: r
e
move redunda
n
t return
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
V
erdo
o
la
e
ge
move
F
r
e
e
_ParamN
a
mes pol
y
lib
a
nd m
a
ke param
na
m
e
s
co
n
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
o
cc: add in
t
erface to barv
i
nok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
ex_convert
.
cc: e
x
tract ex2
e
val
u
e from r
a
n
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verdoolaeg
e
doc:
d
ocu
m
ent more
-
-
summation methods for barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
op
t
ions
.
c:
r
ename "barvinok"
s
u
mma
t
ion metho
d
to "
b
ox"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
Makefile
.
a
m: check-
e
uler
:
also
c
heck laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
d
oolaege
summate
.
c: barv
i
nok_summa
t
e:
h
andle
pro
d
uc
t
s of polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ev
a
lue
.
c:
e
x
po
r
t e
v
alue_reo
r
der_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
bernst
e
in: numeric2value
:
fix typo to
allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
u
t
il
.
c: Factor
_
Contex
t
: ex
t
r
acted fr
o
m ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aeg
e
su
m
m
a
te
.
c: barvi
n
o
k
_sum
m
ate: i
g
n
ore f
l
o
ors
inde
p
endent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
aege
evalue
.
c: add e
v
al
u
e_floor2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
laege
o
m
ega/oc
c
: print ba
r
vinok version n
u
mber
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdool
a
e
g
e
d
oc
:
update
some refer
e
n
c
e
s
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
M
a
k
e
laure
n
t
based summat
i
on
the de
f
ault
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
s
ummate
.
c
:
barvinok
_
s
u
mmate:
ha
n
dle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
reduce_evalue:
e
xtract out evalue_reduce_si
z
e
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
evalu
e
.
c:
e
v
a
l
ue_shi
f
t_va
r
i
a
bles:
allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summ
a
t
e
.
c: hand
l
e
e
q
u
alities for all s
u
m
mation algorithm
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
olaege
summate
.
c: barvi
n
ok_summate:
move co
m
mon parts of
sum
m
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Verd
o
olaege
evalue
.
c
: e
v
alue_sum: move
s
i
g
n
handling into esum_over_domai
n
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
doolaege
barvinok_e
.
cc: en
u
merate_sum: use barvin
o
k_sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
s
u
m
m
ate
.
c: extract b
a
r
vinok_s
u
mmate from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
laege
rename summate
.
cc
to
b
arvin
o
k_summ
a
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n V
e
rdoolaege
evalue
.
c: reduce_
e
va
l
u
e
: reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
ool
a
ege
Add Lau
r
ent expansion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
d
oolaeg
e
eva
l
ue
.
c: e
x
tend
eeq
u
al to handle domain
s
an
d
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdo
o
laege
binomial
.
c
:
extract binomial
a
nd factorial from eu
l
er
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
powe
r
.
h:
e
xtract fr
o
m
eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Ver
d
o
olaege
i
n
troduce eva
l
ue_sh
i
f
t
_vari
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaeg
e
l
a
ttic
e
_point
.
cc: expor
t
r
el
a
tive_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doo
l
a
ege
latt
i
ce
_
poi
n
t
.
h:
ma
k
e
sure
c
o
rrect evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
lat
t
ice_point
.
cc: add
c
eiling func
t
io
n
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdo
o
laege
util
.
c: in
t
e
rnalize ugly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
attice_point
.
cc
:
multi_
m
onom/lat
t
ice_
p
o
i
n
t
s: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdo
o
laege
doc: c
l
ean
u
p
"
e
xponential substitutio
n
"
s
ection
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
test_bound
.
cc
:
avoid loss
o
f precision cause
d
by
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
ba
r
vi
n
ok_bo
u
n
d: optionally take maximal size of
d
om
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
r
d
o
olae
g
e
ba
r
vino
k
_
b
o
u
n
d: ad
d
--iterate options
f
or evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: export func
t
ion
s
for
s
etting an
d
cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaeg
e
verify
.
c: ev
a
lue_o
p
timum:
a
llow c
o
mputation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
b
ernste
i
n
.
cc:
evalue2ex: don't assume a
l
l pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolae
g
e
b
o
und
.
cc: fix call to eva
l
ue
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
e{add
,
m
ul}
_
periodics: plug memory l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernstein_coefficien
t
s: h
a
n
d
le p
r
o
b
lems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Verdoola
e
g
e
latt
i
ce_wi
d
th
.
c: skip direct
i
ons that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven
V
e
rdoolaege
Makefile
.
am: a
d
d
c
dd94e
-
tes
t
to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
ae
g
e
omega
/
occ:
o
pti
o
nally use pa
r
ker for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rdoolaeg
e
normalizati
o
n
.
c:
s
kew_
t
o_p
o
sitive_o
r
tha
n
t: properl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
ol
a
ege
omega/convert
.
cc: relation2Domain: onl
y
collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
occ
:
add d
u
mp for d
u
m
ping in barvino
k
_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdool
a
ege
bar
v
ino
k
_enumerate_e: opti
o
nally
u
se
p
arker's method
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
erdoolaege
st
a
ndard_
c
onstraints: take constraints
ins
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
o
rmalizati
o
n
.
c
:
ex
t
rac
t
standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoo
l
aege
p
a
rker/count_soluti
o
ns
.
cc: fix treatment
of
e
xis
t
enti
a
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compi
l
e parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Add pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
o
l
aege
euler
.
cc: evalue_der
i
v
e
:
h
a
n
dle constan
t
p
olynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
add s
o
me
test
sets from
cases 2004 and cc 20
0
5 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
r
e
name b
a
rvinok_maximize to ba
r
vinok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
a
d
d
a test
f
or
t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
evalue_range_propagati
o
n: remo
v
e redundant p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
t
e
st_bound: record number of polynomi
a
ls as "s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_
b
o
u
nd: convert
quasi
p
olynomials to
polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
test
_
b
ound: comp
a
r
e pol
y
nomial bo
u
nd
a
l
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
verify
.
c
:
optim
u
m: handle input ev
a
luating t
o
negat
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
veri
f
y
.
c: extract
evalue_optimum f
r
o
m ma
x
imiz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
extract
c
ommon c
o
de for
veri
f
y
ing op
e
ra
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
evalu
e
_
ran
g
e_propag
a
t
ion
:
add monoto
n
icity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verd
o
olaege
barvinok_
m
aximize: optionally use (basi
c
) range pro
p
agati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
lae
g
e
Add some suppo
r
t for dealing with evalues that
r
e
pre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
ba
r
vinok_enumerate: s
u
ppor
t
u
s
e of Euler
-
Maclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implem
e
nt
B
e
r
no
u
lli_su
m
as co
n
vers
i
o
n from unwei
g
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rno
u
lli_s
u
m_evalu
e
:
ex
p
loit
i
n
teg
e
r bounds t
o
reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
keep track o
f
nu
m
ber of Bern
o
ulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doola
e
ge
bernou
l
li
.
c:
p
ro
t
ect shared evalu
e
from modificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
test B
e
r
n
oulli sums
b
as
e
d exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
b
arvi
n
ok_count_wi
t
h
_
options
:
com
p
ute (ex
a
ct) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
B
erno
u
lli_sum_evalue: optional
l
y
hand
l
e
f
ractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoo
l
aege
latt
i
ce_p
o
int
.
h: e
x
p
o
rt fractional_par
t
with C link
a
ge
commit
|
commitdiff
|
tree
next