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
verify.c: evalue_optimum: allow computation of optimum in 0D domain
2008-04-08
Sven Verdoolaege
verify
.
c: evalue_optimum:
a
llow
compu
t
ation of
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
be
r
nstein
.
cc: evalue2ex: don'
t
ass
u
me all p
e
riodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
bound
.
cc:
fix c
a
ll
to eva
l
ue_convert
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verd
o
olaege
e{add,m
u
l}_periodics: plu
g
memo
r
y le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolae
g
e
eva
l
ue_b
e
rnstein_coefficients: handle
probl
e
m
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
upda
t
e
poly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
l
a
tt
i
ce_wid
t
h
.
c: skip
directio
n
s th
a
t are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n
V
er
d
oolaege
M
akefile
.
am: add cdd94e-
t
est to dis
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
dool
a
ege
o
mega/o
c
c:
optionally
u
s
e parker
for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rd
o
ola
e
ge
normalizatio
n
.
c: sk
e
w_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
omeg
a
/
convert
.
cc
:
re
l
atio
n
2Dom
a
in
:
only col
l
ect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
occ: a
d
d dump for d
u
mping in barvin
o
k_enumerat
e
_
e
form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
b
arvinok_
e
numerate_e: opti
o
nal
l
y u
s
e
parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
standard
_
constraints
:
t
a
ke constr
a
ints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
norma
l
iza
t
ion
.
c: extrac
t
standard_constraints
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdo
o
laege
parker/c
o
unt_solutions
.
c
c: fix tr
e
atment
o
f ex
i
stentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
c
ompile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Add
par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
u
ler
.
cc: evalue_derive: handle con
s
tant poly
n
o
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
add some test sets from cases
2004 and cc 2005 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
re
n
a
m
e barvinok_ma
x
imize to barvinok
_
bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
a
test f
o
r test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalu
e
_range_pr
o
pagation: re
m
ove red
u
n
d
an
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: record num
b
er
o
f p
o
lynomials as "s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
test_bound: convert quas
i
polynomials to
polynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
test
_
bound: compare polynomial boun
d
al
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ve
r
ify
.
c: optimu
m
: han
d
le
i
nput evaluating to negativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
extract evalue_opti
m
um from
maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoo
l
aege
verif
y
.
c: ex
t
ract common code f
o
r verif
y
i
ng operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_ra
n
ge_p
r
o
pa
g
a
t
ion:
add monotonic
i
ty
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barv
i
nok_maxim
i
ze
:
o
p
tionally
u
se (b
a
sic) range propaga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Add some
suppo
r
t for
de
a
ling with eva
l
ues
that
r
epresen
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvinok_enumera
t
e:
su
p
port use of
E
uler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
d
o
o
l
a
eg
e
imp
l
eme
n
t Bernoulli_sum as conve
r
si
o
n from unwei
g
h
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
B
ernoul
l
i
_sum_evalue: e
x
ploit integer bounds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
g
e
keep track of n
u
mber
o
f Be
r
noulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
b
e
rn
o
ulli
.
c:
p
rotect sh
a
red evalue from modi
f
i
catio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
test
B
ernoulli sums based
exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barvinok_co
u
nt_with_opt
i
ons:
compute (exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eval
u
e:
optio
n
al
l
y
handle fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
l
at
t
ice_point
.
h: export f
r
actional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolae
g
e
ba
r
vin
o
k_enumerate_with_options
:
compute (exact)
B
er
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
B
e
rnoulli
_
sum_evalue: handle equalitie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalu
e
: cut off some red
u
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoul
l
i_sum_e
v
a
lue:
m
ake sur
e
no
e
mpty partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Berno
u
l
li_sum_evalue:
r
emove redundant co
n
s
t
r
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ve
r
doolaege
bernou
l
li
.
c:
m
inor re
f
actor
i
ng
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
B
e
rn
o
ulli_sum: handl
e
contex
t
constraints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
Bernoulli
_
sum_evalue
:
m
a
ke sure enou
g
h memory i
s
all
o
cated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
for
_
each_lower_upper_bound
:
add ano
t
h
er callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
ve
r
if
y
.
c
: adjus
t
default ran
g
e to
co
n
text if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
eul
e
r
.
cc: summate_over_dom
a
in: only
con
s
ider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
do
o
l
a
e
g
e
param_
u
til
.
c
:
export Par
a
m_Vertex_Set_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
P
a
ram
_
Polyhedron_Fac
e
t: pa
s
s
f
acet d
e
f
ining
c
onst
r
aint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
genfu
n
.
cc: parallel_
p
olytopes: don't bother
h
andling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ola
e
ge
eva
l
ue_s
p
lit_domains_into
_
or
t
hants: don't
r
ed
u
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
e
v
alue_
r
ead: onl
y
al
l
ow terms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
lae
g
e
evalu
e
_read: only a
c
cept i
m
plicit mult
i
plicat
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erd
o
olae
g
e
evalue_
r
ead
:
accept
co
n
straints
c
ontainin
g
"'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
l
u
e
_
bernstein_coeff
i
c
i
ents:
ensure resul
t
partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
ber
n
s
t
ein: pi
e
cewise_lst:
c
orrectly print
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
a
e
ge
remove_all_equalities
:
keep remov
i
ng parameter equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
upd
a
te p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
doc: consistent use of Kevin'
s
initia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
o
c: update now p
u
blished pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
oolaege
for_each
_
lo
w
e
r_upp
e
r_bound: al
l
ow ab
s
e
n
ce of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
e
g
e
Re
v
e
r
t
"eadd_partitio
n
s
:
try to comb
i
ne
m
ul
t
iple do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
ev
a
l
u
e_rea
d
_par
t
it
i
on:
put
partitions
b
a
ck in the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
r
d
oolaege
evalue
:
reduc
e
_evalue: add note o
n
som
e
missed opp
o
rt
u
nities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
bern
s
tei
n
.
c
c
: handle input
wit
h
unions + re
l
ation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
maximize
.
cc:
d
eal with unions in in
p
ut during verification
commit
|
commitdiff
|
tree
2008-03-10
S
ven V
e
rdoolaege
evalue_
s
ubstitute: p
r
operly ha
n
d
le relations
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
Verdoolaege
evalue
.
c: clean up emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oo
l
aeg
e
eval
u
e_read:
correctly rea
d
variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
e
v
alue_read: accept top level "re
l
ati
o
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
e
value_backsubstitute: add req
u
ired modulo constr
a
ints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c: *_pa
r
t
i
tions: simplify c
o
nstraints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
Verdoolaege
d
o
c: more specific i
n
f
orma
t
ion on bu
g
gy
cd
d
lib versions
commit
|
commitdiff
|
tree
2008-01-28
S
ven
V
erdoola
e
ge
c
o
nf
i
gure
.
i
n
: r
e
quire cddli
b
0
.
94e b
y
testing for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
c
onfigure
.
in:
o
n
l
y comp
i
le
o
cc
if code_gen l
i
brary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdo
o
la
e
ge
bar
v
inok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add som
e
t
ests for i
m
plemen
t
at
i
on of p
r
oject
i
on
theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
doc: document
n
ew options
and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: update
s
upport
i
nform
a
ti
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdoola
e
ge
genfun
.
cc:
s
hort_
r
at:
:
print: correc
t
ly pr
i
nt polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaeg
e
E
x
port series a
s
b
a
rvinok_en
u
m
erate_
s
eries
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_eq
u
al
i
ties: sto
p
"removin
g
" equ
a
liti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
series: leave
fr
e
eing
of P arg
u
ment to
calling function
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aeg
e
doc:
doc
u
ment i
m
pl
e
ment
a
tio
n
of the proj
e
ction theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
ad
d
barvinok_enume
r
ate_e_seri
e
s
implementing t
h
e
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
genf
u
n
.
cc: fix an
d
document parallel polyt
o
pe
s
cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolaege
Only c
o
mpile zsolv
e
if g
c
c
3
.
4 or later is avai
l
able
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoola
e
ge
Mo
v
e GiNaC-independent part of
libra
r
y to
b
arvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
doc: how to count th
e
number of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc
/
imp
l
ementa
t
ion
.
t
e
x
: avoid multiply def
i
ned labe
l
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
lattice_wi
d
th
.
c: try vertices
of p
r
e
v
ious integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
doc: document in
t
eger
h
ull co
m
putati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c
:
add all points found
by sa
m
pling
d
i
rectly to
.
.
.
commit
|
commitdiff
|
tree
next