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
bernstein.cc: evalue2ex: don't assume all periodic tables have the same size
2008-04-08
Sv
e
n Verdo
o
l
a
ege
bernstein
.
cc:
e
value2
e
x: d
o
n't as
s
ume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
bound
.
cc:
f
ix ca
l
l to e
v
alue_conv
e
r
t
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
oolaege
e
{
add,mul}_periodics: plug
m
emor
y
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdo
o
lae
g
e
evalue_be
r
nstein_coef
f
icien
t
s: handl
e
problems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
do
o
laege
upda
t
e pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Verdoolaege
lattice_
w
idth
.
c: skip d
i
re
c
ti
o
ns that are
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
olaege
Makefil
e
.
am: add cdd94e-
t
e
s
t to dist
r
ibution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
omeg
a
/occ: optional
l
y use pa
r
ker for
c
omputing cardi
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
n
orma
l
ization
.
c: skew_t
o
_positive_orth
a
nt: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
omega/convert
.
cc: relation2Domain: only c
o
ll
e
ct set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
o
cc: add
d
ump for dumpi
n
g in ba
r
vinok_enumerate_e
form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolae
g
e
barvinok_
e
numerate_e: option
a
lly use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
sta
n
dar
d
_constraints: t
a
ke constraints inste
a
d
o
f polyh
e
dr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
doo
l
aege
no
r
malization
.
c
:
ext
r
a
c
t
stan
d
ard_constraints fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoola
e
ge
parker/count_solu
t
i
ons
.
cc: f
i
x
t
reatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Ve
r
doo
l
aege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
Add park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
euler
.
cc: evalue
_
derive: hand
l
e
const
a
nt polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaeg
e
a
dd some test sets
f
rom c
a
ses 2004 an
d
c
c
2005 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verd
o
o
l
a
e
ge
rename barvinok_maxi
m
ize to
bar
v
i
n
o
k
_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
add a
t
e
st for
t
est_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oo
l
aege
evalue_
r
a
n
ge_propaga
t
ion: re
m
ove redundan
t
po
l
yno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
tes
t
_bo
u
nd: record number
of poly
n
omials as "s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
t
est_bou
n
d
: convert
q
u
a
sipolynomi
a
ls
t
o
p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
tes
t
_bound: co
m
pare polynomi
a
l b
o
und algorithm
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
verify
.
c: optimum: handle input ev
a
luat
i
n
g to n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
r
if
y
.
c: extract eva
l
ue_optimum from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c: extract comm
o
n co
d
e
f
o
r ver
i
fying oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e
_
range_
p
ropagatio
n
: add monot
o
nici
t
y test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ba
r
v
inok_maximize: op
t
ionally use (basic
)
range
p
r
o
pagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add
some support
f
or
d
ea
l
ing wit
h
evalu
e
s th
a
t represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaeg
e
barvinok_
e
numer
a
t
e: support use of Euler
-
M
aclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
impl
e
ment Bernoulli_su
m
as c
o
n
v
ersion from unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
Bernou
l
li_sum_
e
val
u
e: exploit in
t
eger bounds t
o
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
keep
track of
number
of Be
r
noulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
bernoulli
.
c: protec
t
sh
a
red
evalue
f
r
o
m modi
f
i
c
ations
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernoull
i
sums based
e
xact e
n
umeration
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
b
arvinok_
c
o
u
nt_w
i
th_options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bern
o
ulli_sum_evalue: optionally
hand
l
e fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
lattice_p
o
int
.
h: ex
p
ort fracti
o
nal_part
with C linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumer
a
te_w
i
th_op
t
ions: co
m
pute
(
e
xact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli_sum_evalue: han
d
l
e
eq
u
alities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_su
m
_evalue: c
u
t off s
o
m
e
redundant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum
_
evalue:
m
ake sure no
empty
partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
a
e
ge
B
ernoulli_sum_eval
u
e:
r
emo
v
e redundant
c
o
n
strain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernou
l
li
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdo
o
laege
Bernoulli_su
m
: han
d
l
e
c
o
ntext con
s
traints
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Ber
n
oulli
_
sum_evalue: ma
k
e sure enough memory
is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each
_
lower_u
p
pe
r
_bound: ad
d
a
n
othe
r
callba
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
:
adjus
t
default range to context
if n
e
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
euler
.
cc: summate_over_doma
i
n: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
param_uti
l
.
c: exp
o
rt
P
aram_Vertex_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
P
aram_
P
olyhedron_Facet: pas
s
facet
d
efining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
genfun
.
cc: parallel_po
l
ytop
e
s: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
e
v
a
lue_split_domains_into_ort
h
ant
s
: don
'
t reduce e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoo
l
aege
evalue_r
e
ad: only a
l
low term
s
to cross newl
i
nes ins
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_re
a
d: only
a
ccep
t
im
p
licit
m
ult
i
p
l
i
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue
_
read: accept constraint
s
containing "'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ev
a
lue_bernstein_co
e
fficients: ensure result parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doola
e
ge
b
e
rnstein:
piecewise_lst: c
o
rrec
t
l
y
print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
rem
o
v
e
_all_equalities: k
e
e
p
removing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
d
o
c: co
n
sistent
u
se of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update
now published
pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
for
_
each_low
e
r_upper_bound: a
l
low absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
Revert "eadd_part
i
ti
o
ns: try to
c
o
m
bine
m
u
ltiple
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Verdo
o
laege
evalue_read_pa
r
titio
n
: put par
t
i
t
ion
s
b
a
c
k
in th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
l
a
e
g
e
evalue: red
u
ce_evalue: a
d
d
n
ote on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
g
e
bernstein
.
cc: handle input
with u
n
ions + relatio
n
v
i
ola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaeg
e
maximize
.
cc: deal with unions
i
n
i
npu
t
durin
g
verifi
c
ation
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
u
e_substitu
t
e: pr
o
p
e
rly handle
r
elatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
e
value
.
c: clean
up
emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
rdool
a
ege
evalue_read: correctly rea
d
variable
n
am
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: acce
p
t top level
"relat
i
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue
_
backsubstitute: add
r
equired modulo co
n
stra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
erdo
o
laege
evalue
.
c:
*_partiti
o
n
s
: simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolaege
doc: mor
e
spec
i
fic
information o
n
bugg
y
cddl
i
b ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaeg
e
c
onfigure
.
in: require
c
d
d
l
i
b 0
.
94e by
testing f
o
r b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
c
onfi
g
ure
.
in: o
n
ly
c
ompile occ
i
f cod
e
_
ge
n
l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
g
e
barv
i
nok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
add some tests for implementation
o
f projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoola
e
g
e
d
oc:
docum
e
n
t
new options an
d
new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS:
u
pda
t
e
suppor
t
i
nformation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
g
enfun
.
cc: short
_
rat::print:
correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
ege
Export series
a
s
b
arvin
o
k_enumera
t
e_seri
e
s a
n
d use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
re
m
ove_parameter_equaliti
e
s
: s
t
op "remov
i
ng" eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
o
olae
g
e
seri
e
s:
leav
e
fre
e
ing o
f
P ar
g
ument to c
a
ll
i
ng f
u
nct
i
on
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdoola
e
g
e
doc: doc
u
m
e
nt implementation of t
h
e pro
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
ad
d
barvinok_enumera
t
e
_
e_series impleme
n
ti
n
g
the
p
roj
e
cti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdoolaege
gen
f
un
.
cc: fix a
n
d documen
t
p
arallel
p
ol
y
t
opes cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
o
olaege
O
n
ly c
o
mpile z
s
o
l
ve if
g
c
c 3
.
4 or la
t
er is a
v
ailable
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
Move GiN
a
C-independ
e
nt part of library
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolaege
po
l
ylib: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
Sven
Ve
r
dool
a
ege
doc: how to count
t
he
nu
m
ber o
f
elements in p
o
ssib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n
Ve
r
doolae
g
e
d
o
c/implement
a
tion
.
t
e
x: avoid multipl
y
defined label
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verd
o
o
l
a
ege
lattice
_
width
.
c: try vertice
s
o
f
previo
u
s
integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc: document in
t
eger h
u
ll
computation
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
e
rdo
o
laege
hul
l
.
c: add all points found by samplin
g
d
i
r
ectly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
dool
a
ege
P
o
s
s
ible op
t
i
mizations for
g
enera
l
ized basis r
e
duction
.
.
.
commit
|
commitdiff
|
tree
next