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: add latest (accepted) publications
2008-05-04
Sven Verdool
a
ege
doc: add
latest (accepted)
public
a
tion
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
M
a
ke
f
ile
.
a
m: add
s
ection_array
.
h to d
i
stribution
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
nor
m
alization
.
c
:
com
p
ute
_
shift
s
:
remo
v
e re
d
undant return
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
m
ove Free_ParamNames p
o
lylib a
n
d make pa
r
am names
c
o
n
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
o
cc: add interfac
e
to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_
c
onv
e
rt
.
cc
:
extract ex2evalue from range
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: document
m
ore --summation methods for barvinok_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolae
g
e
o
p
tions
.
c
: rename "barvinok" summation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
Makefile
.
am: chec
k
-euler: also c
h
e
c
k lau
r
ent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
summat
e
.
c:
ba
r
vinok_s
u
mmate: h
a
ndle
p
r
oducts
o
f
p
ol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c: export eval
u
e_reorder_
t
erms
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolae
g
e
bernstein: n
u
meric2va
l
ue:
fix typ
o
to allow corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdool
a
ege
ut
i
l
.
c: Fact
o
r_Context: extracted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summate
.
c: barvinok_summate: ignore floors
i
ndepend
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
evalue
.
c
:
add ev
a
lue
_
floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaeg
e
omega/occ: print barvinok ve
r
sion number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
doc:
u
pdate some reference
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
M
a
ke laurent
b
a
sed summatio
n
th
e
defaul
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: b
a
r
v
ino
k
_sum
m
ate
:
han
d
le
quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
reduce_evalue: e
x
tract out evalue_r
e
d
uce_s
i
z
e
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erd
o
olaege
evalue
.
c
:
e
v
a
lue_s
h
i
f
t
_variabl
e
s: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
summ
a
t
e
.
c: h
a
ndle
e
q
u
alities
for all summ
a
tion algor
i
thms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
o
laege
summate
.
c: barvinok_summ
a
te: move common pa
r
ts of summ
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
g
e
evalue
.
c:
ev
a
lue_s
u
m:
move sign handling i
n
to esum_over
_
domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
barvino
k
_e
.
cc: enume
r
ate_sum: use barvin
o
k_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extrac
t
barvinok_summate from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ver
d
o
o
lae
g
e
rename summate
.
c
c to bar
v
i
n
ok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
evalue
.
c:
redu
c
e_eva
l
u
e: reduce floor
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
dool
a
ege
Add Lau
r
e
nt expansion based summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
evalue
.
c: extend ee
q
ual to han
d
le domains and N
a
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
b
i
nomial
.
c: extra
c
t binom
i
al and factorial from eu
l
er
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
power
.
h:
e
xtract from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
introduc
e
evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
S
ven
Ve
r
doola
e
g
e
lattic
e
_
point
.
cc: export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
lattice_point
.
h: make sure co
r
r
ect e
v
alue
s
are used
commit
|
commitdiff
|
tree
2008-04-24
S
v
en V
e
rdoo
l
aege
latti
c
e_point
.
cc
:
add
c
ei
l
ing function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c
: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoo
l
a
ege
lattice_point
.
cc: mul
t
i_monom/lat
t
ic
e
_
p
o
i
nts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
doc:
c
lean up
"
e
x
ponential subst
i
tution" sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
doolae
g
e
test_bound
.
c
c
: avoid loss of pr
e
cision caused by c
o
nve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
barvinok_bo
u
nd: option
a
lly take
m
axima
l
size of do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
arvin
o
k_bound:
a
dd -
-
it
e
rate o
p
tions for
e
va
l
uating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
erif
y
.
c
: e
x
port
f
u
n
c
t
ions for se
t
ting an
d
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolae
g
e
ve
r
ify
.
c: evalue_optimu
m
:
a
llow comput
a
tion
o
f o
p
timum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven V
e
rdoolaeg
e
berns
t
ein
.
cc: eval
u
e2ex: do
n
't
assume all period
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
a
ege
b
o
u
n
d
.
cc: fix ca
l
l to e
v
alue
_
con
v
ert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aeg
e
e{ad
d
,
m
ul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
erdo
o
laeg
e
evalue_
b
ernstein_
c
oeff
i
cients: ha
n
d
l
e
p
r
o
blems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
updat
e
pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lat
t
i
ce_width
.
c:
skip directions that
a
r
e
i
d
e
ntic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Ver
d
o
o
laege
M
a
ke
f
ile
.
am: add
cdd94e-
t
est to dist
r
ibution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
omega/occ: o
p
ti
o
nall
y
use parker for computing card
i
n
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normaliz
a
tion
.
c: skew_
t
o_
p
os
i
tive_orthant: prope
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
ola
e
ge
omega/convert
.
cc:
r
elation2D
o
main: only c
o
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdoolaege
occ
:
a
dd dump for dumpin
g
in
barvinok_en
u
me
r
ate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
barvinok_enumer
a
te
_
e: optionally use
pa
r
ker
'
s
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
s
tandard_constraints: take c
o
ns
t
raints instea
d
o
f polyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
normalization
.
c: extract standard_constrai
n
ts f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoolaege
parker/cou
n
t_solutions
.
cc: fix treatm
e
nt of e
x
i
s
tentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
c
o
mpile par
k
er
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaeg
e
Add
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: evalue_deri
v
e: handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
r
doolaege
add
s
o
me te
s
t sets from cases 2004 and cc 2005 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
rename
barvin
o
k_
m
aximize to b
a
r
vinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
a
test for test_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
evalue_r
a
nge_p
r
opagation:
r
e
move
red
u
ndant p
o
ly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oo
l
aege
test_bound: record numbe
r
of
p
olynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
_
bound: convert quasipolynomials
to
pol
y
nom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
tes
t
_bound:
c
om
p
are polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
ify
.
c: opti
m
u
m
: handle input eva
l
uating to nega
t
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
eg
e
veri
f
y
.
c: ext
r
a
ct eva
l
u
e_optimum from ma
x
imize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
v
e
rify
.
c: extract common code for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
e
value_ra
n
ge_
p
ropagation:
add monotonici
t
y test
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
bar
v
ino
k
_maximize: opt
i
o
n
ally use
(basic) range propa
g
ation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
Add so
m
e support for deal
i
ng wit
h
evalu
e
s that
r
epr
e
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvinok_
e
numerate: support u
s
e of Euler-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
i
m
p
lement Bernoulli_sum as
c
onversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Be
r
noul
l
i_sum_e
v
alue: ex
p
loit integer
bounds to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ke
e
p
tr
a
ck of number of Bern
o
ulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoola
e
ge
b
e
r
noulli
.
c
:
protect s
h
ared evalue from mo
d
ifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est Bern
o
ulli
s
ums based exact e
n
umerat
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
barvinok_co
u
nt_with_o
p
tions: co
m
p
ute (exact
)
Ber
n
oull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
Bernoulli_
s
um_
e
value: op
t
ional
l
y handle fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
lattice_
p
oin
t
.
h: export fractional
_
p
a
rt
with C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoola
e
ge
b
a
rvinok_enumerate
_
w
i
th_option
s
:
compute (exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoolaege
Bern
o
ulli_su
m
_evalue: handle equal
i
ti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
n
oul
l
i_sum_evalue: cut off
s
ome
redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
B
e
rnoulli_sum_eva
l
ue: make
s
ure no
empt
y
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_s
u
m_e
v
alue
:
rem
o
ve
r
edundant c
o
nstrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ber
n
o
ull
i
.
c: minor ref
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
o
o
laege
Bernoulli_su
m
: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
B
ern
o
ul
l
i
_s
u
m_evalue:
make sure enough
memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
f
or_each_lower_up
p
e
r_bound:
a
d
d
another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: a
d
just de
f
ault range to
contex
t
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
la
e
ge
euler
.
c
c
:
su
m
mat
e
_over_domain
:
onl
y
consider actua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
ae
g
e
param_util
.
c: e
x
port Para
m
_Vertex_Set_Fac
e
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
do
o
laege
Param_Po
l
yhedron_Fa
c
e
t: pass facet defining c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
aege
genfun
.
cc: parallel_polytopes: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
va
l
ue_
s
plit_
d
omains_int
o
_orthants: do
n
't
r
edu
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
eva
l
ue_
r
e
ad
:
only allow terms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
next