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_width.c: skip directions that are identical up to sign
2008-04-05
Sven Verdoolaege
latt
i
ce_
w
idth
.
c
:
skip di
r
ections th
a
t are ident
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
Verdoolaege
Makefi
l
e
.
am: add cdd94e
-
t
est to dis
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaeg
e
omega/occ: optional
l
y us
e
p
a
rker fo
r
c
o
m
pu
t
in
g
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ver
d
oolaege
norma
l
iz
a
tion
.
c
: skew_to_positive_
o
r
thant
:
prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
o
m
e
g
a/convert
.
cc: relation2Domain:
onl
y
collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
doolaege
o
c
c: a
d
d d
u
mp for dumping in barvinok
_
enumerate_e fo
r
mat
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolae
g
e
barvinok_enu
m
er
a
te_e: optionally
use par
k
er's method
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
s
tanda
r
d
_co
n
s
train
t
s: take constraints instead of poly
h
e
dro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
n
ormaliza
t
ion
.
c:
extract
s
tandard_co
n
straints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoola
e
ge
p
arker/co
u
nt_solu
t
ions
.
cc
:
fix treatm
e
nt of e
x
istent
i
a
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n
Verdoolaege
compile par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
e
u
ler
.
cc: evalue_derive: handle cons
t
ant polynomi
a
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
add some test sets from cases 2
0
04 and cc 2005 p
a
p
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
r
ename b
a
rvinok_maximize to
b
a
r
v
inok_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
add a test fo
r
t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
eval
u
e_range_propagation:
remove re
d
undant poly
n
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
tes
t
_
bo
u
n
d
: r
e
c
ord num
b
e
r
of polynomi
a
l
s
a
s "siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoola
e
g
e
test_bound: conv
e
rt
q
uasipoly
n
om
i
a
ls to
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
d
o
olaege
test_bound
:
com
p
are poly
n
omial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
g
e
verify
.
c:
o
pt
i
mum: hand
l
e inp
u
t evalu
a
ting to
ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
v
er
i
fy
.
c: extract evalue_optimum
f
rom ma
x
imize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
eg
e
verify
.
c
:
extract co
m
mon code
f
or verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
evalue_range_propagation: add monotoni
c
ity t
e
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arvinok
_
maximiz
e
:
optional
l
y use
(
basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some
s
upport
for
d
ealing with evalues
tha
t
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaeg
e
barvinok_enumerate: support use of E
u
l
er-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
imp
l
ement Ber
n
oulli_s
u
m
a
s conversi
o
n
f
rom un
w
eighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
Be
r
no
u
lli_su
m
_evalue: exploit integer b
o
unds
to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
k
e
ep t
r
ack
o
f nu
m
ber of Bernoulli su
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdool
a
e
g
e
bernoulli
.
c
:
pro
t
ect shared
e
value
f
rom
modifica
t
io
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
B
ernoulli sums
bas
e
d exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
barvinok_count_wit
h
_
o
p
t
i
o
ns: compute
(exact)
B
er
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Berno
u
lli_su
m
_
ev
a
lu
e
: optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
la
e
g
e
lattice_po
i
nt
.
h
: export fraction
a
l_part
with C
linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvinok_enumerat
e
_wi
t
h_op
t
ions
:
c
omp
u
te (exact) Ber
n
ou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
Bernoulli_sum_eva
l
ue:
h
a
n
dle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernoulli_su
m
_evalue: cut off
s
ome
redundan
t
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_s
u
m_eval
u
e:
m
a
ke sure no
e
m
pty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
Be
r
noulli_sum_evalue: remove redundant c
o
nstr
a
int in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
be
r
n
o
u
l
li
.
c
:
m
i
no
r
re
f
actoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bern
o
ulli_sum
:
h
a
ndle context
constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
Bernou
l
l
i
_sum_evalue: make sure enough me
m
ory is allocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each_lower_upp
e
r_bound: ad
d
a
nother ca
l
lb
a
ck fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
ver
i
f
y
.
c: adjus
t
defaul
t
range to context if n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
euler
.
cc: sum
m
at
e
_
ov
e
r_
d
o
m
ain: onl
y
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
param_util
.
c: ex
p
ort Par
a
m
_
Verte
x
_S
e
t_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdool
a
e
ge
Param_Polyhedron_
F
a
cet: pass f
a
cet
d
ef
i
ning con
s
train
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
o
lae
g
e
genfun
.
cc: parallel_p
o
l
y
topes: don
'
t bother han
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
e
value_split_domains_into_orthant
s
:
d
on't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
dool
a
ege
evalue_
r
ead:
o
nly all
o
w
terms to cross newlines
i
n
s
id
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
ev
a
l
u
e_re
a
d:
o
nly
a
c
c
ep
t
impli
c
it multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: accept constr
a
int
s
containing
"
'-' spa
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
evalue_bernstei
n
_coefficie
n
ts: ensur
e
r
esu
l
t partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
o
l
aeg
e
ber
n
stein: p
i
ecewise_
l
st: correctly
p
r
int and e
v
aluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ver
d
o
o
laege
remo
v
e_all_equ
a
lities: keep
r
e
m
oving parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdool
a
ege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
doc: co
n
sist
e
nt
use of Ke
v
in's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
do
c
: update n
o
w
published
p
apers
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
e
rdo
o
laege
f
or_each_lower_upper_bound
:
a
l
low absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oo
l
aege
Re
v
ert
"eadd_partitions:
t
ry to com
b
in
e
multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
eva
l
ue_read_partitio
n
: put pa
r
titions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erdoo
l
aege
evalue: reduce_evalue:
a
dd
note
o
n
so
m
e missed oppo
r
t
unities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
berns
t
e
i
n
.
cc: handle input with
u
n
ions + relation violat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoo
l
a
ege
maximi
z
e
.
cc:
d
ea
l
with unions
in input during verificatio
n
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n V
e
rdoolaege
evalue_s
u
bstitute: properly handl
e
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
oolaege
evalue
_
read:
c
orrectly read v
a
riable names
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
e
v
alue_read: accept to
p
lev
e
l "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verdoola
e
ge
update polyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
e
v
a
lue
_
backsubstitute: add required modulo c
o
nstra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n Verdoo
l
a
e
g
e
ev
a
lue
.
c: *_partitions: s
i
m
p
lify const
r
aints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Verd
o
olaege
doc: more sp
e
cific
informa
t
ion
o
n buggy cddli
b
ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
S
v
en Verdoolaeg
e
configur
e
.
in: require cddlib 0
.
94e by testing for bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verd
o
olaege
c
onfigure
.
in: only c
o
mpile occ if cod
e
_ge
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
barvino
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some tests for
i
m
plem
e
n
tation of p
r
oject
i
on
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
oc: docume
n
t
new options and new app
l
ica
t
ions
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oolaege
AUTHORS:
u
pdate suppor
t
informa
t
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ver
d
oolaege
genfun
.
cc: shor
t
_rat::print: correc
t
l
y
print polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoola
e
ge
Export series as
b
arvinok
_
enum
e
rate_ser
i
es
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
r
doola
e
ge
remove_param
e
ter_equalities: stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolae
g
e
series: leave freeing of
P argum
e
nt to calling funct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
d
oc:
d
ocument im
p
lementation of the proje
c
tion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
l
aege
add barvinok_
e
n
u
merate_e_series
i
mplementi
n
g the p
r
ojection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
genfun
.
c
c: fix and d
o
cume
n
t
p
a
rall
e
l polytopes
class
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Only c
o
mpile
zsolve if g
c
c 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaeg
e
Move GiNaC-independent part o
f
li
b
r
a
ry to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
polyli
b
: update
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaege
d
o
c
:
h
ow to count
t
he number of
e
lements in
possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
er
d
oola
e
g
e
doc/imp
l
e
m
entat
i
on
.
tex: avoid m
u
ltipl
y
defined labe
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laeg
e
l
attice_width
.
c: try v
e
rtices of pre
v
ious integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
doc: document in
t
eger hull computation
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
hull
.
c: add a
l
l points found b
y
sampling directly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdo
o
laege
Pos
s
ib
l
e optimizations fo
r
gen
e
ralize
d
basis reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
V
erdoolaege
Supp
o
rt use of generalize
d
basi
s
reduction
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
add P
o
lyhedron_Integer_Minimum for computin
g
the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
doc: document generaliz
e
d ba
s
is re
d
ucti
o
n based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
d
oc/barvinok
.
bib: add
m
issing string
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
Verdoolaege
add more
mis
s
i
ng assert
.
h
#includes
commit
|
commitdiff
|
tree
next