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
add some test sets from cases 2004 and cc 2005 papers
2008-03-31
Sven Ve
r
doolaege
add som
e
test
sets from
c
ases
2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename b
a
r
v
inok_max
i
mize t
o
barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
a
dd a
t
e
st for test_
b
ou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
v
alue_range_propagat
i
on: remove redunda
n
t
po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
ool
a
e
g
e
test_
b
o
u
n
d: record numb
e
r of pol
y
n
o
m
ials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
t
e
st_boun
d
: convert quasipolynomi
a
ls
t
o polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound
:
compare
poly
n
o
m
ial bound al
g
orith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: optimum: han
d
le input
e
v
aluating
t
o negativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract evalue_
o
pti
m
um from maxim
i
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: ext
r
act common code
f
or v
e
r
i
f
ying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
evalue_range_propa
g
ation
:
add mono
t
onicity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdo
o
l
a
ege
b
a
rv
i
nok_maximize: optionally use (basic)
range propag
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Add some support
f
o
r dealing w
i
t
h
evalues tha
t
r
e
pre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumera
t
e:
suppor
t
use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
i
mple
m
ent Bernoulli_sum as
conver
s
i
on
f
rom
u
n
w
e
i
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
dool
a
ege
Bern
o
ulli_sum_
e
v
al
u
e:
exploit inte
g
er bounds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
l
a
ege
k
e
ep track of number of Bernoulli
sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
bernoulli
.
c
:
protect shared e
v
alue from
modifications
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
t
est Bern
o
ulli sums ba
s
e
d
exact
enumeration
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
ba
r
vinok_co
u
nt_with_options
:
co
m
pute (exa
c
t) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Be
r
n
o
ull
i
_sum_evalue: optionally handle fra
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
lattice_point
.
h
:
e
x
p
ort fractio
n
al_part with C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
barvinok_enumerate_wit
h
_options: c
o
mp
u
te (exac
t
)
B
ernoull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli
_
sum
_
eva
l
ue
:
h
a
ndle
equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
B
e
rnoulli_s
u
m_evalue:
c
ut
o
f
f
some redu
n
dant
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
Bernoulli
_
sum_eva
l
u
e:
m
ake sure no empty partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
Bernoulli_sum_
e
value
:
rem
o
ve red
u
ndant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
bernoulli
.
c: minor refac
t
oring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdo
o
laege
Bernoulli_sum: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoul
l
i
_
sum_evalue: mak
e
sure enough
memory is al
l
o
cated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
for
_
each
_
lower_upper_
b
oun
d
:
add another callb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
veri
f
y
.
c: ad
j
u
s
t default range
to
c
ontext if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c:
summ
a
te_ov
e
r_domain: o
n
ly con
s
i
d
er ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
param_util
.
c: expor
t
Param_Vertex
_
Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
P
a
ram_Polyh
e
dron_Facet
:
p
ass facet defining
constra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
genfun
.
c
c
: pa
r
allel_
p
olytopes: don't bother handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rd
o
olaege
e
value_split_domains_into_orthan
t
s: don't reduce
e
v
a
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
r
ead: only allo
w
t
erms to c
r
o
s
s
n
ewline
s
in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
e
value
_
read: only
a
ccept implicit multip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aeg
e
eva
l
ue_read: acc
e
pt co
n
strai
n
ts containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue
_
bernstein_coeffici
e
n
ts: ensure re
s
ult parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernste
i
n: piecewis
e
_lst: correctl
y
pri
n
t and
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
re
m
o
ve_all_equali
t
ies: ke
e
p
rem
o
ving param
e
t
er equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ol
a
ege
do
c
:
consiste
n
t use of Ke
v
in's init
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
oolaege
do
c
: update n
o
w
p
ublished paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_ea
c
h
_lower_upper_bound: allo
w
abs
e
nce of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
R
evert "eadd_partitions: try to combine
multiple dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
evalue_read_p
a
rti
t
ion:
put
partitions
b
ack
in th
e
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: red
u
ce_ev
a
lue: add not
e
on some
m
issed op
p
ortunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
bernstein
.
cc: handle in
p
ut with unions + relation
v
io
l
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
r
d
oolaege
maximize
.
cc: deal with
un
i
on
s
in input during
veri
f
ica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalue_substitute: prop
e
rly h
a
ndle relati
o
ns
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalue
.
c: cle
a
n up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue_
r
e
ad: correctly
read v
a
riabl
e
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value_read: accept top lev
e
l "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ve
r
do
o
l
a
ege
evalue_backsubsti
t
ute: add required modulo constrain
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolae
g
e
evalu
e
.
c: *_partitio
n
s: simp
l
i
fy constra
i
nt
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoo
l
aege
d
oc: mo
r
e
s
p
e
cific information on buggy
c
ddli
b
versions
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n
V
erdoolaege
configure
.
in: require cdd
l
ib 0
.
94e b
y
t
e
sti
n
g
f
o
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Verdoolaege
co
n
figur
e
.
in: only com
p
ile occ if
code_
g
en library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
bar
v
in
o
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
a
d
d some
t
e
st
s
for
i
m
plemen
t
ation of projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdo
o
l
a
e
g
e
doc: document new options and new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
olaege
AUTHO
R
S: update support
i
nformation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
genfun
.
cc: short_ra
t
::prin
t
: correctly print poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoolaege
Export s
e
ries as barvinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
ege
remove_parameter
_
e
q
ualities:
stop "r
e
m
ov
i
ng" e
q
uali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
s
eri
e
s: leave fr
e
eing
of
P
argument to ca
l
ling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
eg
e
d
oc
:
d
o
cument implem
e
nt
a
tion of th
e
pr
o
jection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvinok_enumerate_e_serie
s
i
mp
l
ementing the project
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
genfun
.
cc:
fi
x
and document paral
l
e
l
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only
c
ompile zsol
v
e if gcc 3
.
4 or later
i
s available
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdool
a
eg
e
Mov
e
GiNaC-indepen
d
ent part of libr
a
r
y
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
poly
l
ib: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
oo
l
aege
doc:
how to c
o
unt
t
h
e number
of eleme
n
t
s
in
p
ossibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoolaege
doc/imp
l
ementation
.
tex: avoid mult
i
ply def
i
ned la
b
el
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oo
l
a
e
ge
la
t
ti
c
e_widt
h
.
c:
t
ry vertices of previous
i
nte
g
er hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoola
e
ge
doc: document in
t
eger
h
u
l
l com
p
u
t
ation
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ve
r
doolaege
h
u
ll
.
c: add
all poi
n
ts f
o
und by sampl
i
n
g d
i
r
ect
l
y
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Po
s
sible optimizat
i
ons for gen
e
ralize
d
basis r
e
d
u
ctio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
Support us
e
of generalized basis
r
e
ducti
o
n
t
o
c
omp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolae
g
e
add Polyhed
r
on_Int
e
ger
_
Minimum for com
p
u
ting the
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolae
g
e
doc
:
docu
m
ent g
e
neralized basis r
e
duction based in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvi
n
ok
.
bib: add mis
s
ing s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoo
l
ae
g
e
a
d
d more m
i
ssing assert
.
h
#
inclu
d
es
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaege
e
v
a
l
u
e
.
c
: add missing i
n
c
l
ude
of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdo
o
lae
g
e
config
u
r
e
.
in: pass pa
t
h of
G
M
P
i
nstallation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
configur
e
.
in: only compi
l
e l
i
bbarv
i
nok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verd
o
olaeg
e
Polyhedron_
R
educed_Ba
s
is: d
o
n't
s
top too
e
arly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
compute_width_directions: only ke
e
p
l
i
s
t of dist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
V
erdoolaege
zs
o
l
ve: don
'
t ins
t
all librar
y
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
do
o
la
e
ge
ve
r
s
i
on
.
c:
s
h
ow
use of
TOPCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aeg
e
configure
.
in: don
'
t set with_{p
o
ly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
eg
e
Polyhedron_Sa
m
p
le: be sa
t
isf
i
ed with a reasonab
l
e choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
o
ne_inte
g
er_
h
u
l
l
:
optionally pri
n
t sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoola
e
ge
basis_reduct
i
on:
ke
e
p t
r
ack of nu
m
b
e
r o
f
LPs s
o
l
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
options: move --print-stats to li
b
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ve
r
doolaege
bernstein: rewor
k
testing framew
o
rk
t
o not depend
on
.
.
.
commit
|
commitdiff
|
tree
next