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
util.c: internalize ugly bv_ceil3
2008-04-24
S
ven
V
erdoolaege
uti
l
.
c
:
internalize ugly b
v
_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoo
l
a
e
ge
la
t
tice_point
.
cc: multi_monom/lattice_point
s
: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoo
l
a
ege
do
c
: clean up
"
e
xponential substit
u
tion"
s
ection
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
a
e
g
e
test
_
bo
u
n
d
.
c
c:
a
v
o
id loss of precision cau
s
ed by
c
o
nversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
barvinok_bo
u
n
d
: optionally
take m
a
ximal size of domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
barvinok_bound: add --iterate options for e
v
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoola
e
ge
verify
.
c: export
f
u
nctions fo
r
setting
and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
v
er
i
f
y
.
c: evalue_optimum:
allow comput
a
tion of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoolaeg
e
berns
t
ein
.
c
c: evalue2ex:
don
'
t assume all peri
o
di
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
b
ound
.
cc: f
i
x call to
e
v
alue_con
v
e
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add
,
m
u
l}
_
periodics
:
plug memory
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ve
r
doolaege
evalue_bernstein_coeffi
c
ients: handle problems
w
ith
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Verdoolaege
lattice_width
.
c: s
k
ip directions that are
i
dentic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdoolaege
Makefil
e
.
am:
a
dd cdd94e-
t
e
s
t t
o
distrib
u
tion
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ve
r
d
oolaege
o
mega/occ:
o
ptionally use pa
r
ker fo
r
c
o
mputing
c
ardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
normalizatio
n
.
c: skew_to_pos
i
tive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdool
a
ege
omega
/
con
v
ert
.
cc: relation2
D
oma
i
n: only coll
e
c
t set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olae
g
e
oc
c
: add dump for
d
u
m
ping i
n
barvi
n
ok_enu
m
erate_e f
o
r
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
barvino
k
_
e
n
u
merate_e: optionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
stand
a
rd
_
constrai
n
ts: ta
k
e
c
o
nstraints in
s
tead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
normalizat
i
on
.
c: ex
t
r
act standard_c
o
nstrai
n
t
s
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoolaege
parker/co
u
nt_so
l
utions
.
cc: fix
treatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
compile p
a
rke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add
p
arker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
euler
.
cc: eva
l
ue_derive
:
handle constant
p
olyno
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
add
s
ome test sets from cases
2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolae
g
e
rename barvi
n
o
k_maximize to
barvino
k
_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rd
o
olaege
add a test for
t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_range_propagation: r
e
move
redundant polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
r
doolaege
test_bound: r
e
cord
n
umber of p
o
lynomials
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
te
s
t_bound: c
o
nvert quasipolyno
m
ials to polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_b
o
und: compare polynomial bound al
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum: handle inpu
t
e
v
aluatin
g
to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
verify
.
c:
ext
r
act evalue
_
optimum
fr
o
m max
i
mize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
ve
r
ify
.
c: ext
r
act common code f
o
r verifyin
g
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaeg
e
e
v
alu
e
_ra
n
ge_prop
a
ga
t
io
n
:
add m
o
n
otonic
i
ty t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
b
a
rvinok_max
i
mize:
o
pt
i
ona
l
l
y use
(basic) range pro
p
agatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Add some
s
upport
for dea
l
ing with
evalues that represen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
barvinok_enumer
a
te: support use
o
f Euler-Ma
c
l
a
ur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdool
a
ege
i
mp
l
ement Bernoulli_sum as conve
r
s
i
on from un
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum_evalue:
explo
i
t
intege
r
bounds to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
eg
e
keep
t
r
a
ck of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bern
o
u
l
li
.
c: pro
t
ec
t
shared evalue
from
m
odific
a
t
i
o
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernoulli
sums b
a
sed exact enume
r
ation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
o
l
aeg
e
barvinok
_
co
u
nt_
w
ith_options: compute (exa
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
B
e
rnoulli_sum
_
evalue: optionally handle fracti
o
na
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
lattice_point
.
h: export
fra
c
tional_part
wi
t
h
C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_enumerat
e
_with_options: co
m
pute
(
e
xa
c
t) Be
r
noul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdo
o
laege
Bernoulli_sum
_
e
v
a
l
u
e
:
h
andle e
q
uali
t
ies
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum_evalue: cut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_s
u
m
_evalue:
m
ak
e
sure no emp
t
y par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olae
g
e
Bernou
l
li_sum_eval
u
e: r
e
mov
e
re
d
und
a
n
t constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
bernoulli
.
c: minor refact
o
ring
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoull
i
_sum: hand
l
e
c
o
n
text constraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
f
or_each_
l
o
w
er_up
p
er_bound: add another ca
l
lba
c
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
ol
a
ege
veri
f
y
.
c: adj
u
st default range to context
if neede
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdo
o
laege
e
ule
r
.
cc
:
summate_ove
r
_
dom
a
in: onl
y
cons
i
der
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
par
a
m_util
.
c:
export Param_
V
er
t
ex_Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Param_Polyhedron_Facet: pass facet defini
n
g con
s
t
r
aint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
genfun
.
cc: par
a
llel_polytopes: do
n
'
t both
e
r ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doo
l
aege
evalue_split_domains_into_orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
eva
l
ue
_
read: only al
l
ow terms to cross newl
i
nes inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: onl
y
acc
e
p
t
imp
l
icit multiplic
a
tio
n
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue_re
a
d: accept
constraints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
e
v
a
l
ue_
b
ernste
i
n_coefficients: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoola
e
ge
be
r
nstein:
p
iece
w
ise
_
l
st: corre
c
tly
p
rint and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdo
o
laege
re
m
ove
_
a
ll_
e
qua
l
itie
s
: keep removing p
a
rameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rdool
a
eg
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
doc
:
co
n
sistent
u
s
e
of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update
now p
u
b
lished pa
p
e
rs
commit
|
commitdiff
|
tree
2008-03-24
S
ven V
e
r
doolaeg
e
for_each_lower_upper_bound: all
o
w
a
bsence of lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "eadd_par
t
itio
n
s: try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
ol
a
eg
e
e
v
a
lue_
r
ead_partition:
p
ut partition
s
back
i
n th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
e
v
alu
e
: r
e
duce_e
v
alue: add note o
n
s
o
me missed
opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
o
ol
a
ege
bernstein
.
cc: h
a
ndle input with
u
n
i
ons + rel
a
tion vi
o
l
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verd
o
ola
e
g
e
maxi
m
i
z
e
.
cc: dea
l
wi
t
h unions
i
n input d
u
ring
ver
i
ficatio
n
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
e
value_su
b
stitute: properly handle
r
e
la
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
r
d
o
ola
e
ge
evalue
.
c: cl
e
an up emu
l
and ea
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalue_read: co
r
rectly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
ue_rea
d
: accept top le
v
el "r
e
lation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doola
e
g
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
Verdoolaege
evalue_backsubstitute: add required
modul
o
c
ons
t
r
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n Verdoolaege
e
value
.
c: *_partitions: simplify
c
onstraints b
e
f
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
e
r
dool
a
ege
d
oc: more specific information
on
b
uggy cd
d
lib vers
i
o
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
configu
r
e
.
i
n: req
u
ire cdd
l
ib 0
.
9
4
e by testing
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaeg
e
configure
.
in: only compile occ i
f
code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
olaege
barvinok
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
add some tests for implementation of pro
j
ectio
n
t
heore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
d
ocumen
t
new opti
o
ns and ne
w
ap
p
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdool
a
ege
AUTHORS
:
upda
t
e support info
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
c
c
: short_rat::prin
t
: correct
l
y pri
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ve
r
dool
a
ege
Export serie
s
as barvinok_enumerate_se
r
ie
s
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remo
v
e_paramet
e
r_equalities:
s
top "removing" eq
u
ali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
series: leav
e
free
i
ng of P argum
e
nt to calling fu
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
o
c: document implem
e
ntatio
n
o
f th
e
p
r
oj
e
c
t
ion
t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolaege
a
d
d
barvinok_enumerate_e_series i
m
plementing the proje
c
tio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoola
e
g
e
ge
n
fun
.
cc: fix an
d
d
ocumen
t
p
arallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
Move
G
i
NaC-independent
pa
r
t of library to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
pol
y
li
b
: update
commit
|
commitdiff
|
tree
next