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
compile parker
2008-04-02
S
v
en Verdoola
e
ge
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
e
u
ler
.
c
c: e
v
alue_
d
eriv
e
:
handle constant
polynom
i
als
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
add some test sets f
r
om
c
as
e
s 2004 and cc 2005 p
a
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
rename barvinok_maxi
m
i
ze to ba
r
v
i
n
ok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
a
d
d
a
test f
o
r
t
e
st_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
e
v
alue_range_
p
ro
p
agation: re
m
ove redundant
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_bo
u
nd: record number of polynomial
s
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_b
o
und:
c
o
nvert quasipolynomials to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
test_bou
n
d: compare p
o
lynomial
b
ound a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
l
aege
ver
i
fy
.
c: optimum: handle input e
v
aluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
g
e
verify
.
c: ext
r
act ev
a
lue_opt
i
mum fr
o
m maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
verify
.
c:
extract
c
omm
o
n
c
ode for v
e
rifying o
p
era
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_propagation: ad
d
monotonici
t
y test
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok_m
a
ximize: optionally
use (basic) r
a
n
g
e p
r
opa
g
at
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ad
d
som
e
supp
o
rt
f
or deal
i
n
g wi
t
h
e
v
a
l
ues that repre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
barvinok_
e
nume
r
ate
:
support
u
s
e
of Euler-Ma
c
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
imple
m
ent Bernoulli_sum as conver
s
ion from unwe
i
g
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: exploit integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
k
e
ep
t
ra
c
k of n
u
mber
of Bernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
bernoul
l
i
.
c
:
protect shared evalue
from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
test Be
r
n
ou
l
li sums based
e
xact
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_count
_
with_op
t
ions: compute
(e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum_
e
val
u
e: optionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
lattice_point
.
h:
export fractio
n
al_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
rvinok
_
e
n
umerate_wit
h
_options
:
c
o
mp
u
te (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Be
r
noulli_sum_eva
l
u
e
: handle
e
q
u
a
l
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum_e
v
alue:
c
u
t
o
f
f som
e
redunda
n
t p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
Bernoulli_s
u
m_evalue: make sure
no e
m
pty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
ernoulli_sum_evalue
:
remove redundant
cons
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolae
g
e
b
ernoulli
.
c
:
minor refact
o
ring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_s
u
m:
h
an
d
le context constraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
g
e
for_each_l
o
wer_upp
e
r_bo
u
nd: a
d
d a
n
other callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
verify
.
c: ad
j
ust defa
u
l
t
range
t
o
context
i
f
need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
eul
e
r
.
cc: summate_over_domain: only conside
r
a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
param_uti
l
.
c: expo
r
t
P
aram_V
e
rtex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
aege
Para
m
_
Polyhedron
_
Facet:
pass facet definin
g
const
r
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
genfu
n
.
c
c
: parallel_
p
olyt
o
pes: don't bother
h
andlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_split
_
d
o
ma
i
n
s
_
i
nto_orthan
t
s: don
'
t reduce
evalu
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_
r
ea
d
: on
l
y allow terms to cro
s
s
newli
n
es i
n
side
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ve
r
doo
l
a
e
ge
eval
u
e
_
read: o
n
ly accept imp
l
icit mu
l
tipli
c
ation o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_read: ac
c
ept constraints
c
ontaining "'
-
' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue_bernstein_coeff
i
cients:
e
n
sure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
b
ernst
e
in: piec
e
wise_lst: correctl
y
p
r
int
a
nd
eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verd
o
o
lae
g
e
re
m
o
v
e
_
all_equalities: keep removing
p
ara
m
eter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-03-24
S
ven
V
erdo
o
laeg
e
doc:
c
onsistent use of Kev
i
n's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
doc:
update now published
paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
e
rdoola
e
g
e
for_each_lower_upper_bound:
a
llow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
Reve
r
t "ea
d
d_pa
r
titions: t
r
y t
o
combine mu
l
tiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Ve
r
doolaege
e
v
alue
_
read
_
parti
t
ion: put pa
r
ti
t
ions
b
ack in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
evalu
e
: r
e
duce
_
evalue: add note on so
m
e miss
e
d opp
o
rtunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
b
erns
t
ein
.
cc
:
ha
n
dle inp
u
t with
u
nions
+ relation
v
i
olate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
do
o
l
a
ege
ma
x
imize
.
cc: deal with unions in input du
r
ing ve
r
ification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olae
g
e
evalue_
s
ub
s
titut
e
: properl
y
handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
e
value
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
erd
o
olaege
evalue_read:
cor
r
ectly read variable
names
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
evalue_re
a
d: accept
top level "relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rd
o
olaege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdool
a
ege
e
v
alue_bac
k
subs
t
it
u
te
:
add re
q
uired modu
l
o
c
o
nstrai
n
ts
commit
|
commitdiff
|
tree
2008-02-26
Sven
Verdoolaege
evalue
.
c
:
*
_pa
r
titions
:
sim
p
lif
y
constraints
bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
e
n Ve
r
doolae
g
e
doc: more specific information
on buggy
c
d
dlib ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaeg
e
configure
.
in: require cddlib 0
.
94
e
by te
s
ting for bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
V
erdoo
l
a
e
ge
con
f
igur
e
.
i
n: only com
p
ile occ if c
o
de_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add som
e
tests
f
o
r im
p
lementation
o
f
projecti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoola
e
g
e
doc: do
c
ument new options and new ap
p
l
ications
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoolaeg
e
AUTHORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ge
n
fun
.
cc: short_r
a
t::pri
n
t: corr
e
ctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
Exp
o
rt serie
s
as b
a
rvinok_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
rdoolaege
remove_parameter_equalities: s
t
op "
r
emovin
g
" e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
series: leave freein
g
of P argument
t
o
ca
l
ling f
u
nction
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc
:
document
i
mplement
a
tion of the projectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdo
o
laeg
e
a
d
d
b
a
rvinok_enumerate_e_serie
s
implem
e
nting th
e
proje
c
tion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
ge
n
f
u
n
.
cc: fi
x
and
d
ocume
n
t p
a
rallel polytopes clas
s
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolae
g
e
M
ove GiNaC-
i
ndependent part of library
t
o barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ver
d
ool
a
ege
polyl
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
dool
a
ege
doc
:
how to count th
e
num
b
er of elemen
t
s in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n Ver
d
oolaeg
e
doc/implementati
o
n
.
te
x
: avo
i
d multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
S
ven
V
erdoolae
g
e
lattice_width
.
c: try vertices of previous
i
nteger
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc: document integ
e
r
hull compu
t
at
i
on
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
h
ull
.
c:
add
a
ll poin
t
s found b
y
sampling direct
l
y
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
e
g
e
P
o
s
sible opt
i
mi
z
ation
s
f
o
r genera
l
ized basis reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use of g
e
neraliz
e
d basis reduction to
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdo
o
laege
add Pol
y
hedron_Integ
e
r_Mi
n
i
m
um for comp
u
ting the in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erd
o
olaege
doc: document general
i
zed ba
s
is reduction ba
s
ed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
o
l
a
e
g
e
doc/
b
a
rvin
o
k
.
bib: add missing
s
tring
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolaege
add more missing a
s
sert
.
h
#i
n
cludes
commit
|
commitdiff
|
tree
2007-11-15
S
ven
V
erdoolaege
configure
.
in: only
c
om
p
ile
l
ibbar
v
ino
k
as a
s
tatic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olae
g
e
Polyhedro
n
_Redu
c
ed_Basis: d
o
n't stop to
o
early w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oo
l
aege
c
o
mpute_width_dire
c
t
i
ons:
o
nly
k
ee
p
l
ist of di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoo
l
aege
zso
l
ve:
d
o
n
't in
s
tall li
b
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoola
e
ge
vers
i
on
.
c: sho
w
use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
co
n
figure
.
in: don
'
t set with
_
{poly,pip}lib_pre
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
Polyh
e
d
r
on_Sample:
be sa
t
i
sfied
w
ith a
r
easona
b
l
e
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
cone_integer_h
u
ll: opti
o
nally print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
er
d
oolaege
b
a
sis
_
reduction: k
e
ep track of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
e
r
doolaege
option
s
:
mo
v
e
--pr
i
nt
-
stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdo
o
laege
bern
s
tei
n
: rework
t
estin
g
fra
m
ework
t
o
n
ot depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolae
g
e
bernstein
:
add
piecewise_lst::is
_
equal
commit
|
commitdiff
|
tree
next