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 Ve
r
doolae
g
e
veri
f
y
.
c: ev
a
l
u
e
_
optimum: allow compu
t
a
t
ion of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
c
c
: ev
a
lue2ex: don't assume
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc:
f
ix call to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdo
o
laege
e{add,mul
}
_pe
r
iodics
:
p
l
u
g
memo
r
y
le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
evalue_be
r
nst
e
in_coefficients: han
d
le
p
roblems
wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
u
p
date p
o
ly
l
ib
commit
|
commitdiff
|
tree
2008-04-05
S
ven V
e
r
d
oolaege
latti
c
e_
w
idth
.
c
:
sk
i
p directions that are
i
dentical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
Verdoolaege
Makefile
.
a
m: add cdd94e-te
s
t to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdoolaege
o
m
ega/oc
c
: optionall
y
use
p
arker fo
r
computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
doolaege
normalization
.
c: ske
w
_
t
o_
p
ositiv
e
_orthan
t
:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
omeg
a
/convert
.
cc:
r
e
l
ati
o
n2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
oc
c
:
add dump for
d
umping in b
a
rvinok_enumera
t
e_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
ba
r
vinok_e
n
umerate_e:
opti
o
nal
l
y use
pa
r
ker's
method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
st
a
ndar
d
_
constr
a
ints: t
a
ke
c
onstraints instea
d
of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normal
i
zation
.
c: extract s
t
a
ndard_constrain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n Verdo
o
laege
par
k
er/
c
ount_solutions
.
c
c
: fix tre
a
tment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
Ad
d
parke
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verd
o
o
laege
e
u
ler
.
cc: evalue_derive
:
ha
n
dle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
add some tes
t
set
s
from cases 2
0
04 an
d
c
c
2005 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
re
n
ame barvin
o
k_m
a
ximi
z
e
t
o bar
v
in
o
k_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
add a test for t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_range_propagation
:
remov
e
re
d
undant polyno
m
ial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
test
_
b
ound: recor
d
nu
m
ber o
f
p
o
l
ynomia
l
s as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolae
g
e
te
s
t_bound: convert qu
a
si
p
olyn
o
mials to poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
test_b
o
und: compare polynomi
a
l
bound algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
v
erify
.
c:
optimum:
h
andle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
do
o
laege
verify
.
c: e
x
t
r
act eval
u
e_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
ve
r
ify
.
c:
extract
c
ommon code for verifying operat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
eva
l
u
e
_range_propag
a
tion: ad
d
monot
o
ni
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_
m
axim
i
ze:
o
p
t
ion
a
lly use (basic) range
p
ropagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
Add some supp
o
rt
for dealing wi
t
h
evalue
s
t
h
at represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
b
arv
i
no
k
_
enumerate: s
u
ppo
r
t use of
E
uler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement B
e
rnoulli_s
u
m
a
s c
o
nv
e
rsion from unweig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernou
l
li
_
sum_e
v
alue: expl
o
it integer bounds
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
k
eep track o
f
num
b
er of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bernoul
l
i
.
c: protect shar
e
d evalue f
r
om modifications
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test Bernoulli sums based
e
xact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_coun
t
_wi
t
h_options:
compute (
e
x
a
ct) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum_
e
value
:
o
p
tionall
y
han
d
le fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
lattice_p
o
i
n
t
.
h: ex
p
ort fractional
_
part w
i
t
h C l
i
nkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
bar
v
inok_enumerate_with_op
t
ions: c
o
mpute (exa
c
t
)
B
ernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
e
g
e
Bernoulli_sum_evalue: h
a
ndle equal
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
Bernoulli_sum
_
evalue: cut o
f
f some re
d
u
n
dant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
Ber
n
oulli_su
m
_e
v
alue: make sure no
e
mpty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoul
l
i
_
sum_evalue: remo
v
e
red
u
n
d
ant c
o
ns
t
r
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdoolaege
bernoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaeg
e
Bernou
l
li_sum: handle
cont
e
x
t constraint
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
fo
r
_each_lowe
r
_up
p
er_bound: add ano
t
he
r
callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
verif
y
.
c: adjust default range to context if nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
a
e
ge
eul
e
r
.
cc: summate_over_d
o
main: only consi
d
er actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
param_ut
i
l
.
c
: export Param_Vertex_
S
et_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
r
doolae
g
e
Pa
r
am
_
Polyhedron_Fac
e
t
:
p
as
s
facet defining
c
onstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
gen
f
un
.
cc: parallel_
p
o
l
ytope
s
: don't bothe
r
ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
ev
a
lue_split_domains_into
_
orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_read: only
allow ter
m
s
t
o cross
newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
eva
l
ue_read:
o
n
l
y accept implicit multiplication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
value_read: acc
e
pt constra
i
nts containing
"
'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
v
alu
e
_berns
t
ein
_
coeffici
e
nts:
ensure resul
t
parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verd
o
olaege
berns
t
e
in: piecewise_lst:
correctly print and
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
remove_all_equalit
i
es: keep
removing p
a
ram
e
ter
equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
doc: consist
e
nt use
of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laeg
e
doc
:
update n
o
w published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
for_eac
h
_lo
w
er_upper_bound: allow absence of
low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolae
g
e
R
e
v
ert "eadd_partiti
o
n
s
: try to combin
e
multiple do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
e
rdo
o
l
aege
evalue_read_partition: put pa
r
titions bac
k
in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdool
a
ege
evalue
:
reduce_evalue: ad
d
note
o
n some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verd
o
ola
e
ge
b
ernst
e
in
.
cc: handle
i
n
put with unions + relati
o
n
vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
m
a
xim
i
z
e
.
cc: d
e
al with unions in input du
r
ing verification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_subs
t
i
tute:
p
roper
l
y
handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
e
v
alue
.
c: clean up emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
a
ege
evalue_r
e
ad: correct
l
y read va
r
iable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue_read: accept top lev
e
l "
r
e
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verd
o
olaeg
e
update polyl
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sven V
e
rdoolaege
evalue_back
s
ubsti
t
ute: add req
u
ir
e
d modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Verdoolaege
evalue
.
c
:
*_partitions: simp
l
ify constra
i
nts befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdoolaege
doc: more sp
e
cific information
on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven V
e
rdoolae
g
e
configure
.
in:
requi
r
e
c
ddlib 0
.
94e by testing f
o
r b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ven Ve
r
doo
l
aeg
e
conf
i
g
u
re
.
in: only
c
o
m
pil
e
occ if
c
ode_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdo
o
laege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
add some tes
t
s for implementation
o
f projection
the
o
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdoolaege
doc: document new options an
d
ne
w
app
l
ications
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
A
U
T
H
ORS: update support informat
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
ge
genfun
.
cc: short_rat::p
r
int: correc
t
ly print
p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
E
xport series as barvinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
remove_param
e
t
e
r_
e
q
ual
i
ti
e
s: stop "removing"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
seri
e
s: leave freeing o
f
P argum
e
nt
t
o callin
g
funct
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: document implem
e
n
tation of
t
h
e projecti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdool
a
ege
add barvinok_enumerate_e_series implem
e
n
t
i
ng t
h
e project
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
genfun
.
c
c
: fix and
d
ocument parallel poly
t
o
p
e
s
class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
Mov
e
GiN
a
C-indep
e
n
dent par
t
of library to bar
v
in
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
po
l
ylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to count t
h
e nu
m
ber of elemen
t
s i
n
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n Verdoo
l
a
ege
doc
/
implementation
.
tex: avoid multiply def
i
n
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
a
e
g
e
l
attice_width
.
c: try vertic
e
s of prev
i
ou
s
integer h
u
l
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document
integer hull compu
t
ation
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
h
u
ll
.
c: a
d
d a
l
l
p
o
ints found
by
s
a
mpling directly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
V
erdo
o
l
a
ege
Po
s
sible opt
i
mizatio
n
s
for ge
n
e
ralized basis re
d
u
ction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaeg
e
Support use o
f
generalized basis reducti
o
n
t
o comp
u
te
.
.
.
commit
|
commitdiff
|
tree
next