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 V
e
rdoola
e
g
e
b
a
r
vinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ve
r
dool
a
ege
add some t
e
st sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
doc: add latest (a
c
cepted) publicatio
n
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoo
l
aege
Makefile
.
am: add se
c
tion_a
r
ray
.
h t
o
d
i
st
r
i
bution
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
oolaege
n
ormalization
.
c: co
m
pute_shifts: remove redundan
t
retur
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
e
ge
mov
e
Fre
e
_
Par
a
mNames polylib and make para
m
n
ames
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
occ: add int
e
rface to
b
arvinok_su
m
ma
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erd
o
o
l
aege
e
x_c
o
nvert
.
c
c: extract ex2evalue from r
a
nge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Ve
r
do
o
laege
doc: document more
-
-summat
i
on methods for b
a
rvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c: rename "barvinok" su
m
mat
i
o
n method t
o
"
box
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefil
e
.
am: check
-
euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
olaege
summate
.
c: barvin
o
k_summate: handl
e
pr
o
du
c
ts
o
f polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoo
l
aege
eva
l
ue
.
c: export evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
b
ernstei
n
: numeric
2
value: fix typo t
o
allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
ut
i
l
.
c: Factor_C
o
ntext: e
x
tracted from barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summ
a
te
.
c: barvinok
_
summate: i
g
n
ore floors independen
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
eval
u
e
.
c:
a
d
d
evalue_floor2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdoolae
g
e
om
e
ga/occ: print barvinok
version
n
umber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
d
o
c:
u
pdate som
e
re
f
eren
c
e
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make
l
aurent based su
m
mation th
e
def
a
u
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oo
l
aege
summ
a
te
.
c: b
a
rvi
n
ok_s
u
mmate:
handle
quasi-polynom
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolae
g
e
reduce_evalue: ex
t
ract out
e
value_re
d
uce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alu
e
.
c: eval
u
e
_
shif
t
_
variables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mma
t
e
.
c: han
d
l
e equalities for all
summat
i
on algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
sum
m
a
t
e
.
c: barvinok_summat
e
: move common parts
o
f summ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ol
a
ege
e
value
.
c
:
e
va
l
ue_su
m
: move sign hand
l
ing into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verd
o
olaege
barvinok_
e
.
c
c
:
enumer
a
te_sum: use ba
r
v
inok_summ
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
summate
.
c: extract barvinok
_
summa
t
e from b
a
rvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
rename summate
.
cc to
b
arvinok_s
u
mmate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
evalue
.
c: reduc
e
_evalue: reduce floor
with
c
onst
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
Add Laurent expans
i
on
b
ased s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdo
o
laege
evalue
.
c: ex
t
end eeq
u
al to handle d
o
ma
i
n
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
ven
V
erdool
a
eg
e
binomi
a
l
.
c: extract b
i
nomial and factorial f
r
o
m
euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ve
r
doolaege
po
w
er
.
h
: extract f
r
om euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
intr
o
d
u
ce evalue_s
h
ift_variab
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdoolaege
lattice_point
.
cc: export
r
elative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
la
t
tice_point
.
h: make sure correct
e
v
alues are u
s
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaeg
e
l
a
ttice_point
.
cc: add ce
i
l
i
ng function
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
util
.
c: inter
n
a
lize ugly
b
v
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdool
a
ege
lattic
e
_point
.
c
c: multi_m
o
n
o
m/lat
t
ice_points: r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
e
rdoolaege
do
c
:
c
lea
n
up "ex
p
onential substitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaege
test_bound
.
cc: avoid
l
oss of precision cause
d
b
y
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolae
g
e
barvinok_b
o
und: optionall
y
ta
k
e maxim
a
l
s
ize of d
o
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdool
a
ege
barvinok_bound:
add --i
t
era
t
e
optio
n
s for
evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verd
o
ola
e
ge
ve
r
if
y
.
c: ex
p
ort
functions
for setting and cle
a
ring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
verify
.
c
:
evalue_opt
i
mum: a
l
l
o
w comp
u
tation
o
f
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
er
d
oolaege
bernste
i
n
.
cc: evalue2ex: don't assu
m
e all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaege
bound
.
cc: fix
call
t
o eva
l
u
e
_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add
,
mul}_periodic
s
: plug memo
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
evalue
_
bernst
e
i
n_coeffi
c
ients: han
d
le
problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Verdoolae
g
e
lattice_w
i
dth
.
c: skip dire
c
tions that are identi
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefil
e
.
am: add cdd94e
-
test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
do
o
laege
o
mega/o
c
c:
optional
l
y use p
a
rk
e
r
f
or computing
cardinal
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
normalizat
i
on
.
c: skew_to_positive_orthant: proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
omega/convert
.
c
c
: r
e
lation
2
Domain: only colle
c
t set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
oc
c
:
add dump for dumping in barvinok_enumerate
_
e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
barvi
n
ok_enumerate_e: optionally use p
a
rker's
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
s
t
andard
_
constraints: take constraints instead of polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: e
x
tract standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolae
g
e
par
k
er
/
count_solutions
.
c
c
:
fix treatment
o
f
existentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdool
a
ege
c
ompile parke
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
u
ler
.
cc: evalu
e
_de
r
ive
:
handle con
s
tan
t
polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
add
s
ome tes
t
sets f
r
om cases 2004 and c
c
200
5
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
r
e
name barv
i
nok_max
i
mize t
o
barvi
n
ok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
add a t
e
st for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ve
r
d
o
olaege
ev
a
lu
e
_range_propagati
o
n: remove redundan
t
p
o
lynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
test_b
o
und
:
record n
u
m
ber of pol
y
n
omials as "
s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaeg
e
test_bound: convert quas
i
polynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
test_bo
u
nd: compare polynomial bound algor
i
t
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
verify
.
c:
o
p
t
im
u
m: h
a
ndl
e
in
p
ut ev
a
l
u
ating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
v
e
rify
.
c:
e
xtrac
t
evalue_optimum from maxim
i
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
e
g
e
ver
i
fy
.
c: extr
a
ct com
m
on code for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdool
a
ege
e
v
alue_range_
p
rop
a
gation
:
add monotonicity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_ma
x
i
m
i
z
e
: optional
l
y use (basic) rang
e
propagation
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Ad
d
some
s
upport
f
or dealin
g
with evalues that re
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enu
m
erate: support us
e
of Euler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolae
g
e
imp
l
em
e
nt Bernoulli_s
u
m as convers
i
on from
u
n
weight
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli
_
sum_eval
u
e: exploit in
t
eger
boun
d
s
t
o r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ke
e
p track of
n
umber of
B
e
rnoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c:
p
ro
t
e
ct shared evalue from modificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
tes
t
Bernoul
l
i su
m
s
bas
e
d exact enumerat
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
barvinok_count_with_op
t
i
o
n
s: co
m
pute (e
x
act) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
Bernoulli_sum_e
v
alue: optiona
l
ly handle
f
r
actional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
lattic
e
_point
.
h:
export
f
ractional_pa
r
t
with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aeg
e
barvinok_en
u
m
e
rate_with_opt
i
o
n
s: compute (
e
xact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
Bernoulli_su
m
_evalue: handle e
q
ua
l
ities
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
d
oolaege
Berno
u
lli_sum_evalue: cu
t
of
f
s
o
m
e
redu
n
dant pa
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
l
li_su
m
_evalue: make su
r
e no empty
partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
Bernoulli_sum_e
v
alue: remove redundant
c
onstraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
bern
o
ulli
.
c: minor ref
a
ctori
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
B
e
rnoulli_sum: handle con
t
e
x
t
c
o
n
straint
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
B
ern
o
ul
l
i_sum_ev
a
l
u
e: m
a
k
e
sure
e
n
ou
g
h
me
m
ory is alloc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
for_each_lower_uppe
r
_
b
ound: ad
d
another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjust default range
t
o context if nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
u
l
er
.
c
c
: su
m
mate
_
over_d
o
main: on
l
y consider
ac
t
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
param_util
.
c: ex
p
o
r
t
Param_Vertex_Se
t
_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolae
g
e
P
a
ram_Polyhedro
n
_Facet: pass
facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
genfun
.
cc: parallel_polyto
p
es: don't bo
t
her handling
.
.
.
commit
|
commitdiff
|
tree
next