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
doc: fix typo
2008-05-08
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Ver
d
ool
a
eg
e
a
dd editors t
o
ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use
argp f
o
r argum
e
nt parsi
n
g in barvinok_ehrha
r
t and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdool
a
ege
p
roperl
y
h
a
n
dle NTL CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
e
rdoolaege
basis
_
re
d
uction
_
templ
.
c:
a
dd mi
s
sing include
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoo
l
a
e
g
e
barvinok
0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdoolaege
a
d
d
s
ome test s
e
ts fro
m
itsl2008 p
a
p
er
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
V
erdoolaege
doc: add latest (accepted
)
publications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Make
f
ile
.
a
m: ad
d
section_
a
r
ray
.
h
to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
normalization
.
c: comp
u
te_shifts: remo
v
e redundant retu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
olaege
m
o
v
e
Fr
e
e_ParamNames polylib and make
p
aram names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
o
c
c: a
d
d interface to bar
v
inok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdool
a
ege
e
x
_c
o
nvert
.
cc: extract
e
x
2eval
u
e from rang
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdo
o
la
e
ge
doc: document more --
s
ummation met
h
ods
f
o
r barvinok_summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
oolaeg
e
o
ptions
.
c: rena
m
e
"barv
i
n
o
k" summation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
Verdoolaeg
e
Makef
i
le
.
am: check-e
u
ler: also che
c
k
l
aure
n
t
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ver
d
oolaege
summate
.
c: ba
r
vi
n
ok_su
m
ma
t
e: h
a
ndle product
s
of poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c: export evalue_reo
r
der_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ola
e
ge
b
erns
t
e
in: n
u
meric2value: fix typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
util
.
c:
Factor
_
Context:
extracted
f
rom barvi
n
ok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
su
m
m
a
te
.
c
: barvi
n
o
k_summat
e
: igno
r
e
floors i
n
dependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
doola
e
ge
eval
u
e
.
c: add e
v
alue
_
floor2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolae
g
e
omega/occ: p
r
in
t
bar
v
inok version nu
m
b
er
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
d
o
c
:
update so
m
e r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
aege
Make laurent based summa
t
ion the def
a
u
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
um
m
at
e
.
c: barvinok_s
u
mmate: handle
quasi-
p
olynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
ge
r
edu
c
e_ev
a
l
u
e: extrac
t
o
ut evalue_
r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ver
d
o
o
l
a
ege
evalue
.
c
:
evalue_shift_
v
ariab
l
e
s: a
l
low shi
f
t
i
ng of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
aeg
e
su
m
m
a
te
.
c
:
hand
l
e equali
t
ie
s
for all summati
o
n
algor
i
thms
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolae
g
e
summate
.
c: barvinok_su
m
mate: move
c
ommon parts of
s
um
m
ati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
e
rd
o
olaege
ev
a
lue
.
c: ev
a
l
u
e_sum:
move
sign hand
l
ing into esum_over_doma
i
n
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
b
a
rvinok
_
e
.
cc: enumerate_sum: use barvinok_s
u
mmat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summat
e
.
c: extract
b
arvinok_s
u
mmate from barv
i
n
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
rename summate
.
c
c
to b
a
rvinok_su
m
mate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c:
reduce_e
v
alue: reduce floor with con
s
tant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdoolae
g
e
Add
Laurent e
x
pansion based s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n V
e
rd
o
olaege
evalue
.
c: extend eeq
u
al to handle domains and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
b
ino
m
ial
.
c: e
x
trac
t
binomial an
d
facto
r
i
a
l from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolae
g
e
power
.
h
:
e
x
t
ract from eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
introduce evalue_shift_v
a
riables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
l
a
t
t
ice
_
point
.
cc: export relative_
c
oord
i
na
t
es
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
ae
g
e
lattice
_
point
.
h: ma
k
e sur
e
c
o
r
rect
e
values are used
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
lat
t
ic
e
_point
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
u
t
il
.
c: intern
a
lize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ve
r
d
o
olaege
lattice_
p
oint
.
c
c
:
m
ulti_
m
onom/lattice
_
points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
olaege
d
oc: clean up "exponential substit
u
tion" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
test_bo
u
n
d
.
cc:
avoid loss of precision caus
e
d
b
y
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
ol
a
ege
barvinok_bo
u
nd: optionally take maximal
s
ize of doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
b
a
rvinok_bound
:
add -
-
iterate o
p
t
i
ons for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
oolaege
ver
i
fy
.
c:
export functions for setting a
n
d cle
a
ring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolae
g
e
veri
f
y
.
c: eva
l
ue_optimum: allow computation of op
t
im
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernste
i
n
.
cc:
e
valu
e
2ex: don't assume al
l
periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
eg
e
bound
.
cc
:
fix cal
l
to
ev
a
lue_conver
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
e{add,
m
ul}_periodics: plug
memory l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoo
l
aege
evalue_ber
n
stein_coeffi
c
ients: hand
l
e problems
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
oolaege
up
d
ate
p
ol
y
l
i
b
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Verdoolaege
latti
c
e_width
.
c: skip dire
c
tion
s
t
h
a
t are
i
dent
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add
c
dd94e-test to dis
t
ribu
t
ion
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
om
e
g
a
/occ: option
a
l
ly use p
a
r
k
e
r
for
co
m
puti
n
g card
i
nali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoo
l
a
eg
e
n
o
rma
l
ization
.
c:
skew_to_positive_orthant:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoola
e
ge
omega/
c
onvert
.
cc: re
l
a
t
ion2D
o
main:
o
n
l
y collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rdoolaege
occ
:
add
d
um
p
for dumping in barvinok_enumerate_e
for
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erd
o
o
laege
barvinok_enumerate_e: optiona
l
ly use parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
standa
r
d_cons
t
raints: take constraints instead o
f
poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
normali
z
ation
.
c:
e
xtract
s
tandard_constra
i
nts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
p
a
r
ker/c
o
unt_solutions
.
cc: fix t
r
ea
t
me
n
t of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
r
d
oolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaeg
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
uler
.
c
c:
e
v
a
lue_derive: hand
l
e c
o
nst
a
nt pol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
a
d
d so
m
e tes
t
s
ets from case
s
2
0
04 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
renam
e
barvinok_maximize to
barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
d
oolaege
ad
d
a te
s
t for test_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
evalue_range_propagation: remove redund
a
n
t
p
o
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
test_bound: record
n
umber o
f
pol
y
nomials as
"siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
e
g
e
test_bound: convert quasipolynomia
l
s
to polyno
m
ia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
t
e
st_bound
:
compare po
l
ynomial bou
n
d algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
verify
.
c: optim
u
m:
h
andle input evaluating to negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c: extract
e
value_optimum from
ma
x
imize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c:
extract co
m
mon code fo
r
ve
r
ify
i
ng operat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
evalue_rang
e
_
propa
g
ation: add monoto
n
i
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvinok_ma
x
imize: optionally us
e
(basic) range propaga
t
io
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
er
d
oolaege
Add
some
sup
p
ort for
d
ealing with evalues
t
h
at repr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_enumerate: su
p
port
use of Eule
r
-M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implemen
t
Bernoulli_sum as conversion from unweig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
Ber
n
oulli
_
sum
_
evalue: ex
p
lo
i
t integer bounds to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
keep
t
r
a
ck
o
f
n
u
mber o
f
B
er
n
oulli s
u
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoull
i
.
c: protect s
h
a
r
ed ev
a
l
u
e fro
m
m
odifica
t
i
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaeg
e
tes
t
Bernoulli sums based exact
enum
e
ra
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
c
o
u
nt_with_opti
o
n
s
: compute (exact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernou
l
li_sum_evalue:
o
ptionally handle fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
lattice_point
.
h: expor
t
fractional_p
a
rt with
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
bar
v
inok_enumerate_wi
t
h_options: compute
(ex
a
ct) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
Bernoull
i
_sum_e
v
alue: handle
e
qualit
i
es
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoulli_sum_evalue: cut
o
f
f
some redu
n
dant
pa
r
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoull
i
_sum_ev
a
lu
e
: m
a
ke s
u
re no empty part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_
s
um_evalue: remove
r
edundan
t
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdool
a
e
ge
b
ernoulli
.
c: minor refactorin
g
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rd
o
ol
a
e
ge
Bernou
l
li_sum: ha
n
dle context const
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
Be
r
noulli_s
u
m
_
eva
l
ue: make sure enough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
f
or_each_
l
ower_upp
e
r_
b
ound: ad
d
another call
b
ack for
.
.
.
commit
|
commitdiff
|
tree
next