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
euler.cc: evalue_derive: handle constant polynomials
2008-03-31
Sven Verdo
o
lae
g
e
euler
.
cc: evalue
_
derive
:
handl
e
c
o
n
s
tant
pol
y
no
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some tes
t
sets
from cases 2
0
04 an
d
c
c 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
renam
e
b
arvino
k
_ma
x
imize to barvinok
_
bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
add a tes
t
for
t
est_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
eval
u
e_
r
ange_
p
ropa
g
ation
:
remove redun
d
an
t
p
ol
y
nom
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
test_bound: recor
d
number of polyn
o
m
i
als as "si
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test_boun
d
:
convert quasipolynomials
t
o polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
test_bound: comp
a
r
e po
l
ynomi
a
l bound
a
lg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c: optimum
:
handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
:
e
xtra
c
t
evalu
e
_optimu
m
from ma
x
i
m
ize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
ver
i
fy
.
c:
e
xtract common
cod
e
for verify
i
ng operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
e
v
al
u
e_range_propagation: add mon
o
to
n
icity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
b
arvino
k
_maxim
i
ze: optiona
l
ly use (bas
i
c) r
a
n
ge p
r
opa
g
ation
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
Add some suppo
r
t
for dealing with
e
value
s
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdool
a
e
g
e
barvin
o
k_
e
numerate: supp
o
rt us
e
of E
u
ler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
implement
B
e
rn
o
ulli_sum as conversion fro
m
unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Be
r
noulli_sum_evalue: expl
o
it integer bo
u
nds
t
o reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
ke
e
p
t
rac
k
of number of Bernou
l
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoul
l
i
.
c: pr
o
tect shared e
v
alue from modificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
t
est Be
r
noulli sums b
a
sed ex
a
ct
enu
m
erati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaeg
e
barvinok
_
co
u
nt_with_options
:
compute (e
x
act) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
ae
g
e
B
ernoull
i
_sum_evalue:
o
ption
a
lly handle
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
l
attic
e
_
p
oint
.
h
: export fractio
n
al_part with C
l
ink
a
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaeg
e
barv
i
n
ok_enumerate_with_optio
n
s: compute
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_eval
u
e: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
noul
l
i_
s
um_evalue
:
c
u
t off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noul
l
i
_
sum_evalue: make sure no empty
partit
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_eval
u
e: remove redunda
n
t constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoul
l
i_su
m
: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bern
o
ulli_su
m
_eval
u
e: make sure eno
u
gh me
m
o
r
y is allocate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
l
a
e
g
e
for_each_low
e
r_u
p
per_bound:
add another callb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: a
d
ju
s
t defau
l
t rang
e
to c
o
nte
x
t if neede
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: s
u
mmate_over
_
domain
:
only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
o
l
a
e
g
e
param_util
.
c
:
expo
r
t Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
Param
_
Polyhedron_Facet: pass facet defining constrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
gen
f
un
.
cc:
p
arall
e
l_p
o
l
y
topes: don'
t
bo
t
her ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
eva
l
u
e
_spl
i
t_domains_into_ortha
n
ts: don't r
e
duce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
evalue_r
e
ad: o
n
ly
allow term
s
to cross ne
w
lines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdo
o
l
aeg
e
evalue_read: only accept implicit m
u
ltip
l
i
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
value_read:
accept constraints containi
n
g
"'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
aege
evalue_bernstein_coefficien
t
s:
e
nsure resu
l
t partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
bernste
i
n: pi
e
cewise_lst
:
corr
e
ct
l
y
print an
d
ev
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
remove_al
l
_equalities: keep
r
e
m
oving par
a
mete
r
eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoo
l
a
eg
e
update p
o
lyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
d
o
c: cons
i
stent use of Ke
v
in'
s
initial
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc: update
n
ow published p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
for_each_lower_u
p
per_bound
:
all
o
w
absence of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
Revert "eadd_part
i
tions: t
r
y to
c
ombine multi
p
l
e d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaeg
e
evalue_read_partition: put
parti
t
io
n
s back
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven
V
erdo
o
lae
g
e
evalue: reduce
_
evalue: add
note on some
miss
e
d
o
pportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolae
g
e
ber
n
stei
n
.
cc: han
d
le i
n
pu
t
with unions + r
e
lation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
erd
o
ola
e
ge
max
i
mize
.
cc: deal
with uni
o
n
s in i
n
put during
verifi
c
a
t
ion
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdool
a
ege
e
v
alue_substi
t
ute: pro
p
erly handle rel
a
tions
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
evalue
.
c: clean u
p
emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalu
e
_read: correctl
y
read variable
n
a
mes
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalue_read: accept
to
p
level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdool
a
ege
evalue_backsubstitute: add requir
e
d modulo cons
t
raints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolae
g
e
e
value
.
c: *_partitions: simplify constraints
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Verdoolaege
doc: more sp
e
c
i
fic information
on
buggy cddlib vers
i
o
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n
Verdoolaege
configure
.
in
:
require cddlib 0
.
94e by t
e
s
ting fo
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Ver
d
oo
l
a
e
ge
configure
.
in: only compile
o
c
c if code_gen
l
ibr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doo
l
ae
g
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
d
oolaege
add some tests for im
p
lementation of p
r
oj
e
cti
o
n t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdo
o
laege
doc: document new op
t
io
n
s and n
e
w
a
p
p
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolaege
AUTHORS: update su
p
port
i
n
f
o
rm
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
ge
g
e
n
fun
.
cc: sh
o
rt_
r
at::
p
rint: correctly pri
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
E
x
p
ort
s
e
ries as
barvinok_e
n
umer
a
t
e_se
r
i
es and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
remove_parameter_equalit
i
es
:
stop "removing" eq
u
a
liti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
series:
l
eave f
r
eeing o
f
P
argum
e
nt to callin
g
fu
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolae
g
e
doc: document implementation of
t
h
e proje
c
tion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ver
d
oolae
g
e
add ba
r
vinok_enumerate_
e
_series imp
l
emen
t
i
n
g the proj
e
ction
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdo
o
laege
genfun
.
cc: fix and document
p
arallel pol
y
topes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolae
g
e
Only compil
e
zsolv
e
if gcc 3
.
4
o
r
l
at
e
r i
s
available
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
ol
a
ege
Move
GiNaC-indep
e
nden
t
par
t
of librar
y
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
polylib: up
d
ate
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoola
e
ge
doc
:
ho
w
to
c
o
unt the number
of eleme
n
t
s i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoolaege
doc/impl
e
mentation
.
tex:
a
void multip
l
y define
d
label
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
latt
i
ce_width
.
c
: try
v
erti
c
es of
p
r
e
v
i
ous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
doc: d
o
cument integer
h
u
l
l
c
omputation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
h
u
ll
.
c: add all
p
o
i
n
t
s fo
u
n
d
by s
a
mp
l
ing
dir
e
ctly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoolaege
Possib
l
e
optimizati
o
ns f
o
r ge
n
eralized basis
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use o
f
gener
a
l
ized basis redu
c
tion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ol
a
e
ge
add
Polyhed
r
o
n
_Integer_Mini
m
um
for co
m
puting the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
olaege
d
oc: document gen
e
ralized basi
s
reduction bas
e
d
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
do
c
/
b
a
rvin
o
k
.
b
i
b
: add missi
n
g string
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoo
l
ae
g
e
a
d
d more missing assert
.
h #inclu
d
es
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
conf
i
gu
r
e
.
in
:
only compile
l
ibbar
v
inok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
Polyhedron_Reduced_Basis: don't
s
top too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verd
o
olaege
co
m
put
e
_wi
d
th_directions:
only keep
l
i
st of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolae
g
e
zsolve: don't install lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
S
ven
V
erdoolaege
ve
r
sion
.
c: s
h
ow use
o
f
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
ven
Verdool
a
ege
conf
i
gu
r
e
.
i
n: don't
s
et with
_
{
p
o
l
y,pip
}
li
b
_prefi
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Po
l
yhe
d
r
o
n_Sample:
be
satisfi
e
d
w
i
t
h
a reaso
n
able choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
cone_integer_hull
:
optionally pri
n
t s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_r
e
d
u
ction: keep t
r
a
c
k of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaeg
e
options: move --print
-
stats to libr
a
ry
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
bernstein: rework testing framewo
r
k to not
d
ep
e
nd
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ve
r
doolae
g
e
bernstein: add piecewise_l
s
t::is_equal
commit
|
commitdiff
|
tree
next