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
barvinok 0.27
2008-05-04
Sven Verdoolaeg
e
b
arvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoo
l
a
e
ge
a
d
d some test sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: a
d
d latest
(
accepted
)
p
ublication
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
Makefile
.
a
m
:
add section_array
.
h to
dis
t
ribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
nor
m
alization
.
c: compute_sh
i
fts: remove redun
d
a
n
t return
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdo
o
l
a
e
ge
m
o
ve F
r
ee_ParamN
a
mes polyl
i
b and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
cc: add interfa
c
e to barvinok_s
u
mma
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
ex_convert
.
c
c
: extract ex2e
v
alue from ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oo
l
aege
d
oc:
d
o
cument more --summation methods for ba
r
v
i
nok_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c: r
e
name "barvinok"
s
ummation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolae
g
e
Makef
i
l
e
.
a
m
: chec
k
-euler: also ch
e
ck laurent
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
summate
.
c: bar
v
inok
_
summate: handle pro
d
u
cts
of polytope
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoo
l
a
ege
evalue
.
c:
export eval
u
e_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
doolaege
berns
t
e
in: numeric2valu
e
:
fix
typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
util
.
c: Factor_C
o
n
text
:
ex
t
racted fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
s
u
mmate
.
c: bar
v
inok_sum
m
a
te:
i
gnore fl
o
o
r
s indep
e
nd
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oola
e
ge
eval
u
e
.
c: add evalue_floor
2
f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omeg
a
/occ:
print barvinok v
e
rsion number
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
doc: update some r
e
ferences
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rd
o
olaege
Make laurent based sum
m
ation the defaul
t
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdool
a
ege
su
m
mate
.
c: ba
r
vi
n
ok_sum
m
ate:
handl
e
quasi-polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoo
l
aege
red
u
ce_
e
value:
extra
c
t out
e
va
l
u
e
_
r
educe_size
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
ev
a
lue
.
c
:
evalue_s
h
ift_variables:
a
l
low shiftin
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
summate
.
c
:
handle equalities for all summation alg
o
rithms
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summat
e
.
c: barvi
n
ok_sum
m
a
t
e:
move common
p
arts of summat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
evalue
.
c: evalue_
s
u
m
:
m
ove sig
n
h
a
ndling
into esum_
o
ver_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
olaege
barv
i
nok_
e
.
c
c
: enumer
a
te_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
sum
m
ate
.
c: extract barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdo
o
laege
r
ename s
u
mmate
.
cc
to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aeg
e
eva
l
ue
.
c
: r
e
duc
e
_evalue: red
u
ce floor
w
i
th constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent
expans
i
on based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erd
o
olaege
e
v
alue
.
c
:
exten
d
eequa
l
to h
a
ndle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoola
e
ge
b
ino
m
ia
l
.
c: extr
a
ct bino
m
ial and factori
a
l from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
p
o
wer
.
h:
e
xtract f
r
om euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
int
r
oduce evalue_shift_v
a
riables
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdool
a
ege
lattice_poin
t
.
cc
:
e
x
p
or
t
rel
a
t
i
ve_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven
Ver
d
ool
a
eg
e
lattice_point
.
h: make sure c
o
rr
e
ct e
v
alue
s
are
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
latt
i
ce
_
poi
n
t
.
cc
:
add ceiling
f
unction
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdo
o
laege
util
.
c: i
n
ternali
z
e ugly b
v
_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven
Verd
o
olaege
lattice_point
.
cc: mult
i
_monom
/
lattic
e
_
points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n
V
erdoolaege
doc: clean up "e
x
ponenti
a
l substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
t
est_bou
n
d
.
cc: avoid
l
oss of precision cause
d
by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdo
o
lae
g
e
bar
v
inok_bo
u
nd:
o
p
tio
n
a
lly
take maxim
a
l size of
d
o
main
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoolaege
barvinok_bound: add --iterate options for e
v
aluati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
e
ge
verify
.
c: expor
t
func
t
ions for set
t
ing and c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
v
e
rif
y
.
c: evalue_optimum: allow c
o
mput
a
tion of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
bernstein
.
cc: eval
u
e2ex
:
do
n
'
t
assu
m
e all perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
g
e
bou
n
d
.
c
c
: fi
x
call
t
o evalue
_
conv
e
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
e
{
a
d
d
,
m
u
l
}
_
p
eriodics:
p
lug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
doola
e
ge
evalue_bernstein_c
o
efficie
n
t
s: handle p
r
ob
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoo
l
aege
u
p
date
polyl
i
b
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdool
a
ege
lat
t
ice_widt
h
.
c:
skip directions that are
i
den
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdoolaege
Makefile
.
am: add cdd94
e
-test to distri
b
u
tion
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
omega/o
c
c: optionally
u
se park
e
r for
computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
dool
a
e
ge
norma
l
ization
.
c: s
k
e
w
_
t
o_posit
i
ve
_
ortha
n
t:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
omega/convert
.
cc: relati
o
n2Dom
a
in: o
n
ly coll
e
c
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add d
u
mp for
dum
p
ing in barvinok_enumerat
e
_
e format
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
r
d
oolaege
b
a
rvin
o
k_enumerate_e: optiona
l
ly use pa
r
k
er's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_constraints: take
c
onst
r
aint
s
in
s
te
a
d
of
p
olyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
norma
l
iza
t
ion
.
c: extract
s
t
an
d
ard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
parker/coun
t
_soluti
o
ns
.
cc: fix tr
e
atment
of exis
t
entially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdool
a
ege
com
p
ile
parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
e
u
ler
.
cc: evalue_derive: handle constant
polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
add some test sets
from cases 20
0
4 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
rename barvinok_ma
x
imize to barvino
k
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
add
a
tes
t
for tes
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
evalu
e
_range_p
r
opagation: remove redundant
p
olynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
test_bound:
re
c
ord number of
polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaeg
e
test
_
bound: conver
t
quas
i
polynomials to polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
test_bou
n
d: compare
p
olynomial
bound
a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
rify
.
c:
optimum: handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verif
y
.
c
:
ex
t
ract eva
l
ue_o
p
t
i
mum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
i
f
y
.
c: extract common code for
v
e
rifying op
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_pr
o
pa
g
ation: a
d
d
m
o
n
o
t
o
nicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
g
e
barvinok_maximize
:
optionally use (bas
i
c
)
r
a
nge propagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
olaeg
e
Add some s
u
p
port for dealing
w
it
h
evalues that represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
ba
r
vin
o
k_enumera
t
e: support
use
of Euler-Ma
c
la
u
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
impl
e
ment
B
ernoul
l
i_s
u
m as
c
o
n
v
ersion fr
o
m unwei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
B
erno
u
lli_sum_evalue: exploit
i
nteger bou
n
ds to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
ee
p
track of number of Bernou
l
li sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
bernoulli
.
c: prote
c
t sh
a
red evalue
f
rom modificatio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Berno
u
lli sums based
ex
a
ct enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
bar
v
i
nok_count_with_options: com
p
u
t
e (exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli
_
su
m
_evalu
e
: op
t
ionally handle fra
c
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
latt
i
ce_point
.
h: expo
r
t fra
c
ti
o
n
a
l
_
part with C
lin
k
age
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
barvinok_enu
m
er
a
te_with_opt
i
ons: com
p
ute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoulli_sum_evalue: handle equalit
i
es
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_sum
_
e
v
a
l
u
e: c
u
t
off so
m
e redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Ber
n
oul
l
i_sum_evalue: make sure
n
o
empty
p
ar
t
ition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaeg
e
Bern
o
ulli_s
u
m
_
eval
u
e
:
remove re
d
u
nda
n
t co
n
straint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
bernoull
i
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
la
e
g
e
Ber
n
o
u
lli_sum:
h
andle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
o
lae
g
e
fo
r
_ea
c
h_lower
_
upper_bound: add another c
a
llback
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
l
a
ege
verify
.
c: adjust default range to context if ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
euler
.
cc: summate
_
o
ver_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
pa
r
am_
u
til
.
c: ex
p
ort
P
ara
m
_Vertex_Set_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
P
a
ram_Pol
y
h
e
dron_Facet
:
pass
facet defining constra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
eg
e
ge
n
fun
.
cc:
p
arallel_polytope
s
:
d
on
'
t bother
han
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
evalue_split_
d
omains_into_orthants: don't re
d
u
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
next