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
bernoulli.c: minor refactoring
2008-03-31
S
ven V
e
r
d
o
olaege
bernoull
i
.
c:
m
i
n
or refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_s
u
m: handle context constra
i
n
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
l
i
_sum_eva
l
u
e
: make sure enough memory is allocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
for_e
a
ch_lowe
r
_upp
e
r_bound: a
d
d an
o
ther callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
ve
r
ify
.
c: adju
s
t d
e
fault range to c
o
ntext if n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
euler
.
cc: sum
m
ate_over_
d
omain: only consider
a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
param_u
t
i
l
.
c
:
export Param
_
Vertex_Set_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param
_
Polyhedron_
F
acet: pass facet defin
i
ng constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
genfun
.
cc: parallel
_
polytopes: don't
b
othe
r
ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
evalue_s
p
lit_do
m
ains_into_orthants: don't reduc
e
e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_read: o
n
ly
a
llo
w
terms
to cross
n
ew
l
in
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_read: only accept im
p
licit multiplicat
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
eva
l
ue_read: accept constrai
n
ts containi
n
g "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
do
o
laege
e
value_bernstein_coef
f
icients
:
ensure result
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verd
o
olaege
bernste
i
n: piec
e
wise_lst: co
r
rectly p
r
i
n
t a
n
d evalua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolae
g
e
r
e
move_all_equalitie
s
: keep removing parameter equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven
Verdool
a
ege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verd
o
o
l
aege
doc:
con
s
istent use of Kevi
n
's in
i
tia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
doc
:
update
n
ow
publishe
d
paper
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lo
w
er
_
upper_boun
d
: a
l
low abse
n
ce
o
f lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
Revert "eadd_
p
arti
t
ions: tr
y
to combine
m
u
l
t
iple do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
e
v
alue_read_partitio
n
:
p
ut partitions
back in the
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
e
v
alue: red
u
ce
_
evalue:
a
dd
note
on s
o
me missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoola
e
ge
bernstein
.
cc: handle inpu
t
with unions + relation
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
laege
maximize
.
cc: deal with unions
in
inpu
t
duri
n
g verificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
eval
u
e_
s
ubstitute: properl
y
handle
relations
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalu
e
.
c:
c
lea
n
up emul and
ead
d
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read
:
correctly
r
ead v
a
ria
b
le name
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: acc
e
pt
t
o
p level
"
relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
p
date
p
olyli
b
commit
|
commitdiff
|
tree
2008-02-29
S
ven V
e
rdoolaege
evalue_backsu
b
s
t
i
tute: a
d
d required
modulo
con
s
train
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven
V
erdoolaege
evalue
.
c: *_partit
i
o
ns: simplify constraints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc: more specif
i
c information on buggy cd
d
lib ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdo
o
laege
confi
g
u
re
.
in: require cddlib 0
.
94e by testing for
b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdoolaege
config
u
re
.
in: only compile occ
i
f code_gen li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
barv
i
nok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add so
m
e tes
t
s
f
o
r impl
e
ment
a
tion
o
f projecti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
doc:
d
ocument n
e
w
op
t
ions
and new
applications
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
oolae
g
e
AUT
H
ORS: update sup
p
ort
i
n
f
ormation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
en
f
un
.
cc: short_
r
at::print: c
o
rrectly print poly
n
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export
s
eries as barvino
k
_enume
r
ate_series an
d
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_equalities: sto
p
"remo
v
i
n
g" eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
ola
e
ge
series: lea
v
e freeing o
f
P argument
to calling
f
u
n
c
t
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
d
o
c: docum
e
nt implementation of
t
he
pr
o
j
e
ction theore
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdoolae
g
e
add barvinok_enumerate_e_se
r
ies implementing
t
h
e
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
g
enfun
.
cc: fix
a
nd
d
o
cument parallel
polyt
o
pes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
O
nly c
o
m
pile
zs
o
lve if gc
c
3
.
4
or late
r
is available
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
Move GiNa
C
-ind
e
pendent
part o
f
library to
b
arvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
dool
a
ege
p
olylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoolaege
doc: how t
o
count
the nu
m
ber
o
f elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoolaege
doc/implementati
o
n
.
tex: a
v
oid m
u
ltip
l
y defined
label
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
Verdoolaege
latt
i
ce_
w
i
d
t
h
.
c:
try
vertices of
pre
v
ious integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
oolaege
doc: document inte
g
er hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
hull
.
c: add all points found by sampling directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdo
o
lae
g
e
Po
s
sible optimiz
a
tions for gener
a
lized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdo
o
la
e
ge
Sup
p
ort use of generali
z
ed ba
s
is reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdoolaege
add P
o
lyhedro
n
_
I
nteger_Min
i
mum for c
o
mp
u
ti
n
g
the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoola
e
ge
do
c
:
document g
e
ne
r
alized basis reduction based
i
nte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
d
o
c/barvinok
.
bib:
a
dd m
i
s
sing st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n
Verdoo
l
a
ege
a
dd more missing asser
t
.
h #include
s
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdool
a
e
g
e
e
va
l
ue
.
c: ad
d
mis
s
i
n
g in
c
lud
e
of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
en
V
e
rdo
o
laege
con
f
igu
r
e
.
in: pass path of GMP installati
o
n
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaeg
e
configur
e
.
in: only c
o
mpil
e
libbarvinok as a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoola
e
ge
Poly
h
edron_Reduc
e
d_
B
asis: don't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
c
o
m
pute_width_di
r
ect
i
o
ns: only
k
eep list of
d
istinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
o
la
e
ge
zs
o
lve: don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
versio
n
.
c
:
show use
o
f TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
rdo
o
laege
c
onfigure
.
in: do
n
't
s
e
t
with_{poly,pip}lib
_
pr
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoola
e
ge
Polyhedron_Sampl
e
:
be s
a
t
i
sfied
with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_i
n
teger_hull:
opt
i
ona
l
l
y
print stat
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
basi
s
_reduction
:
k
e
ep track of num
b
e
r
of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: move --print-st
a
ts to li
b
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernste
i
n: rework testi
n
g
f
ramework to no
t
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
b
e
rnstein: add piecewi
s
e_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolae
g
e
support ne
w
er version
s
of GiNaC
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
ven V
e
r
doolaege
standard_con
s
traints:
m
ove from topc
o
m
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
p
o
lysign
.
h: remove depen
d
ency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdo
o
l
aege
zs
o
lv
e
: add
b
an
n
er
.
h
to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Polyhedron_Lattice_Width_Di
r
ection
s
: print p
r
ogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verdool
a
ege
basis_re
d
uction_pip: abort o
n
invalid (empty) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
README: explain
h
ow to
get submodules
commit
|
commitdiff
|
tree
2007-11-02
S
ve
n
Verdoolaege
d
o
c:
d
ocument lattice width computa
t
i
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdool
a
e
g
e
some lattice width tests from Jon Yag
g
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
e
r
doolaege
Polyhed
r
on_L
a
ttice_Width: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
add Polyhed
r
on_
L
a
t
tice_Width for computing l
a
t
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaeg
e
hilbert
.
c: ad
d
Co
n
e_Inte
g
er_Hull for computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdoolaeg
e
polys
i
gn
:
add
p
ip-backed
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaeg
e
p
o
lysign: add c
o
ns
t
r
aints_opt
t
o compute op
t
imum
ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
lysign_cd
d
:
switch to
u
se o
f
M
a
t
r
ix re
p
resentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
poly
s
ig
n
_glpk:
s
witch to
u
s
e
o
f Matrix repr
e
s
ent
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
ege
do
c
: docu
m
ent computation of H
i
lbert basis
o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoo
l
aege
Cone_Hilbert_Basis: use s
t
andard_const
r
aints t
o
avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ve
r
do
o
laege
Us
e
zsolve
to com
p
ute Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
z
s
olve: don
'
t i
n
s
tall he
a
ders and executables
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdool
a
ege
zsolve: initia
l
ize
B
ackupTime in ZSol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsolve
:
zso
l
veSystem
:
add
missing verbo
s
ity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdool
a
ege
zsolve:
override L
I
BS from to
p
l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
laege
add 4ti2
-
1
.
3
.
1+autoconf-0
.
1 ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoola
e
g
e
a
d
d
z
solve
f
rom 4
t
i2-1
.
3
.
1+au
t
oc
o
nf-0
.
1
commit
|
commitdiff
|
tree
next