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_sum: handle context constraints
2008-03-31
Sven Ve
r
doolaege
Ber
n
o
ul
l
i
_sum: handle co
n
text co
n
straints
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
d
o
o
laege
Berno
u
l
l
i_sum_eval
u
e: make sur
e
e
no
u
gh m
e
mory is
allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
f
o
r_each_low
e
r_uppe
r
_
b
ound: add ano
t
her cal
l
b
a
c
k
fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
verify
.
c: a
d
just default range to context if
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
e
u
ler
.
c
c: summate_over_dom
a
in: only consider a
c
t
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
p
aram_util
.
c:
e
xport
Param_Ve
r
tex_Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Pa
r
am_
P
o
lyhedron
_
Face
t
: pass facet
d
e
f
i
n
ing constr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
o
laege
genfun
.
c
c: par
a
l
lel_p
o
l
y
topes: don't both
e
r
handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
eva
l
ue
_
split_domai
n
s_into_orthants:
don't red
u
ce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read:
only allow te
r
ms
to cross newlines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
eg
e
eva
l
u
e_re
a
d
:
only acc
e
pt implic
i
t multip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_read:
accept constraints
co
n
taining "'-' sp
a
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoola
e
ge
e
v
alue_ber
n
stein_coefficients:
ensur
e
resu
l
t partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaeg
e
bernstein: p
i
ecewise_ls
t
:
corr
e
c
tly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erdoolaege
remove_all_equal
i
ties: keep removing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
olaege
doc
:
consisten
t
u
s
e o
f
Kevin'
s
in
i
tia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
d
oc:
u
p
date now pu
b
lished pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verd
o
olaege
for_e
a
c
h
_
lower_upper_bo
u
nd: allow
ab
s
ence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
g
e
Rev
e
rt "eadd_partitions
:
try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
evalue_
r
ead_
p
artition: put
p
art
i
tions back in the sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
evalue: red
u
ce_e
v
alue: a
d
d
no
t
e on some m
i
s
sed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
be
r
nste
i
n
.
cc:
h
andle input with
u
ni
o
ns
+
relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erd
o
olaege
maximi
z
e
.
c
c:
d
eal with unions in i
n
put during ver
i
fication
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
dool
a
e
g
e
evalue_substitu
t
e:
p
roperly handle rel
a
tions
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
e
v
a
lu
e
.
c: clean
u
p e
m
ul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue_read: correctly read v
a
riable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalue_read:
acc
e
pt
top l
e
vel "relatio
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
u
pda
t
e poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Ve
r
doo
l
aege
evalue
_
b
ac
k
sub
s
tit
u
te:
a
dd
r
equired
m
odulo constraint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c:
*_partitio
n
s: simpli
f
y co
n
straints b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
erdoolae
g
e
doc:
m
o
re sp
e
cifi
c
inform
a
tion on bu
g
gy cddli
b
ve
r
si
o
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n
V
erdoo
l
aege
configu
r
e
.
in: require cddl
i
b
0
.
9
4
e by testin
g
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
V
erdoola
e
g
e
configure
.
i
n
: only compil
e
occ if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
add
som
e
tes
t
s f
o
r impleme
n
tati
o
n
o
f projectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdool
a
ege
do
c
: document ne
w
options and new ap
p
lications
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
A
U
THOR
S
: update
support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
genfun
.
c
c
: sh
o
rt
_
rat::print: correc
t
l
y
print polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
E
x
por
t
seri
e
s a
s
barvinok_enumerat
e
_s
e
ries a
n
d u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaeg
e
remove_parameter_equalit
i
es: stop "removing"
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
s
eries: leave freei
n
g of P argument to cal
l
in
g
function
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
doc: document
implementation of
the
p
rojection theo
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
add
b
a
r
vinok_enumera
t
e_e_ser
i
es implementing
the projectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
genfun
.
cc: fix and
d
ocum
e
nt pa
r
a
lle
l
p
o
lytope
s
class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only
compile zsolve if gcc 3
.
4 or later
i
s available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aeg
e
Move GiNaC-independen
t
part of
l
i
brary to
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
e
rd
o
olaege
do
c
:
ho
w
to c
o
unt
t
he n
u
mber o
f
elements in possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoolaege
d
o
c/im
p
leme
n
t
ation
.
t
ex: avoi
d
multiply de
f
in
e
d label
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
lattice_wi
d
t
h
.
c: tr
y
vertic
e
s
o
f
previous
i
n
t
eger
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdo
o
laege
doc: documen
t
inte
g
er hull computat
i
on
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdoolaeg
e
hull
.
c: add all po
i
nts f
o
und
by sa
m
pling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoola
e
ge
Possib
l
e opti
m
iz
a
tions for
g
e
ne
r
a
l
ized ba
s
is reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
d
oo
l
aege
Supp
o
r
t use of genera
l
ized basis r
e
duction to
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhe
d
ron_
I
nt
e
ger_Minimum f
o
r
compu
t
in
g
the i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoo
l
aege
do
c
: document generalized basis reduction based
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
doc/ba
r
vin
o
k
.
bib:
a
dd mi
s
sing stri
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
o
lae
g
e
add mo
r
e mis
s
ing
ass
e
rt
.
h
#in
c
ludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdool
a
ege
evalue
.
c
:
add missing
include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolaege
configure
.
i
n: pa
s
s path of GMP installation to Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
onfigure
.
in:
o
n
ly compil
e
libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
P
olyh
e
dron_Reduced
_
Basis: don't
s
top
t
oo early
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
g
e
compute_width_directions: only kee
p
list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
z
s
olve: don't i
n
stall library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c: show use of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
conf
i
gure
.
in
:
don't set with_{poly,pip}lib_p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
Po
l
yhedron_Sample: be
sati
s
fied wit
h
a
reasonable c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
c
o
ne_integer_h
u
ll: op
t
ionally pri
n
t stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_red
u
cti
o
n: kee
p
tr
a
ck of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdo
o
laege
options: move --print-stats to lib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: rework testing framew
o
rk to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ver
d
oolaege
bernstein: add piecewise
_
lst:
:
is
_
e
qual
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoo
l
aege
sup
p
ort
n
ewe
r
versions of
G
i
NaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standar
d
_constraints: move
from topcom
.
c
to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oola
e
ge
zsolve: add banner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
V
e
r
doolaege
Polyhedro
n
_Lattice
_
Width_Directions: print progr
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
ba
s
is_reduction_pip:
abort on
i
nval
i
d (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
READM
E
: explain
h
ow to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
doolaege
doc: document lattice width computat
i
on
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Ve
r
do
o
l
a
ege
some la
t
tice widt
h
t
e
s
ts from Jon Y
a
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhed
r
on_Lattice_Widt
h
: d
e
cide
o
n face
t
s to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
add
P
olyhedr
o
n_Lattic
e
_
W
idth for co
m
puting l
a
ttice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolae
g
e
hilbert
.
c: add Cone_
I
ntege
r
_Hull fo
r
computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
polysign: a
d
d pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
po
l
ysign: add const
r
aints_op
t
to
c
omput
e
o
ptimum
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
polysig
n
_
c
dd: swit
c
h to u
s
e of Matrix representat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoolaege
polysign_
g
lpk:
switch to use of
Matr
i
x
r
epresentati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
do
c
:
document comput
a
tion of Hilbert basis o
f
a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
e
r
d
o
olaege
Cone_H
i
l
b
e
rt_B
a
sis: use stand
a
rd_
c
o
nstraints
to a
v
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsolve to co
m
pute Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
co
m
pile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
aege
z
s
olve: don'
t
install
h
eaders and
executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: in
i
ti
a
lize B
a
ckupTime in
Z
SolveCont
e
xt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zsolve: zsolveSystem: add missing verb
o
s
ity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
olae
g
e
zsolve:
override LI
B
S from t
o
p le
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oolaege
add 4ti2-1
.
3
.
1+
a
utoconf-0
.
1 ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
add zsol
v
e from 4ti2-1
.
3
.
1
+aut
o
conf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_util
.
c: export bit_vect
o
r_count
commit
|
commitdiff
|
tree
next