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
rdoolaege
ba
r
v
i
nok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
e
g
e
a
dd some tes
t
sets from
it
s
l2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
doc: add latest
(ac
c
e
pted) public
a
t
i
ons
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
r
d
o
o
la
e
ge
Makefile
.
a
m: add se
c
tion_arra
y
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
normalization
.
c
: compute_shift
s
:
r
emove re
d
undant retu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoo
l
a
e
ge
move Free_ParamNames poly
l
ib an
d
make
param
nam
e
s const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdool
a
eg
e
occ: a
d
d interface to ba
r
vinok_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
erdo
o
laege
ex
_
co
n
vert
.
cc: extract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdool
a
ege
doc
:
d
o
cument more
-
-summation methods for ba
r
v
inok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoola
e
ge
option
s
.
c: rename
"bar
v
inok" s
u
mmation meth
o
d t
o
"
b
ox"
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoola
e
ge
Makefile
.
am: c
h
eck-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolae
g
e
summate
.
c:
bar
v
inok_su
m
mate: h
a
ndle prod
u
cts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
Verdoolaege
evalue
.
c:
e
xp
o
rt evalu
e
_r
e
order_t
e
rms
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
berns
t
ein: n
u
meric2value:
fix ty
p
o
t
o
allow cor
r
ec
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verdo
o
laege
util
.
c: Factor
_
Conte
x
t
:
extra
c
ted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rdoolaege
sum
m
ate
.
c: barvin
o
k_summate: ignore fl
o
ors
i
ndependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
o
lae
g
e
evalue
.
c: add
evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
lae
g
e
o
m
e
ga/
o
cc: print barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
doc:
u
pdat
e
so
m
e references
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
do
o
la
e
ge
Make
l
a
urent based summa
t
ion the defa
u
lt
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summate
.
c: b
a
rvinok_summate: handle quasi-polynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoo
l
aege
re
d
u
c
e_evalue: e
x
tract ou
t
e
v
a
l
ue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
evalue
.
c: evalue_shift_variab
l
es:
a
llow shif
t
ing
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
sum
m
ate
.
c: handle
equ
a
lities for all summati
o
n algorithms
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
summate
.
c
:
barvinok_summate:
move comm
o
n par
t
s
of
summa
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
evalue
.
c: e
v
alue_s
u
m:
m
ove
s
ign ha
n
dling into esum_o
v
er
_
domain
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
barvinok_e
.
cc:
enumerate_su
m
: u
s
e ba
r
vi
n
o
k
_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
ege
s
ummate
.
c
:
extract ba
r
vinok_su
m
mate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdool
a
ege
rename s
u
mmat
e
.
cc to
bar
v
inok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
o
laege
evalue
.
c: reduc
e
_evalue: reduce floor w
i
th constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
Add Lauren
t
expan
s
ion based sum
m
ation
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoo
l
aege
evalue
.
c: ex
t
end
eequal
t
o
handle
domains a
n
d NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rd
o
o
l
a
ege
bin
o
mial
.
c:
e
xtract binomial and fac
t
o
rial from eul
e
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erd
o
olaeg
e
p
ower
.
h:
e
xtr
a
ct from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
int
r
od
u
ce ev
a
lue_shift_v
a
riables
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaeg
e
l
a
t
tice_point
.
cc
:
export
r
elat
i
ve_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_p
o
int
.
h: mak
e
sure cor
r
ec
t
evalues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
S
ven
Verdoo
l
ae
g
e
lattice_poi
n
t
.
cc: add ceiling
f
unc
t
ion
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: in
t
ern
a
lize ug
l
y bv_
c
e
i
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sve
n
Verdoolaeg
e
lattice_p
o
int
.
c
c: mul
t
i_monom/lattice_p
o
ints: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
e
n
Verdoolaege
doc: clean u
p
"exponential su
b
stitution" s
e
c
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
dool
a
ege
t
e
s
t
_bo
u
nd
.
cc: a
v
oid lo
s
s of precision c
a
used by con
v
ersion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
oolaege
barvinok_b
o
und:
o
ptionally t
a
k
e
max
i
m
al size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
bar
v
inok_bound: add -
-
iterate options
f
or
e
valuating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
v
e
rify
.
c:
e
xport
f
u
nct
i
ons for
settin
g
and cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verd
o
olae
g
e
verify
.
c:
evalue_opti
m
um: allow compu
t
atio
n
of optim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoo
l
aege
bernstein
.
cc: eval
u
e2
e
x: don't ass
u
me all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
b
ound
.
cc
:
fix call to
evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoola
e
ge
e{add,mul}_periodi
c
s: plu
g
memory leak
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bern
s
tein_coefficients: handle prob
l
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdool
a
eg
e
update p
o
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Ve
r
doolaege
lat
t
ice_wid
t
h
.
c: skip directions
t
hat are ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
olaege
Makefi
l
e
.
am:
add cdd94e-test
to distribu
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
V
erdoolaeg
e
omega/occ: optionall
y
use par
k
er for comp
u
tin
g
cardinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
V
erd
o
olaege
normalization
.
c
: s
k
ew
_
to_p
o
sitive
_
orthant: prope
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc: r
e
lation
2
Domain
:
o
n
ly collect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add dump for dumping in barvinok
_
e
n
u
merate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
b
a
rvinok_enumerate_e: optionally use parke
r
's
method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
s
t
andar
d
_constraints: take co
n
str
a
i
n
t
s
in
s
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ver
d
oolaege
normalizati
o
n
.
c
:
extr
a
ct standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laege
par
k
e
r
/count_
s
ol
u
t
ions
.
c
c
:
fi
x
t
reatme
n
t of existen
t
i
all
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
ae
g
e
compil
e
park
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verd
o
olaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
e
uler
.
cc
:
evalu
e
_
d
eri
v
e: handle
c
onsta
n
t
polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test s
e
ts
from ca
s
es 2004 and cc 20
0
5 papers
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
rename ba
r
vinok_maximize
to barv
i
no
k
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
add a test f
o
r test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoo
l
a
ege
e
value_
r
ange_pro
p
a
g
ation:
r
e
m
ove redundant pol
y
nom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test_bou
n
d: record
n
umber of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: convert qu
a
si
p
olyn
o
mials
to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
test
_
boun
d
: compare
polynomial boun
d
algori
t
hms
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verd
o
olaege
verify
.
c
: op
t
imum: handle i
n
put eva
l
uating
to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c
:
extr
a
ct evalue
_
o
p
timum from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
verify
.
c: extra
c
t common
c
ode fo
r
verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_range_propa
g
ati
o
n: add
m
onotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
l
aege
barvinok_ma
x
imize:
optionally use
(basic
)
range p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
o
o
laege
Add
some
support for d
e
al
i
n
g w
i
th evalues t
h
a
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
vinok_enumer
a
te: s
u
pport us
e
of E
u
ler-
M
aclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
impl
e
m
e
nt Bernoulli_sum as conversio
n
from unweighte
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Berno
u
lli_su
m
_eva
l
ue
:
exploit i
n
teger bo
u
nd
s
to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
bernoulli
.
c: protect shared
evalue
from modificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
test Be
r
nou
l
li
s
u
ms bas
e
d exact
e
numeration
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
ool
a
e
ge
bar
v
inok_count
_
with_options:
comput
e
(exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
B
e
rno
u
lli_sum_
e
valu
e
: opti
o
nally h
a
ndle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
l
attic
e
_point
.
h:
export fractional_part w
i
th
C
linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
lae
g
e
barvinok_enumerate_w
i
th_opt
i
ons: compute (e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_s
u
m_evalue
:
h
a
ndle
e
qual
i
ties
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
a
e
g
e
Bernoulli_
s
u
m
_evalue: cut off some redund
a
nt parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaeg
e
Bern
o
ull
i
_s
u
m
_
evalue: ma
k
e sure no
e
mpty pa
r
t
iti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
Bernoulli
_
s
u
m_
e
value: re
m
o
v
e redundant constrai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
bernoulli
.
c: mi
n
o
r ref
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
Bernoulli_sum: handle
c
ontext c
o
nstra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
for_each_l
o
wer_u
p
per
_
bound: add another ca
l
lbac
k
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
eg
e
verify
.
c: adjust default range to context if
nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
eul
e
r
.
c
c
: summa
t
e_over_domai
n
: only c
o
nsider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
par
a
m_util
.
c: expo
r
t
Param_Vertex_S
e
t_
F
ace
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Par
a
m_Poly
h
edron
_
Facet:
p
ass
facet def
i
ning constr
a
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoo
l
aege
genfun
.
cc: parallel_po
l
ytopes:
d
on't bother
h
and
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_split
_
dom
a
ins_into_orthants: don't
reduce e
v
a
lue
.
.
.
commit
|
commitdiff
|
tree
next