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
bernstein: piecewise_lst: correctly print and evaluate minima
2008-03-24
Sven Verdoolae
g
e
bernstein: piecewis
e
_l
s
t:
c
orrectly
print and eva
l
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdo
o
laeg
e
remove_all_
e
q
ualities: keep removing pa
r
a
m
eter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
up
d
at
e
po
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
doc:
co
n
sistent use of Ke
v
in's ini
t
i
a
ls
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaege
d
o
c: update now
p
ublishe
d
papers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erdoo
l
aege
for_each_lower_uppe
r
_bound: all
o
w
a
bsence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaege
Rev
e
rt
"
eadd_partitions: try to combine multiple d
o
ma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partition: put par
t
itions
b
a
c
k in
t
he same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
e
ge
evalue: red
u
ce_evalue: add
n
ote
on some mi
s
s
ed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven
V
erdool
a
ege
bernste
i
n
.
cc: handle input with unio
n
s + relation v
i
ol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
er
d
o
olae
g
e
m
a
x
i
miz
e
.
c
c
: deal with un
i
ons in input during verific
a
ti
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue_substitut
e
: properly handle rela
t
i
ons
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
eva
l
ue
.
c: clean up emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
_
re
a
d:
c
o
r
rectly read varia
b
le na
m
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
ev
a
lue_
r
e
ad:
accept top level "
r
elation"
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaeg
e
up
d
a
te pol
y
l
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
V
e
rdoolaege
evalue_backs
u
bstitute: add re
q
uire
d
mo
d
ulo constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
e
val
u
e
.
c: *_par
t
it
i
ons: simplify constra
i
nts b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ven Verdoolaege
doc: more sp
e
ci
f
ic i
n
for
m
ation
o
n buggy cd
d
lib ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
c
onfigur
e
.
in:
r
equire cddlib 0
.
94e by
t
e
s
ting f
o
r
bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in:
onl
y
c
o
mpi
l
e
occ i
f
code_gen
lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
dd some tests for im
p
leme
n
tation
of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
doc: do
c
um
e
nt
new options and new
applicatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
do
o
laege
AUTHO
R
S:
u
pdate supp
o
rt information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
ege
g
enfun
.
cc
:
s
h
ort_rat::print: correctl
y
pri
n
t poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
E
x
port s
e
r
ies as
b
arvinok_enum
e
rate_
s
eries and
u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
r
e
m
o
v
e
_param
e
ter_equalities: sto
p
"removing"
equa
l
it
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
series:
lea
v
e freeing of P argument to ca
l
ling function
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verd
o
olaege
doc: docum
e
nt implementat
i
on
o
f the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
laege
add barvino
k
_enumerate_e_ser
i
es
i
m
plementing
t
he projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc:
f
ix
a
n
d
document parallel polyto
p
e
s
cl
a
ss
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Mov
e
GiNaC-ind
e
pen
d
ent part of
lib
r
ary to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
p
o
lyl
i
b: update
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n V
e
rdoolaege
do
c
: ho
w
to co
u
nt the number of elemen
t
s in possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implementation
.
t
ex
:
avoid multipl
y
defin
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
lattice_width
.
c: try vertices of
p
rev
i
ous
i
nte
g
er hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoola
e
ge
doc: document integer hull co
m
put
a
tion
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ver
d
ool
a
ege
hull
.
c: add
a
ll
p
o
i
nts
f
ound by
sampling
d
irectly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ver
d
oolae
g
e
Po
s
sibl
e
optimizations for generalized basis redu
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
S
u
p
port use
o
f generalized basi
s
reduction to
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoo
l
ae
g
e
ad
d
Po
l
y
hedr
o
n_Integ
e
r
_
Mini
m
um
for computi
n
g the inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
oc: docu
m
ent generalized ba
s
is reducti
o
n
b
as
e
d
inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bib
:
add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oolaege
a
d
d more mi
s
s
ing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ver
d
o
o
laege
conf
i
gure
.
in:
o
nl
y
comp
i
le lib
b
arvino
k
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ver
d
oolaege
Polyhedro
n
_
R
edu
c
e
d_Basis: don't stop
t
oo
e
a
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verd
o
olaege
c
o
mpute_widt
h
_
d
ire
c
tions: o
n
ly keep list
of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
zs
o
lve: do
n
't insta
l
l li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
v
e
r
sion
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ver
d
oo
l
aege
conf
i
gure
.
in: don't set with_{poly,pip}lib_prefix fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
Polyhedron_
S
ampl
e
: be satisfied
with
a
reaso
n
able
c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
cone
_
integer_hull: optionally
p
rint sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoo
l
aege
b
a
s
is_reduction:
keep track of number of LPs s
o
lve
d
commit
|
commitdiff
|
tree
2007-11-08
S
ven
Ver
d
o
o
l
aege
option
s
: move --print-s
t
ats
to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: rew
o
rk testing f
r
am
e
wor
k
to
not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernste
i
n: add piecewise_lst::
i
s_equa
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
d
oolaege
supp
o
rt
newer versions
of GiNaC (
>
= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ver
d
oolaege
standard_cons
t
ra
i
nts: mov
e
from topcom
.
c
t
o
p
o
l
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaeg
e
p
o
lysign
.
h: remove dependency on
lexmi
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
V
erdoolaege
zsolve: add
b
anner
.
h
to
d
istributio
n
commit
|
commitdiff
|
tree
2007-11-06
S
ven Ve
r
doolaege
Polyhedron_Lattice_Width
_
Directi
o
ns: prin
t
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven V
e
rdoo
l
aege
b
a
sis_reduction_pip: abort on inv
a
li
d
(em
p
ty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
RE
A
DME: exp
l
a
i
n
h
ow to get submo
d
ules
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n V
e
rdo
o
laeg
e
doc: docum
e
n
t lattic
e
widt
h
co
m
p
u
tation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaeg
e
some l
a
t
tice w
i
dt
h
tes
t
s from Jo
n
Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven Ve
r
doolaege
Pol
y
hed
r
on_Lattice_Width: de
c
ide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
ola
e
ge
add P
o
l
y
hedron_L
a
ttice_Width
f
o
r
c
ompu
t
ing lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hil
b
ert
.
c: add Con
e
_I
n
t
e
ger_Hull
for computi
n
g vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
polysi
g
n:
a
dd pip-backe
d
ve
r
sion
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoola
e
ge
polysign: add const
r
aints_op
t
to compute
opt
i
mum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
polys
i
gn_cdd:
switch t
o
use of M
a
trix representati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
polysign_glpk: swit
c
h
t
o use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
do
c
: do
c
ument computatio
n
of H
i
lbert basis
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
la
e
ge
Cone_H
i
lbert
_
Basis: use standar
d
_co
n
s
t
raints to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olae
g
e
U
s
e zsolve
to com
p
ut
e
Hil
b
ert basis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsol
v
e:
d
on't install header
s
and execut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
zsolve: ini
t
ializ
e
BackupTime in Z
S
olveContext
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verd
o
olaege
zsolv
e
:
z
solveSystem: ad
d
miss
i
ng verbos
i
t
y
check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
ol
v
e
:
overri
d
e LI
B
S from top
l
eve
l
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoo
l
a
e
g
e
a
d
d 4ti2-1
.
3
.
1+aut
o
c
o
n
f-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
add zsolve fro
m
4ti2-1
.
3
.
1+
a
utoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdool
a
ege
param_uti
l
.
c
: export
b
i
t
_v
e
c
tor_count
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
o
ol
a
ege
topcom
.
c
: extrac
t
part of code for sett
i
ng up st
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Had
a
mar
d
_product: print pro
g
ress indica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolae
g
e
move --verbose option
to l
i
brary
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
g
en_fun::summate: handle full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Replace incr
e
men
t
al i
n
f
i
nite
s
et counter by "regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
make counter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
merge (most of) comm
o
n part of counte
r
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
icounter: handle sp
e
cializa
t
ion
of polyn
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
icounter:
d
on't b
o
ther "normalizing" th
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_le
f
t_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
basis_reductio
n
_cdd: check for possibly incorrect
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Polyhedron_
S
ample:
h
and
l
e
p
olyhedron beco
m
i
ng empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
gen_fu
n
::operato
r
evalue *: always return
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolae
g
e
gen_fun:
:
operator
evalue *: remo
v
e commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok
_
enumerate_
e
.
c
c: handl
e
verifi
c
ation of probl
e
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
barvinok_enumerate_e: optionally
p
rint stats
commit
|
commitdiff
|
tree
next