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: update some references
2008-03-10
S
v
en
V
e
rdoolaege
evalue_read:
c
orrectly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdoolaege
evalue_read: accept top
level "relati
o
n"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
pdat
e
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Verdoolaege
e
v
alue_backsubs
t
itute: ad
d
required modulo
con
s
trai
n
ts
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalu
e
.
c: *
_
partitions: simplify constrai
n
ts before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Ve
r
doolaege
doc:
more specific
inform
a
tion
o
n buggy cdd
l
ib ve
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sven
Ve
r
doolaege
co
n
figure
.
in: require cddlib 0
.
94e by testin
g
for
b
u
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoo
l
a
eg
e
conf
i
gure
.
in: only compile occ if code_gen lib
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
bar
v
inok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoo
l
aege
add s
o
me test
s
for
i
mp
l
e
m
entat
i
o
n
of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oola
e
ge
doc: doc
u
ment n
e
w
options and new a
p
plications
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdoolaege
AUTHORS: update support
i
nf
o
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
oolaege
genfun
.
cc: short_r
a
t::
p
rint:
correc
t
ly print pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
Export ser
i
es as barvinok_enumerate_series and us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
re
m
ove_para
m
e
t
er_equal
i
ti
e
s: stop
"removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaeg
e
s
e
ries:
leave freeing of P
a
rgument to callin
g
funct
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
r
d
oo
l
aege
doc: document
imp
l
ementation of the pro
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
add barvinok_enumerate_e_series implementing the projecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
o
laeg
e
genfun
.
cc:
f
ix and docum
e
nt parallel polytop
e
s clas
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
O
nly compile zsolve if
gc
c
3
.
4
or
l
ater is ava
i
lab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaege
Move GiNaC-inde
p
e
n
dent
p
ar
t
of
l
i
b
rary to barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolaege
pol
y
lib:
u
pdate
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
e
r
doolaege
d
oc: how t
o
count the number o
f
e
l
e
ments in
p
os
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verd
o
ola
e
g
e
doc/implementa
t
ion
.
tex: a
v
oid mul
t
i
p
l
y define
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
doo
l
aege
l
attice_width
.
c: try ver
t
ices of p
r
evious integer
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document integer h
u
l
l
c
omputat
i
on
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ve
r
d
o
olaege
h
ull
.
c: add a
l
l
points found by
sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
P
o
ssibl
e
o
ptim
i
z
ations fo
r
gener
a
lized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
d
o
o
laege
Support us
e
of genera
l
ized
basi
s
red
u
c
t
ion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedron_Int
e
ger_Minimum for
c
omputing the i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: document gene
r
a
lize
d
basis reduct
i
on base
d
int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdo
o
laege
doc/barvinok
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oolaege
a
dd more missing
ass
e
r
t
.
h #include
s
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
i
n: o
n
ly compile libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoo
l
aege
Polyhedron
_
Reduced_Basi
s
: d
o
n't s
t
op
too early
w
he
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdo
o
laege
compute_wi
d
th_directions
:
onl
y
keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoola
e
ge
zsolve: don't ins
t
all library
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ve
r
dool
a
ege
version
.
c:
s
how
u
s
e
of TOPCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
configure
.
in:
don't s
e
t with_{poly,
p
ip}lib_
p
refix
f
rom
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
erdo
o
l
a
ege
Polyhedron_Sampl
e
: b
e
satisfied with a reasonable ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolae
g
e
con
e
_
i
nteger_hull: optionally pr
i
n
t stats
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Verdoolaege
b
asi
s
_r
e
ductio
n
:
keep trac
k
o
f
n
u
mber
o
f LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ve
r
doolaege
options: move --
p
rin
t
-stats to l
i
b
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ver
d
oolaege
bernste
i
n: re
w
ork testing framework to not dep
e
n
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein:
add piecew
i
se_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
su
p
p
o
rt newer versions of GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdool
a
ege
s
t
an
d
a
r
d_
c
onstrain
t
s: mov
e
from topc
o
m
.
c to pol
y
si
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oola
e
ge
polysign
.
h: remove
d
epend
e
ncy on
l
e
x
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erd
o
o
laege
zsolve: add b
a
nne
r
.
h
to distr
i
bution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolae
g
e
Polyhe
d
ro
n
_La
t
tice_Width_D
i
rections: print pro
g
ress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
bas
i
s_reduction_pip: abort on invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
REA
D
ME: explain h
o
w to get submodu
l
es
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
a
ege
doc: do
c
ument lattice w
i
dth com
p
utation
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
o
o
laege
s
o
me lattice w
i
dth t
e
sts fro
m
J
o
n Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhedr
o
n_Lattic
e
_
Width: decide on
facets
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en V
e
rd
o
ol
a
e
g
e
add
P
oly
h
edron
_
Lat
t
ice_Width fo
r
compu
t
ing latti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
hilbert
.
c: add Cone_Integer_Hull
f
or computin
g
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
oolaege
polysign
:
add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
polysign:
add
constrai
n
ts_opt t
o
comput
e
o
pti
m
um
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
p
olysign_cdd: switch to use of M
a
trix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
l
aege
polysig
n
_glpk: switch to use of M
a
trix re
p
resen
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
doc:
docu
m
ent computatio
n
of Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
Cone_Hilbert_Basis
:
use
s
tandard_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
ola
e
ge
Use zso
l
ve to compute Hilbert
b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaeg
e
zsolv
e
: d
o
n't insta
l
l
headers and
e
xecut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zsolve: i
n
iti
a
lize BackupTime in
Z
SolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve: zs
o
lveSys
t
em: add missing verbosity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: overr
i
de L
I
BS fro
m
to
p
level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
add
4t
i
2-1
.
3
.
1+autoconf-0
.
1 b
a
nne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zsolve fro
m
4
ti2-1
.
3
.
1+autoco
n
f-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoolaege
param_util
.
c: export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
o
l
aege
topcom
.
c: ext
r
act part
o
f code
f
or setting u
p
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
ven Verdoolaege
gen_fun::Hadamar
d
_pr
o
du
c
t:
p
r
int progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdo
o
laege
move
--verbose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen
_
f
un
:
:summate: handle full s
p
ec
i
alization
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
g
e
Repl
a
ce incremental infinite
s
e
t
coun
t
er by "re
g
ul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
make
c
ounter::add_falling_powers stati
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
merge
(
m
o
st of) com
m
on part of
counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoo
l
aege
icou
n
ter: handle special
i
z
a
tio
n
of
polynomial
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
ic
o
unter: don't bother "normalizin
g
" the ex
p
o
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
expo
r
t neg_le
f
t_her
m
ite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
basi
s
_reduction_cdd: che
c
k for possibly incorre
c
t output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
Polyhedron_Sample: h
a
ndle polyhedro
n
becomin
g
emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdo
o
laege
gen_f
u
n:
:
operat
o
r
evalue *: alway
s
re
t
urn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
gen_fun::op
e
rator evalue *: r
e
move
commented
o
ut debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
barvinok_enumer
a
t
e
_e
.
cc: han
d
le verif
i
ca
t
ion of pr
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
barvinok_
e
numerate_e: optiona
l
l
y prin
t
sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
e
g
e
barvino
k
_en
u
m
e
rate
_
e: support verification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolae
g
e
barvinok_en
u
merate_e:
support conv
e
rsion of gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice
_
p
o
i
nts
:
another micro-optimizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
latti
c
e_
p
oints
_
f
i
xed: n
a
no
-
optim
i
z
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
gen_fun:
:
add: context of sum
s
h
o
uld be
u
nio
n
o
f
c
ontexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate: use verify i
n
fras
t
ructu
r
e
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
genfun
.
cc: print_pow
e
r
: dr
o
p spaces around "
/
"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
la
e
g
e
co
u
n
t
_poi
n
t
s_e: fall back to
count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
a
ege
Make
f
il
e
.
am: check-evalue: p
r
int name o
f
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
verify: add
che
c
k_poly_print helper f
u
nction
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
ool
a
ege
gen_fun: mak
e
sure c
o
ntext is a
l
w
ays se
t
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
reducer
:
:reduce: canonicalize c
o
ef
f
icients in each
.
.
.
commit
|
commitdiff
|
tree
next