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
add editors to ITSL papers
2008-05-08
Sven Ver
d
o
olaege
add
edi
t
ors to IT
S
L papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaeg
e
ba
r
vinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
add some test
s
e
t
s from i
t
sl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
e
rdoolaege
d
o
c: add lat
e
st
(accepted) pub
l
ication
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
Make
f
i
l
e
.
a
m: add secti
o
n_array
.
h to
d
is
t
r
i
butio
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
no
r
malization
.
c
:
c
o
mpu
t
e_s
h
i
f
ts: remove
re
d
u
n
d
a
nt
r
eturn
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
move F
r
ee_ParamNames polylib
and m
a
ke param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add interface
t
o barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doo
l
aege
ex_con
v
ert
.
cc: extract ex2evalue
from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
r
doolaege
doc: do
c
ument more
--summation met
h
od
s
for barv
i
nok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
op
t
ions
.
c: rena
m
e "b
a
rvinok"
s
u
mm
a
t
i
on method
t
o
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdo
o
laege
Makefile
.
am
:
check-euler:
also
c
heck l
a
urent
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdoolaege
summa
t
e
.
c
: barvinok_summate: ha
n
d
l
e pr
o
ducts
of polyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoola
e
ge
evalue
.
c: exp
o
r
t
e
value_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n Verdoo
l
aege
bernstein:
numeric2value: fix
typo to all
o
w c
o
rrec
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
util
.
c: Factor_Context: ex
t
ra
c
ted from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
umm
a
te
.
c
:
barvinok_
s
ummate: ignore floors
i
ndependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolaege
evalue
.
c: add e
v
alue_flo
o
r
2
frac
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erd
o
o
l
aege
omega/o
c
c:
p
ri
n
t barvin
o
k v
e
rsion numbe
r
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
doc: u
p
d
ate some refer
e
nces
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent based summation t
h
e def
a
ult
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
o
o
laege
summat
e
.
c: barvinok_s
u
mmate: handle
q
uasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
r
educe_
e
value
:
ext
r
act out evalue_red
u
ce_s
i
ze
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doola
e
ge
e
v
alue
.
c: e
v
alue
_
s
hi
f
t_v
a
riables: a
l
l
o
w shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
summa
t
e
.
c: handle equaliti
e
s for all summati
o
n algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdo
o
laege
summ
a
t
e
.
c:
barvinok_summate: move common parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doo
l
aege
evalue
.
c: evalue_sum
:
move sign h
a
ndl
i
ng into esum_o
v
e
r
_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
barvinok_e
.
cc: enu
m
erate_
s
um
:
use ba
r
v
inok_sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c
:
ext
r
act bar
v
inok_summate
f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
rename summate
.
cc to barvinok_summate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olaege
ev
a
lue
.
c: r
e
duce_evalue: reduce floo
r
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolae
g
e
Add
Laurent expan
s
ion bas
e
d
summation
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
r
doolaege
evalue
.
c: e
x
tend ee
q
ual
to handl
e
d
o
mains
a
nd NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
binomial
.
c: extra
c
t b
i
no
m
ial
and factori
a
l from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
ege
p
o
wer
.
h: e
x
tract from e
u
ler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
er
d
oolaeg
e
introduce evalu
e
_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
erdoolae
g
e
l
a
ttice_p
o
int
.
cc: export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoo
l
aege
lattice
_
point
.
h: make s
u
re corre
c
t e
v
a
lues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
la
t
t
ice_poi
n
t
.
cc: add ceil
i
ng function
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
do
o
laege
util
.
c: internalize ugly bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaeg
e
l
a
tti
c
e_point
.
cc
:
multi_monom/latti
c
e_points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
en Verd
o
olaege
doc: cle
a
n up
"
exponential s
u
bs
t
itution" secti
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
tes
t
_bound
.
cc: a
v
oid loss of pre
c
i
s
ion ca
u
sed by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
r
d
oolaege
barv
i
nok
_
bound: optiona
l
ly take maxim
a
l size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
barvinok_
b
ound
:
add
-
-itera
t
e options for eval
u
ati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
verify
.
c: export fu
n
c
t
i
o
ns for
s
et
t
i
ng and c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolae
g
e
ver
i
fy
.
c: evalue_opt
i
mum:
a
llow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
bernstein
.
cc
:
eval
u
e2ex: don't as
s
ume all peri
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
b
ound
.
cc: fix cal
l
t
o
evalu
e
_convert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
e{a
d
d
,
mul}_p
e
riodics:
plug memory leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_ber
n
st
e
i
n
_coefficient
s
:
handle prob
l
ems
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
u
p
d
ate polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
latt
i
ce_width
.
c: ski
p
dire
c
t
i
ons that
are iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Verdoolaege
M
a
kefi
l
e
.
a
m: add cdd94e-test to dist
r
ibu
t
ion
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
a
e
g
e
o
m
ega/occ: o
p
tionally use
p
arker for
c
omputing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
V
erdoolaege
n
ormalization
.
c: skew_to
_
positive_ort
h
ant: prope
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/con
v
ert
.
cc: relation
2
Dom
a
i
n
: only col
l
ect se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
doolaege
occ
:
add
dump f
o
r dump
i
ng in
barvi
n
ok
_
enumera
t
e_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laeg
e
barvinok_enumerate_e
:
op
t
iona
l
ly use parker's
m
ethod
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
st
a
ndard_constraints: take constra
i
nts
i
nstead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Verdoo
l
aege
no
r
maliza
t
io
n
.
c
: extract standard_constrain
t
s
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoolaege
parker/c
o
unt_solutions
.
cc: fix
t
reatment of
e
x
i
s
te
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: evalu
e
_derive: h
a
n
dle con
s
tant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
g
e
add
s
ome
test sets from cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
rename ba
r
vinok_max
i
miz
e
to
ba
r
vino
k
_boun
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdool
a
ege
a
dd a test f
o
r test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
e
ge
evalue
_
ra
n
ge_propagati
o
n: remove red
u
ndant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
test_bound: record number of
p
oly
n
om
i
als as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
test_bound
:
convert quasipolynomials t
o
p
o
lynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_bo
u
nd: compare po
l
ynomial boun
d
algo
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
v
e
rify
.
c: optim
u
m: h
a
n
dl
e
inp
u
t evalua
t
ing to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
verif
y
.
c: extra
c
t
e
v
a
l
ue_opti
m
um from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
veri
f
y
.
c:
e
x
tract com
m
on c
o
de for verify
i
n
g op
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_r
a
nge_propagation: ad
d
monoton
i
city test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
barvino
k
_m
a
ximize: opti
o
n
a
lly
u
s
e (bas
i
c)
r
ange propagat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Add so
m
e support
f
or dealing with e
v
alues that repres
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
e
g
e
barvinok_
e
nu
m
er
a
te: su
p
p
o
rt use
o
f
Euler-Ma
c
l
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
implement
B
erno
u
l
li_s
u
m as conversion
f
rom un
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum_evalue:
ex
p
l
oi
t
integer bounds
to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
ke
e
p track of number of Bernoulli s
u
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
b
erno
u
lli
.
c
:
protect shared
ev
a
lue fr
o
m modif
i
cations
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdool
a
ege
test Bern
o
ul
l
i sums based exact
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
b
a
r
vinok_c
o
u
nt_w
i
th_options: com
p
ute (exact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Be
r
n
o
ulli_sum_ev
a
l
u
e:
o
pt
i
o
n
ally han
d
le fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
l
a
ttice_point
.
h: export fra
c
tional_part
w
i
t
h C li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvinok_enumer
a
t
e
_
with_
o
ptions: co
m
pute (exact) Bernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_eval
u
e: h
a
ndle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoull
i
_sum_ev
a
lue: cut off some redundant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_evalue: m
a
ke sure
n
o empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Be
r
noulli_sum_evalue: re
m
ove
redund
a
nt c
o
nstraint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
ber
n
oul
l
i
.
c
:
minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum: ha
n
dle co
n
t
e
xt constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
for
_
eac
h
_l
o
wer_upper_bound: add
a
nother callback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
veri
f
y
.
c:
a
d
just de
f
ault r
a
nge t
o
con
t
ext if needed
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
euler
.
cc: su
m
m
a
te_over
_
domain: on
l
y consider act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
olae
g
e
p
a
ra
m
_util
.
c: expor
t
Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
Pa
r
a
m_P
o
lyh
e
dron_F
a
ce
t
: pa
s
s
fac
e
t de
f
i
n
in
g
c
onst
r
aint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
genf
u
n
.
cc: p
a
ra
l
l
el
_
p
o
lytopes:
don't bo
t
her ha
n
d
ling
.
.
.
commit
|
commitdiff
|
tree
next