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 piplib for corrected Urs_parms handling
2008-03-31
Sven Verdoolaege
Berno
u
lli_s
u
m_evalu
e
:
make sur
e
no empty p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
B
e
rnoulli_sum_evalue: re
m
ove redundant
c
on
s
traint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
ber
n
oulli
.
c: minor refact
o
ring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum: hand
l
e c
o
ntext
c
onstraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
Bernoulli_
s
u
m_evalue: m
a
ke sure enough m
e
mory i
s
allocate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
f
or_each_
l
ower_upper_b
o
und: add anot
h
er
c
allback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
v
e
rify
.
c
:
a
djus
t
default range to context if
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
u
l
er
.
c
c
: summate_over_do
m
a
in: only con
s
ide
r
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
param_util
.
c: expo
r
t
P
aram_Ve
r
tex_S
e
t_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
P
a
ram_Polyhedron_Facet: pass facet defining c
o
ns
t
raint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
genfun
.
cc: parallel_polytope
s
: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
er
d
oolaege
evalue_sp
l
it_
d
omains_into
_
orth
a
nts: do
n
't
reduce
e
va
l
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
eval
u
e_read:
o
nly allow te
r
ms to cross newline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
eva
l
ue_rea
d
:
o
nly acce
p
t implicit m
u
ltiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue_read:
a
ccept
c
onstraints containing
"
'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
evalue_bernstein_coefficients
:
ensure r
e
su
l
t partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaege
bernstein: piece
w
ise_lst:
c
orre
c
tly pr
i
n
t and evalua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
r
e
mo
v
e_all
_
equalities: kee
p
rem
o
vin
g
parame
t
er e
q
uali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update
p
olylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
o
laege
do
c
: consisten
t
use of Kevi
n
's
i
ni
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoola
e
g
e
doc:
u
pdate no
w
published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
fo
r
_each_lower_upper_bound:
a
llow abse
n
c
e
of
l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdo
o
laege
Revert "eadd_pa
r
titions: try to combi
n
e
mul
t
ip
l
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verd
o
olaege
evalue_read_par
t
ition: pu
t
partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
eva
l
u
e
: reduce_evalue: add note on
som
e
missed oppor
t
uniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
laeg
e
bernst
e
in
.
cc:
handle input with unions + relation violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
m
a
ximize
.
cc:
d
eal with unions in input during verifi
c
a
t
i
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
evalue_
s
ubstitute
:
properly handle relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
e
value
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdoolaege
evalue_r
e
a
d: correctly read
v
ariable
n
ames
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdo
o
la
e
ge
evalue
_
read: ac
c
ept t
o
p
level "re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
doola
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolae
g
e
evalue_backsubsti
t
ut
e
: add r
e
q
uired modul
o
constraint
s
commit
|
commitdiff
|
tree
2008-02-26
S
ven Verd
o
ol
a
ege
e
v
a
lue
.
c: *_part
i
tions:
s
i
m
pli
f
y
con
s
t
r
ain
t
s befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
doolaege
d
o
c
: more s
p
ecific i
n
f
o
rmation on buggy cdd
l
ib
v
ersions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdoola
e
g
e
configur
e
.
i
n: re
q
uir
e
cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
Verdoolae
g
e
configure
.
in: only compile occ
i
f
cod
e
_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barv
i
n
ok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolae
g
e
add s
o
me tests for i
m
plementation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
doc:
do
c
ument new optio
n
s and new appl
i
cat
i
on
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AU
T
HORS
:
up
d
ate support information
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
e
r
d
o
o
laege
genfun
.
cc: short_rat::p
r
i
nt:
correctly print
polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Ex
p
ort series as b
a
r
v
inok_enumerate_se
r
ies and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
r
emo
v
e_
p
arame
t
er_equalities: stop
"
r
emoving" equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
a
e
ge
series: leave fre
e
ing of
P
argumen
t
to cal
l
i
n
g functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docume
n
t implementat
i
on of th
e
projection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oolaege
add b
a
r
v
inok_
e
nume
r
at
e
_e_series i
m
plemen
t
i
ng the p
r
oj
e
ctio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaeg
e
g
e
n
f
un
.
cc: fix
a
nd do
c
umen
t
parall
e
l polytopes c
l
ass
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdool
a
ege
Only comp
i
l
e zsolve if
gcc 3
.
4 or later is
a
v
a
i
l
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
Move GiNaC-independent par
t
o
f
library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
laeg
e
poly
l
ib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
e
g
e
doc: how
t
o
c
ount the
number
o
f
e
lements
in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ve
n
V
e
rdool
a
e
g
e
d
o
c
/i
m
plementation
.
t
e
x: a
v
oid
m
u
lti
p
ly
d
efined lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
rdoolaege
latti
c
e_wi
d
t
h
.
c:
t
ry verti
c
es o
f
pr
e
vious integer
h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
doc: document integer
hull
computati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
hull
.
c: add all
points found by sampling dir
e
ctly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdoo
l
ae
g
e
Possibl
e
optimization
s
for generalized basis r
e
duction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdo
o
laege
Support use of generalized basis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add
Pol
y
h
e
dron
_
Integer_Minimum fo
r
computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoo
l
aeg
e
d
oc: document generalized basis reduct
i
on based intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolae
g
e
do
c
/barvinok
.
bib: a
d
d missing string
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Ve
r
doolaege
add
m
or
e
missing asser
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rd
o
olaege
eval
u
e
.
c: add missing incl
u
de of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
o
olaege
c
onfigure
.
i
n
:
p
ass p
a
th of GMP i
n
s
t
alla
t
io
n
t
o Po
l
yLi
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
o
laege
co
n
figure
.
in: only
c
ompi
l
e libbarvin
o
k as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhe
d
ron_Redu
c
ed_Basi
s
: don't stop too early whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
er
d
oola
e
ge
c
omput
e
_w
i
dth_directions: onl
y
keep list
o
f dist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
zs
o
lve
:
don
'
t
i
n
stall library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ve
r
sio
n
.
c: show
u
se of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n V
e
r
doola
e
ge
co
n
figure
.
in: do
n
'
t
set with_{pol
y
,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
o
l
ae
g
e
P
o
l
yhedron_Sample: be
s
atisfied with a
r
e
aso
n
abl
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoo
l
aege
cone_inte
g
er_h
u
ll: optionally pr
i
nt stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
ae
g
e
basis_reduc
t
ion: keep track o
f
number of LPs
s
olv
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ver
d
oolaege
options: move --pr
i
nt-stats to
librar
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bern
s
tein: rework testing framework
t
o not d
e
p
end on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
bern
s
te
i
n
: ad
d
piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoo
l
aege
support
n
ewer
vers
i
ons of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
standard_constr
a
ints:
move from t
o
pcom
.
c
t
o polys
i
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
Verdoolaege
polysign
.
h:
remove dependency on lexmi
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
l
a
e
ge
zsolve: add banne
r
.
h to distrib
u
tion
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n V
e
rdo
o
la
e
ge
P
o
lyhedron
_
Lattice_W
i
dth_
D
irections: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
V
erdoolaege
ba
s
is_reducti
o
n_
p
ip:
abort on invalid
(emp
t
y) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README: expla
i
n
ho
w
to get s
u
bm
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
doc
:
do
c
u
m
e
nt
lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some lattice width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Ve
r
d
oolae
g
e
Polyhedron_
L
att
i
ce_Width: deci
d
e on facets to
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaeg
e
add Polyh
e
dron_Lattice_Width for comput
i
ng lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoola
e
ge
hil
b
er
t
.
c: add Cone_Integer_Hull for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign
:
add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ve
r
doolaege
polys
i
gn:
a
d
d constr
a
ints_op
t
to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdo
o
laege
p
olys
i
gn_cdd: s
w
itch
t
o use of
Ma
t
r
i
x represe
n
tati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_gl
p
k:
s
witch to
u
se of Ma
t
rix represent
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
do
c
: do
c
ument computation of Hilbert basis of a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
Cone_Hilbert_Basis: use standard_cons
t
raints to
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsolve
to compute Hilbert
ba
s
is of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
o
l
aege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: d
o
n
'
t
i
n
st
a
ll headers an
d
executables
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoola
e
ge
z
solve: ini
t
ia
l
ize BackupTime in ZS
o
lveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zsolve:
zsolve
S
y
stem: add missing ve
r
b
o
sit
y
check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolv
e
: override LIBS from top level
commit
|
commitdiff
|
tree
next