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
update polylib
2008-04-08
Sven Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven V
e
rdoolae
g
e
lattice_width
.
c
: skip dire
c
tions that
a
re identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven Verdoolaege
Makefile
.
a
m
: ad
d
cdd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoola
e
ge
om
e
ga/oc
c
: optional
l
y use pa
r
ker for com
p
uti
n
g
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normaliz
a
tion
.
c: s
k
ew
_
to
_
positiv
e
_orthant: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdo
o
laege
omega/convert
.
cc: r
e
l
a
ti
o
n
2
Do
m
ain:
o
n
l
y colle
c
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verd
o
olaege
occ: add d
u
mp fo
r
dumping in ba
r
vinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
ola
e
ge
barvi
n
ok_en
u
me
r
ate_e: optionally u
s
e p
a
rk
e
r's
m
ethod
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
s
tand
a
rd_constraints: t
a
ke constr
a
int
s
instead of p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
normalization
.
c: e
x
tract st
a
ndard
_
constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ver
d
oolae
g
e
parker/c
o
unt_solutions
.
cc: f
i
x t
r
eatment of exist
e
n
tial
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoolaege
compile
parker
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
V
e
rdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
euler
.
cc: eva
l
ue_derive
:
hand
l
e cons
t
ant poly
n
omials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add so
m
e test
sets fro
m
ca
s
es 2004 an
d
cc 2005 pa
p
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
rename
barv
i
n
ok_maximize to barvi
n
ok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
add a
t
est fo
r
test_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
e
v
a
lue_range_propagat
i
on: r
e
move redundant
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
test_b
o
u
nd:
rec
o
rd number of pol
y
nomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
t
e
st_b
o
u
n
d
:
con
v
er
t
quasipol
y
nomials t
o
polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
t
e
st_bou
n
d: co
m
pare polynomial bound
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
verify
.
c: opt
i
mum:
handle inpu
t
e
valuat
i
ng to ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c: extra
c
t evalue_optimum
f
r
o
m maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
ol
a
eg
e
v
e
r
ify
.
c
: extract common
c
ode f
o
r verifying
o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaeg
e
evalue_ra
n
ge_propagation: add monotonici
t
y test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
vinok
_
maximize:
o
ptionally use (basic) range pro
p
agati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Ad
d
some s
u
pp
o
rt for dealing with evalue
s
t
hat represe
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laeg
e
ba
r
v
inok_e
n
um
e
rate: suppo
r
t use of
Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
implem
e
nt Bernoulli_su
m
a
s conversion f
r
o
m
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
Bernoulli_sum_evalue:
e
x
ploit intege
r
bound
s
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
k
e
ep
trac
k
of num
b
er
o
f Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doo
l
aege
bernoulli
.
c
:
p
r
otect shared ev
a
l
u
e from modificatio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
te
s
t Ber
n
o
u
lli
s
u
ms
b
a
s
ed exact e
n
u
m
era
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
bar
v
inok_count_
w
ith_o
p
tions: compu
t
e (exac
t
)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
a
ege
Berno
u
lli_sum
_
evalue: optionally
handle f
r
actiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
la
t
tice_point
.
h: export fra
c
t
i
o
n
al
_
part with C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
r
doolaege
barvi
n
ok
_
enumerate_
w
ith_options: compute (exac
t
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oulli
_
sum_ev
a
l
ue: hand
l
e equalit
i
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
r
d
o
olaeg
e
Be
r
noulli
_
sum_ev
a
lue: cu
t
off some redundan
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
noull
i
_
sum_eval
u
e:
make s
u
re no empty
p
arti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_sum_evalue: rem
o
ve re
d
undant co
n
straint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
b
e
rnoulli
.
c
: minor ref
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
l
aege
Bernoulli_sum: handle context constraint
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
B
e
r
noulli_sum_evalue:
make sure
enough memor
y
is all
o
cate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
for_each_lower_upp
e
r_bound: add another c
a
llback f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
v
erify
.
c: adj
u
st
default
r
a
nge to context if needed
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoolaege
eul
e
r
.
cc: summate_over
_
domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
param
_
util
.
c: export P
a
ram
_
Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
P
a
r
a
m_Pol
y
h
edr
o
n_Facet:
pass facet defining co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
ge
n
fun
.
cc:
parallel
_
polytopes:
d
o
n
't
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
ev
a
lue_spl
i
t_domains_in
t
o_o
r
thants: don
'
t r
e
duce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
ev
a
lue_re
a
d: only allo
w
ter
m
s to cross newl
i
nes inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_read: only
accept implicit mul
t
iplication o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
e
value_read: accept con
s
traints containin
g
"'-' sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaeg
e
eval
u
e_bernstei
n
_coeffic
i
ents: ensure result partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
b
e
r
ns
t
ei
n
:
piecewis
e
_
l
s
t: corr
e
ctly pr
i
nt a
n
d
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoola
e
ge
r
emove_all_equali
t
ies:
k
e
e
p rem
o
ving parameter eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doola
e
ge
up
d
ate poly
l
ib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
la
e
ge
d
oc: c
o
nsi
s
tent use
of
K
evi
n
's in
i
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
for
_
each
_
lo
w
er_upper_bound: allow
ab
s
e
n
c
e
o
f
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
ola
e
ge
R
evert "
e
add_partitions: try to comb
i
n
e
multipl
e
doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verd
o
o
l
aege
eval
u
e_r
e
ad_part
i
tion:
p
ut p
a
rtition
s
b
a
c
k
i
n the sam
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven V
e
r
doolaege
eval
u
e
: redu
c
e_eval
u
e: add note on so
m
e m
i
ssed oppo
r
tunitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
b
ernst
e
in
.
cc
:
ha
n
dle in
p
u
t with unions + rel
a
tion vi
o
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
d
o
ola
e
ge
maximize
.
cc: d
e
al wit
h
u
n
ions in input during veri
f
icatio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e_substitute: properl
y
hand
l
e rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: c
l
ean up
e
mul
an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
eval
u
e_read: corr
e
ctly
r
e
a
d
variabl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: accept
t
op leve
l
"relation
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
upd
a
te
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_b
a
cksubstitute: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n Verdoolaege
eva
l
ue
.
c: *_pa
r
titi
o
ns
:
simpl
i
f
y
constra
i
n
t
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Verdo
o
laege
doc: m
o
re
s
pecific infor
m
ation
on bug
g
y cd
d
lib versio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
doolaege
configure
.
in
:
require cddlib 0
.
94
e
by testing
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdo
o
l
a
ege
configure
.
in
:
only compile occ if code_g
e
n
lib
r
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
r
d
oolae
g
e
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doolaege
a
dd some
t
ests
for implementatio
n
of proj
e
ction theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
ae
g
e
doc
:
do
c
ument
new opti
o
ns and n
e
w a
p
plications
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
AUTHORS
:
update sup
p
ort informat
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
o
o
laege
g
e
nf
u
n
.
c
c
: s
h
ort
_
rat:
:
pri
n
t:
c
o
rrectly pri
n
t polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
Export series as
b
a
rvinok_enumerate_series and
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoola
e
ge
remove
_
p
a
rameter_
e
q
u
alities: stop "
r
emoving" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doolaege
series: leav
e
f
r
eeing of P argument to calling fun
c
t
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verd
o
ola
e
g
e
d
o
c: document
implementation of the
p
r
o
jec
t
ion
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
add bar
v
inok_enumera
t
e_e_series i
m
p
lementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
g
e
n
fun
.
cc:
f
ix and d
o
cument parallel
p
ol
y
topes class
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
olaege
Only compile zsolve if gcc 3
.
4
o
r
l
at
e
r
is av
a
il
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaege
Move GiNaC-indepe
n
dent part of lib
r
ary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
polyl
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoolaege
doc: how to co
u
n
t
the
n
umber of element
s
in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verd
o
olaege
doc/implementa
t
ion
.
t
e
x:
a
void multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
dool
a
ege
l
a
tt
i
ce_width
.
c: try vertice
s
of previous
inte
g
er
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
a
e
ge
doc: document inte
g
er hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolae
g
e
h
u
ll
.
c: add a
l
l points found by sampling directl
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ve
r
doolaege
Possible optimization
s
for genera
l
i
zed ba
s
i
s reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Suppo
r
t
use of
g
ener
a
lized basis reduc
t
ion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
ool
a
e
g
e
add Polyhedron_Integer_Mini
m
um for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc:
d
o
cument generalized
b
asis red
u
c
t
ion based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolae
g
e
d
o
c/barvinok
.
bib:
a
d
d miss
i
ng s
t
ring
commit
|
commitdiff
|
tree
next