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
lattice_point.cc: add ceiling function
2008-04-24
Sven V
e
rdoolae
g
e
latti
c
e
_point
.
cc: add ceiling f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
u
til
.
c: in
t
er
n
a
lize ugly bv_ce
i
l3
commit
|
commitdiff
|
tree
2008-04-17
Sven
V
e
rdo
o
laege
l
att
i
ce_poin
t
.
c
c
: mul
t
i_monom/lattic
e
_
point
s
: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdo
o
laege
doc:
c
lean
u
p "e
x
p
onential s
u
b
stitution"
s
ectio
n
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
test_
b
ound
.
cc: avoid lo
s
s of precision caused by conv
e
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvi
n
o
k
_bound: option
a
lly t
a
ke maxim
a
l
s
ize of d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
barvinok_bound: a
d
d --iterate options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erd
o
olaege
verify
.
c: exp
o
rt funct
i
ons fo
r
setting and clearin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
v
erify
.
c
: e
v
alue_op
t
i
mum: allow computation of op
t
imum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoola
e
ge
bernstein
.
cc:
e
value2ex: d
o
n't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc: fix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
dool
a
eg
e
e
{
add,mul}_periodics: pl
u
g memo
r
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoolaeg
e
evalue_
b
e
r
nste
i
n_coeffi
c
ients: han
d
le problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoola
e
ge
upd
a
te po
l
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
erdoolaege
latt
i
ce_width
.
c: skip
d
i
r
ections that a
r
e
iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
e
n Ver
d
ool
a
e
ge
M
a
k
e
f
i
le
.
am:
a
d
d
cdd94e-test
t
o
d
istribut
i
on
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ: option
a
lly use parker
for computing card
i
nalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ve
r
doola
e
ge
normalizatio
n
.
c:
s
k
e
w
_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verd
o
olaeg
e
o
m
ega/convert
.
cc
:
r
el
a
tio
n
2Do
m
ain: on
l
y
coll
e
ct
s
et
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rd
o
o
la
e
ge
occ: add dump for dumping i
n
ba
r
vinok_enumerate
_
e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
g
e
b
a
rvinok
_
e
numerat
e
_e: optionally
u
se parker's
method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
standa
r
d_constraints:
take
c
onstraints inst
e
ad of polyhe
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
e
g
e
norma
l
izat
i
on
.
c: extract standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaege
p
a
r
ker/coun
t
_solut
i
ons
.
cc:
fix treatment
o
f exist
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
e
rdo
o
laege
c
ompile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Add
parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
e
u
ler
.
cc: ev
a
lue_derive:
h
andle
c
onstant polyno
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
add some test sets from cases 20
0
4 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaeg
e
rena
m
e barvinok
_
maximi
z
e to b
a
rvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
add
a
test
f
or te
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolae
g
e
eva
l
ue
_
range
_
propagation: remov
e
redun
d
ant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test_bound:
r
ecord
n
umber of
p
olynomials as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
t
est_bou
n
d:
c
onv
e
rt quasipol
y
nomials to
p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
tes
t
_bound: compare polynom
i
a
l
b
ound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c: op
t
i
mu
m
: handle
inp
u
t
evaluating to negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
v
e
r
if
y
.
c: extr
a
ct evalue_opt
i
mum from m
a
ximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
ve
r
ify
.
c: extract common code f
o
r
v
erifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propag
a
tion: add mono
t
o
n
i
city test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
barvinok_maximize: o
p
tionally use (
b
asic) range
p
r
o
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
Add so
m
e
support fo
r
dealing with evalues that r
e
present
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_
e
numerate: su
p
p
o
r
t use
of Euler-M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
implemen
t
Bernoulli_sum as conversion f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
B
ernoulli_sum_eval
u
e:
e
xploit in
t
eger bounds to re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
o
laeg
e
keep track
of numbe
r
of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoull
i
.
c: pr
o
te
c
t shared eval
u
e
from mo
d
ificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
test Berno
u
ll
i
su
m
s b
a
sed exact enum
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
e
ge
barvinok_count_
w
ith_
o
ptions:
compu
t
e (exact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
l
a
ege
Bernoull
i
_sum_e
v
a
lue: opti
o
nally h
a
nd
l
e
f
ra
c
tio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
lattice_po
i
nt
.
h:
export fract
i
o
nal_part wi
t
h
C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barv
i
nok_enume
r
ate_with_options: comp
u
te
(e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
Bernoulli_sum_eva
l
ue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
B
e
rnoulli_sum
_
evalu
e
: cut off so
m
e redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oola
e
ge
Bernoulli_sum
_
evalue: make sure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_ev
a
lu
e
:
remove redundant constrai
n
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
b
e
rnoulli
.
c: minor refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
ernoulli_sum
:
handle context constrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
eg
e
Bernoulli_s
u
m_
e
v
a
lue: make sure enough mem
o
ry is allo
c
ate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
for_eac
h
_lowe
r
_
upper_bo
u
nd
:
ad
d
another
c
a
llb
a
ck
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
r
d
oolaege
ver
i
fy
.
c: adjust defa
u
l
t
range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eul
e
r
.
cc: s
u
mmate_over_domain: only
c
onsider actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdo
o
laege
param_util
.
c: export Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
P
aram_Polyhedron_Face
t
: pass f
a
cet defin
i
ng
cons
t
rain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
cc: parallel_po
l
ytope
s
: don't b
o
ther hand
l
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
eva
l
ue_
s
plit_dom
a
i
n
s_into_
o
r
th
a
nts
:
d
on
'
t
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_read: only
allow terms to cross newl
i
nes inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
evalue_read: only a
c
cept impli
c
it multiplicat
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_read:
a
cc
e
p
t constraints containing "'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rd
o
ol
a
ege
evalue_b
e
rnstein
_
coeff
i
c
i
ents:
e
ns
u
re result partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
bernstein
:
piecewise
_
lst: c
o
rrectly
p
rint and eval
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
g
e
remo
v
e_all_
e
qu
a
lities
:
ke
e
p
r
em
o
v
i
ng
p
arame
t
er equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
d
o
olaege
doc: consi
s
t
e
n
t
use of Kevin's initial
s
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
doc
:
update now
p
ublished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_up
p
e
r
_bound: allow absence of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoola
e
ge
Re
v
ert "eadd_partitions: try to
com
b
i
n
e multiple domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdool
a
ege
evalue_read_par
t
ition: put partitions back i
n
th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
l
ue:
r
e
duce_evalue: a
d
d note
on some missed opp
o
rtun
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdo
o
laege
bernstei
n
.
cc: han
d
le in
p
ut with unions + relation violat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
m
a
x
imize
.
c
c
:
deal with unio
n
s
i
n
input during verification
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdoolaege
ev
a
lue_substitute: pro
p
e
r
ly
h
andle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
r
d
o
olaege
e
v
alue
.
c: clean up emul and
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalu
e
_read
:
c
orrectly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
va
l
ue_rea
d
: accep
t
top level
"relation"
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Verdoolaege
eval
u
e
_backsubstitute: add
r
equired modulo con
s
train
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven
Verdo
o
l
a
e
ge
evalue
.
c: *_pa
r
tit
i
ons: simplify
c
o
n
straints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n
Ve
r
d
o
ola
e
ge
doc: more specif
i
c inf
o
rmati
o
n on buggy cdd
l
ib ve
r
si
o
ns
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n Verdoolaege
config
u
re
.
in:
requi
r
e cdd
l
i
b 0
.
9
4
e by
t
esting
f
or
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configur
e
.
in: only compile occ
if c
o
de
_
gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
a
d
d some t
e
s
ts fo
r
implementation of pr
o
jection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
doc: document
n
e
w options and new app
l
ic
a
tions
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
ge
AUT
H
O
R
S: update su
p
port information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: short_rat::pri
n
t:
c
orrect
l
y pri
n
t polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolae
g
e
E
x
p
o
rt serie
s
as barvinok_enumerate_series and
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
remove_
p
arameter_equalities: stop
"
re
m
oving" equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series:
l
eave freeing o
f
P argument
to call
i
ng function
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
d
oc
:
document im
p
lem
e
ntation of the projec
t
i
on theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add barvinok
_
enumerate
_
e_ser
i
e
s
im
p
lement
i
ng the projec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
ge
n
fun
.
cc: fix an
d
docu
m
e
nt
p
ar
a
llel pol
y
t
opes cla
s
s
commit
|
commitdiff
|
tree
next