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 parker
2008-03-31
Sven Verdoolaege
Add park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
euler
.
cc: evalu
e
_derive:
h
andle
constant
p
olynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
d
d som
e
test s
e
ts fro
m
cases 2
0
0
4 and
cc 2005 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
rename ba
r
vino
k
_m
a
ximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
add a test
for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
ol
a
ege
eval
u
e_ran
g
e_propaga
t
i
on: r
e
m
ove
redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
_bound:
rec
o
r
d
number of p
o
lynomials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
ae
g
e
test_bo
u
nd:
c
o
n
ver
t
qu
a
sipolynom
i
als to
p
ol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
r
doolaege
t
e
s
t
_bound:
c
ompare polynomia
l
bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aeg
e
verify
.
c:
optimum: handle input
evaluat
i
ng
t
o
nega
t
iv
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erd
o
olaege
verify
.
c: extract evalue_op
t
im
u
m from m
a
xi
m
ize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
verify
.
c:
extra
c
t common
c
ode for verif
y
ing operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_rang
e
_propagation:
ad
d
monoto
n
icity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvin
o
k_maximize:
o
ptionally use (ba
s
ic) range propagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
A
dd some
supp
o
rt for deal
i
ng wit
h
evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate:
support use
o
f
E
u
le
r
-Macl
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
implement Bernoulli_sum
a
s conversion
f
rom unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_e
v
alu
e
:
e
xplo
i
t
integer
b
o
u
nds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
e
ep
t
r
a
ck of number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
be
r
n
oulli
.
c: protect shared evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
l
aege
test Bernou
l
li su
m
s based exact enume
r
ation
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaeg
e
barvinok_count_with_opti
o
ns: compute (exact
)
Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ver
d
oolae
g
e
Bernoul
l
i
_
sum_evalue: optionally h
a
n
d
l
e
fract
i
o
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lat
t
i
c
e
_
point
.
h: e
x
po
r
t f
r
act
i
onal_p
a
rt with
C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
barv
i
n
o
k_enumerate_with_o
p
tions: compute (exact)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
B
e
rnoulli_sum_ev
a
lue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoull
i
_sum_eval
u
e: cut off
some r
e
dundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum
_
eva
l
ue
:
make sure no empty p
a
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doo
l
aege
Bernoul
l
i_sum_eval
u
e: remove redundant con
s
t
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
b
e
rnoulli
.
c:
m
inor re
f
actorin
g
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_su
m
: h
a
ndle context
c
onstrain
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each_l
o
wer_upp
e
r_bo
u
nd: ad
d
another ca
l
lba
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
ver
i
fy
.
c: adjust default range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: su
m
mate_over_domain
:
o
n
l
y
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
pa
r
am_util
.
c: e
x
p
ort Param_Vert
e
x_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
P
a
r
am_P
o
lyhedr
o
n_Facet
:
pa
s
s facet de
f
i
ning co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
g
e
nfun
.
cc:
parallel_poly
t
opes
:
don't both
e
r hand
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
a
ege
evalue_
s
p
li
t
_do
m
ains_into
_
ort
h
a
nts:
d
on't reduce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
e
valu
e
_read: only
all
o
w term
s
to cros
s
new
l
i
n
es
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
ue_read:
onl
y
acce
p
t
i
mplici
t
multiplicatio
n
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
evalu
e
_r
e
ad:
accept constraints containing "
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdo
o
laege
evalue_b
e
r
n
stein_coefficients: e
n
s
u
r
e
r
e
s
ult
p
a
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
b
e
rnstein
:
piecewise_lst: correctly print and
e
v
a
lu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdool
a
e
g
e
r
e
m
o
ve_a
l
l_
e
qual
i
ties: k
e
ep r
e
m
ovin
g
parame
t
er equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
upd
a
te po
l
yli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
e
g
e
doc: c
o
nsistent use of
K
evin's initia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
d
oc: update
n
ow publi
s
hed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
f
o
r_each_lower_
u
p
p
e
r
_bound: allow absence of
lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Rever
t
"eadd_partitions: try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Ver
d
oolaege
evalue_rea
d
_partition: put partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
eval
u
e: reduce_evalue:
ad
d
note on
s
ome missed
o
pportun
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaeg
e
be
r
ns
t
e
i
n
.
cc: handle input with
unions + re
l
ation
vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
m
ax
i
mize
.
c
c
: deal with union
s
in input
d
u
r
ing ve
r
if
i
c
a
tion
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ver
d
oo
l
ae
g
e
e
value_s
u
bstitute: p
r
operly
handle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
e
v
alue
.
c:
c
lean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
Ver
d
oolaege
evalue_r
e
ad: correctl
y
rea
d
varia
b
l
e names
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oola
e
ge
e
val
u
e_read: a
c
cept t
o
p level
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
up
d
at
e
p
o
lylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoo
l
aege
evalue_backsub
s
tit
u
te: add
r
e
quir
e
d modu
l
o const
r
aints
commit
|
commitdiff
|
tree
2008-02-26
Sven V
e
rdoolaege
ev
a
lue
.
c: *_part
i
tions: simplify
c
onstraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdool
a
ege
d
o
c:
m
o
r
e
specific info
r
mat
i
o
n on buggy c
d
dlib vers
i
ons
commit
|
commitdiff
|
tree
2008-01-28
Sven Ver
d
oolaege
configure
.
in:
r
e
quire
c
d
dlib 0
.
9
4
e
by t
e
sting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
oolaege
con
f
igure
.
i
n: on
l
y compile
o
cc if cod
e
_ge
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
barvi
n
ok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdool
a
e
g
e
add some tests
for
i
m
p
lementati
o
n of
p
r
o
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
do
o
laege
d
o
c: document new
options and new appl
i
ca
t
io
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
AUTHORS: update sup
p
ort infor
m
atio
n
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Ver
d
ool
a
eg
e
genfun
.
cc:
s
h
ort_
r
at::print: correctly print polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Ver
d
oolaege
E
xpor
t
s
e
ries as barvinok_enumerate_se
r
ies and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
re
m
ove_parame
t
er_equalities: stop "removing" equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
series: leave
f
re
e
ing of
P
argument
to calling fun
c
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
oolae
g
e
do
c
:
d
ocument implem
e
nta
t
ion of the pr
o
jection t
h
e
o
rem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoola
e
ge
a
d
d ba
r
vinok_enumerate_e_series implem
e
nting t
h
e pro
j
ection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
genfun
.
cc: fix a
n
d documen
t
parallel polyt
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
laege
M
o
v
e
GiNaC
-
indepe
n
dent part of lib
r
ary
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
p
olylib: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
doc: how to
c
ount
th
e
num
b
er of element
s
in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
en V
e
r
d
o
olae
g
e
d
oc/implementa
t
ion
.
te
x
: a
v
oid multipl
y
defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
la
t
tice_width
.
c: try
vert
i
c
e
s
of previous
integer
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document integer
h
u
l
l
c
omput
a
tion
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
hull
.
c: add al
l
points f
o
u
nd by sa
m
pling directly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible o
p
timiza
t
ions for
g
eneraliz
e
d basis
r
eduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Su
p
port use of gene
r
alized bas
i
s r
e
duction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
Verdo
o
laege
add
Polyhe
d
ro
n
_
I
nteger_Mi
n
imum fo
r
computing the i
n
teg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: d
o
cument ge
n
eralized basis reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Ve
r
doolaege
doc/
b
arvin
o
k
.
bi
b
: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
aege
add more
missin
g
a
sse
r
t
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
configure
.
in: o
n
ly
compile l
i
bbarvinok as a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
P
o
lyhedron_R
e
duced_Basis: do
n
't stop
t
o
o earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ve
n
V
e
r
d
oolaeg
e
c
o
mpute_width_directi
o
ns: on
l
y ke
e
p list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zs
o
lve: don't in
s
t
a
ll libra
r
y
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdool
a
ege
versi
o
n
.
c:
sh
o
w
us
e
o
f
T
O
PCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
configur
e
.
in: don't set
w
i
t
h
_{poly,pip}
l
ib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolae
g
e
Pol
y
hedro
n
_
S
ampl
e
:
be satisfied with
a
reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
cone_integer_h
u
ll: optiona
l
ly
p
rint stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Ver
d
oo
l
aege
basi
s
_
reduction
:
k
eep tra
c
k
of n
u
mber of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
ven Ve
r
doolaege
options: move -
-
print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoola
e
ge
bernstein: rework testing framework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
b
e
r
n
st
e
in:
add piecewise_
l
st::is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaeg
e
support ne
w
er vers
i
ons of GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
next