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
doc: consistent use of Kevin's initials
2008-03-24
Sve
n
Verdool
a
e
ge
doc
:
consistent use of K
e
vin's initials
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ver
d
oolaege
d
o
c: upd
a
te now publi
s
hed pap
e
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bound: allow absence of l
o
w
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaeg
e
R
e
ve
r
t "
e
add_partitions: try to combi
n
e mu
l
tip
l
e doma
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
evalue_read_partiti
o
n: put partitions bac
k
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalu
e
:
r
educ
e
_
evalu
e
:
add n
o
te
on some missed opport
u
nities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
bernstein
.
cc
:
handle
i
nput with unions + relat
i
on violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdo
o
laege
max
i
mize
.
c
c
: deal with unio
n
s in input during verificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_su
b
s
tit
u
te:
p
r
operly handle
relations
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue
.
c
: clean up emu
l
and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaeg
e
e
value_read:
c
or
r
ectly rea
d
variable na
m
es
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verd
o
olaege
evalu
e
_read: accept t
o
p
l
e
vel "relat
i
on"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
ool
a
ege
update
p
olylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdo
o
laege
e
value_backsubstitute: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Verdool
a
ege
eval
u
e
.
c: *_pa
r
titions: s
i
mplify c
o
nstraints bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
do
c
: more specific informa
t
ion on buggy c
d
dlib v
e
rsion
s
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
d
oolaege
configure
.
in: requ
i
r
e
cddlib 0
.
94e by
testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
V
erdo
o
l
aege
co
n
figure
.
in: on
l
y
c
ompile
o
cc if
c
o
d
e
_ge
n
library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
o
olaege
b
a
r
vinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ver
d
oolaege
add some tests for i
m
p
lementat
i
on of pr
o
jection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaeg
e
doc: docum
e
nt
ne
w
op
t
i
o
ns an
d
n
e
w applic
a
tions
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ol
a
ege
AUTHO
R
S
: update s
u
pport i
n
format
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
e
n
f
un
.
cc: sho
r
t_
r
a
t::print:
cor
r
ectly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export series as bar
v
inok_enumerate_series and us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
remove
_
par
a
meter_eq
u
alities
:
sto
p
"remov
i
ng"
e
qualitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaeg
e
ser
i
e
s
: leave
f
reeing
of
P ar
g
ument t
o
ca
l
ling fu
n
c
t
ion
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
d
o
c
:
d
o
cument implementation of th
e
projec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolae
g
e
add barv
i
nok_enumerate
_
e
_
se
r
ies
i
mpl
e
menting the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaege
genfun
.
cc
:
fix and
d
ocument
p
arallel pol
y
tope
s
class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
o
ol
a
ege
M
ove GiNa
C
-inde
p
endent
p
art of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laeg
e
po
l
yl
i
b
: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
Ver
d
oolaege
d
oc: how to
co
u
nt the
number of elements
in possib
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Ve
r
dool
a
ege
do
c
/imp
l
e
m
e
ntation
.
tex: avoi
d
multiply def
i
ned labe
l
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ver
d
oolaege
l
attice_width
.
c: try vertice
s
of prev
i
ou
s
i
n
teger hu
l
ls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
do
c
: document
integer hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
l
aeg
e
hull
.
c:
add
all po
i
nts found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
Verdo
o
l
a
ege
P
o
s
sible optimizations
f
or g
e
n
e
r
a
lized basis reduc
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use of g
e
ne
r
al
i
zed basis reduction
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaeg
e
add Polyhedron_Integer_Min
i
mu
m
f
or computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ve
r
doolae
g
e
d
o
c
: docum
e
nt gen
e
r
alized
basis re
d
uctio
n
based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvin
o
k
.
bi
b
: add m
i
ssing
s
tring
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdoolaege
a
dd more missi
n
g
assert
.
h
#
in
c
ludes
commit
|
commitdiff
|
tree
2007-11-15
S
ven Ve
r
d
o
ola
e
ge
con
f
igure
.
in: only compile l
i
bbarvino
k
as a
s
tatic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoo
l
aege
Polyhedron_R
e
duced_Ba
s
is:
d
o
n
'
t
stop
t
oo ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compu
t
e_width_dir
e
c
t
ions: only
keep list of d
i
st
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verd
o
ola
e
ge
zsolve:
d
on'
t
i
n
stall li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ver
s
i
on
.
c: show u
s
e of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
r
doolaege
configure
.
in: don't set wit
h
_{pol
y
,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n Ver
d
o
olaege
Polyhedron_Sample:
be s
a
tisfied with a reasonabl
e
choi
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_integer_
h
u
ll: o
p
tionally print stat
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
bas
i
s
_
r
eduction: keep
t
rac
k
of nu
m
ber of LPs sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
option
s
:
m
ov
e
--
p
r
int-s
t
a
t
s to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
bernstein: rew
o
rk testing fr
a
mework to not
depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
a
e
g
e
bern
s
tein
:
a
d
d
p
i
e
c
e
wi
s
e_lst
:
:is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
support
n
ewer versions
of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_c
o
nstraints: mov
e
from topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ve
r
doolae
g
e
p
olys
i
gn
.
h:
remove depe
n
d
ency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolv
e
: add banner
.
h to distr
i
b
u
tion
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
ge
Po
l
yhedron_Lattice
_
W
i
dth_Dir
e
ctio
n
s: print pr
o
gress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
oo
l
a
e
ge
basis_reduc
t
ion_pi
p
: abort on inva
l
id (empty) inpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
e
rdoo
l
aege
READ
M
E: e
x
plain h
o
w to g
e
t submod
u
l
es
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
d
o
c: document lattice
w
idth co
m
putation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
o
laeg
e
some lattice width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhe
d
ron_Lattice_Width:
d
e
c
i
d
e on facets
t
o close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verd
o
o
laege
add
Polyh
e
dr
o
n_Lattice
_
W
i
dth
for compu
t
ing
l
attice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verd
o
olaege
h
i
lbe
r
t
.
c: add Cone_I
n
teger_Hull
for co
m
puting vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
ege
polysign: add p
i
p-back
e
d v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
doola
e
ge
polysign
:
a
d
d const
r
aint
s
_opt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
polysign_cdd: switch to u
s
e
of M
a
t
r
ix
represe
n
tatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
pol
y
sign_glpk: switch to
us
e
of Ma
t
rix
r
epr
e
se
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
o
laege
doc: doc
u
ment computatio
n
of Hilber
t
basis o
f
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
laege
C
one_Hilbert_B
a
sis: use standard_const
r
aints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
oolaege
U
s
e z
s
olve t
o
compute Hilbert ba
s
is
o
f a
cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
o
olaeg
e
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zsolve: don't install header
s
and ex
e
cutabl
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: initialize
BackupTime in ZSo
l
v
e
Context
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
olv
e
: zsolv
e
System: ad
d
missing verbosity
che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve: override
L
I
B
S fr
o
m top level
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdool
a
ege
add 4ti2-1
.
3
.
1+autoc
o
nf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n V
e
r
doolaege
add z
s
olve from 4ti2-1
.
3
.
1+a
u
toconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
pa
r
am_ut
i
l
.
c:
export
bit_
v
ector
_
count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
topcom
.
c
: ex
t
ract par
t
o
f
cod
e
for set
t
i
ng up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
er
d
oolaege
g
e
n_fu
n
::Hada
m
ard_prod
u
ct: print progress indicato
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
Verdoolaeg
e
move --verbose option
t
o libra
r
y
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
o
o
laege
gen_fun::summate: handle full spec
i
alization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
Replace incr
e
mental infinite set coun
t
er
b
y "
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
make counter::add_falling
_
powers static
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
merge
(
m
o
st of) common
p
art of counte
r
a
n
d
t
c
ounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
counter: handl
e
speciali
z
a
t
ion o
f
p
o
lynomia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icount
e
r: don't bother "no
r
m
a
li
z
i
n
g" the expone
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoola
e
ge
ex
p
ort
neg_left
_
hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_reduction_cd
d
:
check for possibly in
c
orrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhed
r
on_Sample: handle polyhedron b
e
coming e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen_f
u
n::operator evalue *: alwa
y
s
r
eturn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen_fu
n
::operator
e
value *
:
re
m
o
v
e comment
e
d out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdo
o
laeg
e
barvinok_en
u
m
e
rate_e
.
cc: handle
verification of pro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
ba
r
vino
k
_enumerate_e: opt
i
onall
y
print st
a
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_enume
r
a
t
e_e
:
su
p
port verifica
t
ion
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvi
n
ok_enumera
t
e_e: support conversion of
gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
l
a
ttice_points:
a
nother micro-optimization
commit
|
commitdiff
|
tree
next