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
V
erdoolaege
euler
.
cc
:
evalue
_
derive
:
handle constant poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
add som
e
tes
t
sets from cas
e
s 2004 a
n
d cc 200
5
pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
rename
barvino
k
_maximi
z
e
to b
a
rvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ad
d
a test for tes
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propagat
i
on: remove r
e
dundant
polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
test
_
boun
d
: r
e
c
o
rd
n
umber of
p
olynomials as
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est_bound
:
convert quasipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
do
o
laege
tes
t
_
bound: compare p
o
lynomi
a
l boun
d
algorit
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verify
.
c: optim
u
m: handle
input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaeg
e
verify
.
c: extra
c
t
evalue_opt
i
mum f
r
om maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
eg
e
verify
.
c: e
x
tract common cod
e
for ver
i
f
y
i
n
g o
p
erat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
evalue_range_prop
a
ga
t
ion: add monoton
i
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
barvino
k
_maximize: opt
i
onally use (basic) ran
g
e
p
ro
p
ag
a
t
ion
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
Add s
o
m
e support f
o
r deal
i
ng w
i
th e
v
alues t
h
a
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
barvinok_
e
numerate: suppo
r
t use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
implem
e
nt Ber
n
oulli_sum a
s
con
v
ers
i
on from unwei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_s
u
m_evalue: expl
o
it integer bou
n
ds t
o
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track
of
n
umber of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: pr
o
tect shared evalue fr
o
m modifications
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaeg
e
test Bernoulli sums
based
e
x
act enumeration
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
barvinok_coun
t
_with_
o
ptions:
compute (ex
a
ct) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_s
u
m_eva
l
ue: op
t
ionally hand
l
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h
:
exp
o
r
t fr
a
ctional_p
a
rt
w
ith C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
barvin
o
k_enumerate_with_op
t
ions: c
o
mpute (exact)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oulli_sum_eva
l
ue: handle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
B
ernoulli_
s
um_evalue: cut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
B
e
rnoulli_sum_evalue: make s
u
re no empty
partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
eg
e
Bernoulli_sum_evalue:
r
emov
e
re
d
unda
n
t c
o
n
straint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
b
e
rnoulli
.
c
:
mino
r
r
e
factoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
B
erno
u
l
l
i_sum:
h
andle context con
s
trai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
e
ge
f
o
r_each_low
e
r_upper_bo
u
nd:
a
dd a
n
other cal
l
b
a
ck
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c: adju
s
t
default
range t
o
c
ontext if
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
eu
l
er
.
cc: summate
_
over_domain:
o
n
l
y consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
p
aram_u
t
il
.
c: e
x
port Para
m
_Vert
e
x_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
Param_Polyhedron_Facet: pass facet defini
n
g
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
genfun
.
cc: parall
e
l_pol
y
topes: do
n
'
t
bother handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
g
e
ev
a
lue_sp
l
it_domains_into_o
r
than
t
s: don't
reduce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
evalue_read: only all
o
w
term
s
to cross
n
ewline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
evalue
_
r
ead
:
only acc
e
pt implicit
m
ultiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
eval
u
e
_r
e
ad: a
c
cept constrain
t
s
containing "'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
evalue_berns
t
ein_coefficients:
e
nsure result partiti
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
b
ernstein:
p
i
ecew
i
se_l
s
t: correctly print
a
n
d evalua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
remo
v
e_all_equalities: keep remov
i
ng parameter equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update
polylib
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Verdo
o
laege
doc
:
consistent
use
of Kevin's
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
erdoolaege
doc:
u
pdate now publ
i
shed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
ae
g
e
fo
r
_each_lower_uppe
r
_bound
:
allow abse
n
ce of
l
ow
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
e
ge
R
evert "ead
d
_
partitions
:
t
ry to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
e
v
alue_
r
e
a
d_p
a
rtition: p
u
t part
i
t
ions back
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
evalue
:
reduce_
e
value: a
d
d
note on
s
ome missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
b
e
rnstein
.
c
c: handle
i
n
put with unions + relation violat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verd
o
olaeg
e
ma
x
imize
.
cc:
d
eal
w
i
t
h
unio
n
s in i
n
put during ve
r
ifi
c
ation
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalue_sub
s
titut
e
: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue
.
c: clea
n
u
p
emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
val
u
e_read
:
correctly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue_
r
ead: accept
to
p
level
"
relat
i
on
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Verdoolae
g
e
evalu
e
_
b
acksubstitute:
add required
modu
l
o constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
e
v
alue
.
c
: *_
p
artitions: s
i
mplify c
o
nstraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoola
e
ge
doc: more specifi
c
information on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
S
ven Verdoolaege
configure
.
in: require cddlib 0
.
94e by
t
esting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoola
e
ge
configure
.
in: o
n
l
y
c
o
mpile occ if code_
g
en
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
oolaege
ba
r
v
i
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add som
e
t
e
s
t
s
f
or im
p
lementation of projecti
o
n theore
m
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verd
o
ol
a
eg
e
doc: d
o
cument ne
w
op
t
i
ons
a
nd new appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
AU
T
HORS:
update supp
o
rt
i
nformation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
genfun
.
cc: short
_
rat::pr
i
nt: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
dool
a
ege
Export series as barvinok_enumerat
e
_series
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoolaege
remove_p
a
r
a
meter_eq
u
alit
i
es: st
o
p "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoola
e
ge
series:
l
eave freeing of P argument to calling functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oo
l
aege
doc: d
o
cum
e
nt imple
m
entation of the proje
c
tion theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
ae
g
e
add barvi
n
ok_enumerat
e
_e_series implem
e
nti
n
g
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: fix and document par
a
llel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
Move G
i
NaC-indep
e
n
d
ent pa
r
t of l
i
brary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
poly
l
ib: up
d
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
d
oolaeg
e
doc: h
o
w to count the num
b
er of element
s
in p
o
ssib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
laege
d
oc/im
p
leme
n
tation
.
tex: a
v
oid
m
ultiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
lattic
e
_width
.
c
:
try vertices
o
f previou
s
int
e
ger
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
d
o
c: document integ
e
r hull
c
omputation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
h
ull
.
c: add all points
fou
n
d by s
a
m
pling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdo
o
l
ae
g
e
Poss
i
ble op
t
imizations for generalized
b
asis
r
eduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
doo
l
a
ege
Suppo
r
t use o
f
genera
l
i
z
ed basis
re
d
uc
t
ion to
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
dool
a
ege
ad
d
Polyhedron_Integ
e
r_Min
i
mu
m
for comput
i
ng the i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc: document
g
eneralized b
a
s
is reduction ba
s
e
d
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
d
oc/barvi
n
ok
.
b
i
b:
a
dd
m
i
ssing stri
n
g
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n
V
erdoolaege
add more missing
a
ssert
.
h
#
includes
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
r
d
oolaeg
e
conf
i
gure
.
in: only
compi
l
e
l
ibbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
r
d
oolaege
Polyhe
d
ron_Reduced_Basis: don't stop
too early whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdoolaege
compute_width_directions: only keep
list of
d
ist
i
n
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
z
solve: don't inst
a
ll libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c
:
show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoola
e
ge
configure
.
i
n
:
don't set
w
ith_{poly,p
i
p}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
P
o
l
y
hedro
n
_Sam
p
le: be satis
f
ied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ve
r
d
oo
l
aege
cone_integer_
h
ull: optionally print st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
b
asis
_
reducti
o
n:
keep track of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoo
l
aege
optio
n
s: mo
v
e --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
e
rnste
i
n: rework te
s
ting framework to not depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
bernstein: add pi
e
cewise_lst:
:
i
s
_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
r
doolaeg
e
s
u
pport newer versions of GiNaC (>=
1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
standa
r
d_con
s
tra
i
nts:
move from to
p
com
.
c to
p
olysign
.
c
commit
|
commitdiff
|
tree
next