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
move Free_ParamNames polylib and make param names const char **
2008-05-04
Sven Verd
o
olaege
move
F
ree_ParamNames
polylib and make par
a
m names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdool
a
ege
occ: add
interface to barvin
o
k
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_convert
.
cc: ex
t
r
ac
t
ex2evalue from
r
ange
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
a
e
ge
do
c
: document more
-
-summat
i
on m
e
t
h
o
ds for
bar
v
inok_
s
u
m
ma
t
e
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Ver
d
oolaege
opti
o
n
s
.
c
:
r
e
name "barvino
k
" summation
m
e
t
hod to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verd
o
olaege
Makefile
.
am: check-euler: also chec
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdo
o
lae
g
e
summate
.
c
:
barvinok_s
u
mmate:
handle pro
d
u
cts of polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
evalue
.
c: e
x
port eva
l
ue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
ber
n
stein: numeri
c
2va
l
ue:
f
i
x
typo to allo
w
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
ool
a
ege
util
.
c: Facto
r
_C
o
ntext
:
extracted fro
m
b
a
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
summate
.
c: b
a
rvino
k
_summate
:
ignor
e
floors indepe
n
de
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
evalue
.
c
:
add evalue_flo
o
r2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/occ: p
r
int barvinok ver
s
ion number
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdoolaege
doc: update some referen
c
es
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdool
a
ege
Make lauren
t
based summation th
e
defa
u
l
t
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Ve
r
doolaege
s
umm
a
t
e
.
c: barvinok_summate: h
a
n
d
le qua
s
i-poly
n
omial
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
oolaege
reduce_e
v
alue: extract out evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
do
o
laege
e
v
alue
.
c: eval
u
e
_
s
hift_v
a
ri
a
bles: a
l
l
o
w
s
hifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
do
o
l
a
ege
summate
.
c
:
hand
l
e
e
q
ualiti
e
s for all summation algorit
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
olae
g
e
summat
e
.
c: barv
i
n
o
k_s
u
mmate: m
o
ve
common
p
a
rts
of sum
m
ation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
evalue
.
c: ev
a
l
u
e_sum:
m
ove sign handling
i
nto esum_ove
r
_
d
omain
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
barvinok_e
.
cc: enumer
a
te_sum: u
s
e
b
arvinok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
sum
m
a
te
.
c
:
extrac
t
barvin
o
k_sum
m
ate f
r
om
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolae
g
e
rename summate
.
cc to barvinok_su
m
m
at
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ev
a
l
u
e
.
c:
reduc
e
_evalue: reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdool
a
ege
Add Laur
e
nt
e
xpan
s
i
o
n base
d
summa
t
ion
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
ev
a
lue
.
c: extend eequal to handle doma
i
n
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n
Ver
d
o
o
l
a
eg
e
binomi
a
l
.
c: extr
a
ct
b
in
o
mial a
n
d fact
o
rial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verd
o
o
l
aege
intr
o
d
u
ce evalue_shift_
v
ariab
l
es
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdool
a
ege
lattice
_
poin
t
.
cc:
exp
o
rt relat
i
ve_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verd
o
o
la
e
ge
la
t
tice_point
.
h: make
sure correct eva
l
ues ar
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdo
o
lae
g
e
lattice_point
.
cc
:
a
d
d c
e
i
ling functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: inte
r
nalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lattice_point
.
c
c
: mul
t
i_monom/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoola
e
ge
doc: clea
n
u
p
"exponential
s
ubstitut
i
on" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
test_bound
.
cc: avoid loss o
f
precision cau
s
e
d
by
c
onve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoola
e
ge
barvinok_bound: optionall
y
t
a
ke m
a
ximal size of
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvinok_bound: add
-
-it
e
rate options for eval
u
ati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoola
e
ge
v
e
rify
.
c
:
e
xp
o
rt fu
n
ctions for setting and c
l
e
a
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oo
l
aege
verify
.
c:
eva
l
ue_opt
i
mum: allow
c
omputat
i
o
n of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolae
g
e
bernstein
.
c
c
: evalue2ex: don't assume
a
ll periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
boun
d
.
cc:
f
ix call to eva
l
u
e
_
c
onvert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
e{add,mul}_periodics: plug memory le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ev
a
l
u
e_bernstein_coefficients: hand
l
e
pr
o
blems
w
it
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice
_
width
.
c
: skip directions that are
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Ma
k
efil
e
.
am:
a
dd cdd94e-test
t
o distrib
u
ti
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdo
o
la
e
g
e
om
e
g
a
/occ: optionally u
s
e parke
r
for computing cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
norm
a
lization
.
c: skew_
t
o_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
erd
o
olaege
omega/conv
e
rt
.
cc: relati
o
n2Domain: only collec
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoo
l
aege
occ
:
add dump for dumping in
b
a
r
v
inok_enumerate
_
e for
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
barvinok_enumerat
e
_e: optionally use par
k
er's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdoolaege
s
tandard_cons
t
raints: take con
s
traints
in
s
te
a
d
of po
l
yhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
normaliz
a
ti
o
n
.
c
:
e
xtract standard_constraints f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker
/
count_solutions
.
c
c:
fix t
r
eatment of existe
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdool
a
eg
e
c
o
mpile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolae
g
e
A
dd p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
r
doolaege
eul
e
r
.
cc: evalu
e
_derive: handle constant
p
ol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
add some test sets fro
m
cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
la
e
g
e
rename barvin
o
k_m
a
ximize to
b
a
r
vinok_
b
o
u
n
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
o
olaege
add
a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
u
e
_rang
e
_
p
r
o
p
agation: remove
r
edundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
tes
t
_bound: r
e
cor
d
numbe
r
o
f polynomia
l
s
a
s
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
test_b
o
u
nd:
convert
quasipolynomials to pol
y
nom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
tes
t
_b
o
und: compar
e
polynomia
l
bound al
g
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
veri
f
y
.
c: optimum: handl
e
input eval
u
a
t
ing t
o
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
verify
.
c:
extract e
v
alue
_
optimum f
r
om maxi
m
i
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ve
r
ify
.
c: extract com
m
on code for verifyi
n
g
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propa
g
a
t
ion: add monoton
i
c
i
ty
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
b
a
rvinok_max
i
mize: o
p
t
i
o
na
l
l
y
use (basic) r
a
nge propa
g
at
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
d
d some sup
p
ort for dealing
with
e
v
alues
t
h
a
t represen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
barv
i
nok_e
n
umerate: support use
o
f
E
uler-
M
aclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ver
d
oolaege
implem
e
nt Bernoul
l
i
_sum as conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Berno
u
lli_sum_evalue: exploit
int
e
ger bounds to re
d
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
e
e
p
tra
c
k of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
bernoulli
.
c
: protect shared evalue f
r
om modifi
c
ations
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
tes
t
Bernoulli sums based exac
t
enumerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
barvinok_count
_
with_options:
comput
e
(exa
c
t
) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
B
erno
u
l
li_sum
_
e
v
a
lue: option
a
lly handle
f
rac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
ae
g
e
lattice
_
point
.
h: e
x
port frac
t
i
ona
l
_part wi
t
h
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
bar
v
inok_enum
e
rate_
w
ith_op
t
ions: comp
u
te (e
x
act) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
Be
r
noulli_sum_evalue: handle equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum
_
eval
u
e: cut off s
o
me redund
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: m
a
ke s
u
re
no em
p
ty p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
g
e
Bern
o
ulli
_
s
um
_
evalue
:
remove redun
d
a
nt constr
a
i
nt in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
ber
n
oulli
.
c:
m
in
o
r refactorin
g
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
Bernoulli_su
m
: h
a
ndl
e
conte
x
t constrain
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Be
r
noull
i
_sum_e
v
a
lue
:
make
s
ure enough mem
o
ry is
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
f
o
r_each_lowe
r
_
u
p
p
er_bound
:
a
d
d another ca
l
lbac
k
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
adjust
d
efault r
a
nge to context if n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoo
l
aege
euler
.
cc
:
s
ummate_over_domain: only con
s
ider
a
c
tu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
para
m
_util
.
c: expo
r
t Pa
r
am_Vert
e
x_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
Pa
r
am_Polyhed
r
o
n
_F
a
cet: pass fa
c
e
t defining const
r
aint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
c
c
: parallel_p
o
l
ytope
s
: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
s
plit_d
o
mains_
i
nto_o
r
th
a
n
t
s: don't r
e
duce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
evalue_rea
d
: only allow t
e
rms
t
o cross newli
n
es in
s
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_read: only ac
c
ept implicit mul
t
iplicat
i
o
n o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
g
e
ev
a
lue_re
a
d
:
a
ccept c
o
nstr
a
ints conta
i
ning
"
'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
l
ue_bernstein_coefficients: ensure result partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
next