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
evalue_bernstein_coefficients: handle problems with empty parametric polytope
2008-04-08
Sven Verdoolaege
e
v
alue_bernst
e
in
_
coeffici
e
nts: han
d
l
e p
r
oblems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdo
o
laege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoo
l
aege
lattice_width
.
c:
s
k
ip d
i
rections that are ide
n
tica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
r
d
o
olaege
Makefile
.
a
m: add
cdd94e-test to distri
b
u
t
ion
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
e
ge
omega/occ: optionall
y
use
p
a
r
ker for comp
u
t
i
ng
c
a
rdinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
normali
z
ation
.
c: sk
e
w_to_posit
i
ve_orthant: pr
o
perly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
oo
l
aege
omega
/
c
o
nvert
.
cc
:
relation2Domain
:
o
n
l
y
c
oll
e
ct
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdo
o
laege
occ: add dump for
d
u
mp
i
ng
in barvinok
_
enumerate_e forma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
barvinok_enumerate_e: opti
o
nally use par
k
er's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Ve
r
doo
l
aege
standard_constraints:
t
a
k
e con
s
traints instead of polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
olaege
normal
i
z
ation
.
c:
extrac
t
sta
n
d
a
rd_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
r
d
oolaege
p
arker/count_sol
u
tio
n
s
.
c
c
: fix tre
a
tment of exi
s
tentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaeg
e
compile parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Add par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolae
g
e
euler
.
cc:
evalue_derive:
h
a
ndle constant pol
y
nom
i
als
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
r
doo
l
aege
a
dd
s
ome
t
est se
t
s from cases 2004 and cc 2
0
05 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
r
e
n
a
m
e
barvinok
_
m
aximize to
b
arv
i
nok
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
add a t
e
st fo
r
test_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_range_propagati
o
n: remove redundant polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
e
ge
test
_
bound: record numb
e
r
of polynomials
as
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
tes
t
_bound: conve
r
t quasipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
oolaege
test_bound
:
co
m
p
a
re poly
n
o
m
ial bou
n
d
a
lg
o
ri
t
hms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
er
i
fy
.
c
:
optimum: handle input
evalua
t
ing to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoola
e
ge
veri
f
y
.
c: extract eval
u
e_op
t
imum from
max
i
miz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract
c
ommon co
d
e for veri
f
y
ing
o
peration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_rang
e
_propagation: add monotonici
t
y test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_m
a
ximize: opt
i
onall
y
us
e
(
b
a
si
c
) range pro
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
Add some support for dea
l
ing wi
t
h eval
u
es that repre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
olaeg
e
barvino
k
_enumerate:
s
u
pport use of E
u
le
r
-M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
implement Bern
o
u
l
li_sum
as conve
r
sion
from unwe
i
g
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
ool
a
e
g
e
Berno
u
lli
_
sum_eva
l
ue:
e
xploit integer
b
ou
n
ds to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdo
o
laege
keep tr
a
ck of number o
f
Ber
n
oulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
bernoulli
.
c: p
r
otect shared evalue
from
m
odificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
test Bernoull
i
sums
b
a
sed exa
c
t enum
e
r
a
t
ion
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
bar
v
ino
k
_count_with_options: compute (exact) Be
r
noul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
Bernoulli_sum_evalu
e
:
op
t
ional
l
y handle frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
l
a
ttice_point
.
h:
export fractional_
p
art w
i
th C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barvinok_enumerate_with_
o
pti
o
ns: compute (exact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
doolaege
B
e
rnoull
i
_
su
m
_ev
a
lue: handl
e
equ
a
lit
i
es
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernou
l
li_sum_ev
a
lue: cut off some
r
edundan
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum_evalue: make sure no
e
mpt
y
partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
B
e
rnou
l
li_sum_evalue: remove r
e
dundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernou
l
li
.
c: minor r
e
fa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
Bernoulli_sum: ha
n
d
l
e cont
e
xt cons
t
raints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Berno
u
lli_sum_evalue: make sure enough m
e
mory is a
l
located
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for
_
each_lower_upp
e
r_bound: add a
n
other callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c
:
adjust
d
efault ra
n
g
e
to conte
x
t if
needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolae
g
e
euler
.
cc: summate_over_d
o
m
ain: only
c
onsider
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoola
e
ge
pa
r
am
_
util
.
c:
exp
o
rt Param_Verte
x
_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
P
a
ram
_
Polyhedron_Facet:
pass facet defin
i
ng co
n
strain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
g
e
nfun
.
cc: pa
r
allel_polyto
p
es: don
'
t bo
t
her handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
ev
a
lue_split
_
domains
_
into_orthants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
o
olaege
evalue
_
read: only allow terms to cross newline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
evalue_re
a
d: only acc
e
pt implicit
multiplication o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_rea
d
: accept con
s
t
raints
c
onta
i
ning
"
'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue_berns
t
ein
_
coeffic
i
ents: ensure res
u
lt par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
o
laege
bernstein: piecewise_l
s
t: co
r
r
ectly pr
i
nt
a
nd evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_a
l
l_equalities: keep removing pa
r
ameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
update
polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ver
d
oolaege
doc: consisten
t
u
s
e of
K
e
v
in
'
s
i
ni
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
doc: update now publis
h
ed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_
u
p
p
er_b
o
und: a
l
low absen
c
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
Revert "eadd_part
i
tions: try to co
m
bine mu
l
tipl
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
evalue_read_p
a
rti
t
i
o
n: put
p
artitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduce_evalue: add note on some missed o
p
portunitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
berns
t
e
in
.
cc: han
d
le i
n
put
w
it
h
unions + rela
t
ion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoo
l
aege
maximize
.
c
c
: d
e
a
l
with unions in
i
n
put d
u
ring
v
eri
f
ication
commit
|
commitdiff
|
tree
2008-03-10
S
ven
Verdoolaege
evalue_substit
u
t
e: properly ha
n
dle relatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
e
rdoolaege
ev
a
l
u
e
.
c: clean up emul and
e
a
d
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
val
u
e_read
:
co
r
rec
t
ly r
e
ad var
i
a
b
le names
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_read: accept
to
p
level "re
l
ati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
e
rdool
a
ege
evalue_ba
c
ks
u
bstitute: add required modu
l
o constraints
commit
|
commitdiff
|
tree
2008-02-26
S
ven Verdo
o
la
e
g
e
evalue
.
c: *_partitio
n
s: si
m
plify constr
a
ints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc:
m
ore specific i
n
formation on bu
g
gy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdool
a
ege
c
on
f
igure
.
in: require
c
dd
l
ib 0
.
9
4
e by testing for
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Verdo
o
laege
configure
.
i
n: only compile occ if code_gen
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
ba
r
v
in
o
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolaege
a
d
d
some tests fo
r
i
mp
l
e
mentation
o
f
proj
e
ction theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verd
o
o
laeg
e
d
oc: doc
u
me
n
t
new options
and
n
ew applications
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
oola
e
ge
AUTHORS: upd
a
te su
p
port information
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdoolaege
genfun
.
cc
:
short_rat::print
:
corr
e
ctly pri
n
t po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoo
l
aege
Export
s
eries as barvin
o
k_enu
m
erate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
r
emo
v
e_para
m
eter_equalities: stop "re
m
oving
"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
ser
i
e
s: leav
e
freeing
o
f P a
r
gument to callin
g
function
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdool
a
ege
doc: document im
p
lement
a
tion
of the projec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoola
e
g
e
a
d
d
ba
r
v
i
n
ok_enumerate_e_series implementing the pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ola
e
ge
g
enfun
.
c
c: fix and document parallel polyt
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaeg
e
Only compi
l
e zsolve if gcc 3
.
4
o
r later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oolaege
Move GiNaC-independent part
o
f li
b
rary to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
po
l
ylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoolae
g
e
doc: how to count
t
he numbe
r
of
elements in po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoolaege
doc
/
i
m
p
lementa
t
i
o
n
.
te
x
: avoid
m
u
ltiply defined
l
a
b
el
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
lattice
_
width
.
c: try vertices of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc: docum
e
nt
i
nteger
h
ull
com
p
utat
i
on
commit
|
commitdiff
|
tree
2007-11-21
S
ven V
e
rdoo
l
aege
hull
.
c: ad
d
all points found b
y
sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
P
o
ssible
o
ptimizations
for ge
n
eralized bas
i
s reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
ol
a
ege
Support
u
s
e
o
f genera
l
ized b
a
sis re
d
uction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdoolaege
add P
o
lyhedron_Integer_Minimum
f
or
compu
t
ing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verd
o
olaege
doc: documen
t
g
en
e
ra
l
i
zed basis re
d
uctio
n
based
int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
next