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
rename summate.cc to barvinok_summate.cc
2008-01-16
Sve
n
Verdoolaege
doc:
d
o
cument
n
ew options and new applicatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
AUTHO
R
S: update
s
up
p
ort information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
gen
f
un
.
c
c
: short_rat::print: corre
c
tly prin
t
p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
E
x
port ser
i
es as bar
v
i
nok_
e
numerate_s
e
ries
a
nd
u
se
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
r
emov
e
_para
m
ete
r
_eq
u
aliti
e
s:
s
t
op "removing" equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
o
o
l
a
ege
series: leave freeing of P argu
m
ent to calling functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
doc: document implementatio
n
of the projection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oola
e
ge
add barvi
n
ok_
e
numerate_e_series i
m
plem
e
n
ting the p
r
ojection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
genfun
.
cc
:
fix and d
o
cu
m
ent parallel
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verd
o
olae
g
e
Only
c
ompile zsolve if gcc 3
.
4
o
r later is availabl
e
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdool
a
eg
e
M
o
ve G
i
NaC-indepe
n
dent part of lib
r
ary t
o
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
po
l
y
l
ib: update
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n Verd
o
olaege
doc
:
h
ow to count
the number of elem
e
nts in
possi
b
l
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
d
o
c/imp
l
eme
n
tation
.
tex: avoid multiply
defined
label
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaeg
e
lattice
_
w
i
dth
.
c: try verti
c
es o
f
previous integer
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ve
r
doolaege
doc: document integer hull computa
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
l
aege
hull
.
c
: add
all points found
b
y samp
l
i
ng directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Possible
o
p
t
imi
z
at
i
ons for generalize
d
basis reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Supp
o
rt use
o
f ge
n
eraliz
e
d basis r
e
duction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaeg
e
add Polyh
e
dron_
I
nteg
e
r_Minimum for co
m
puting
t
he integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
doc: docum
e
nt ge
n
eralize
d
basis reduc
t
ion base
d
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc/barvinok
.
bib:
add
missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
a
d
d mo
r
e
missi
n
g ass
e
rt
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c:
add missing include of
alloc
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rdo
o
laege
configu
r
e
.
in: pass path of GMP i
n
sta
l
l
a
t
ion to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
confi
g
ure
.
i
n: only compile libbarvino
k
as a
s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
Polyhedron_Re
d
u
ced_Ba
s
is: d
o
n't sto
p
too
early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven
V
erdoolaege
compute_w
i
dth_dir
e
ction
s
: only keep
l
i
s
t of
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
z
s
olve: d
o
n't install li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
version
.
c
: show use
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoola
e
ge
configure
.
in: don't set wi
t
h
_
{
p
oly,pip}lib_pre
f
i
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
Polyhedron_Sample:
be satisfied w
i
t
h a
r
easonable choic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
c
o
ne_integer_h
u
ll: opt
i
onal
l
y prin
t
stat
s
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaeg
e
basis_reduction: keep
t
rack o
f
n
u
mber of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
o
ptions: move -
-
print
-
s
t
ats to l
i
bra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ve
r
doolaege
berns
t
ein: re
w
ork te
s
ti
n
g framew
o
rk to
not d
e
pend o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
bernstein: add piece
w
i
s
e_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
ve
n
Verdool
a
ege
support newer
versi
o
n
s of Gi
N
aC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
st
a
ndard_cons
t
rai
n
t
s: move fro
m
topco
m
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
p
o
lysign
.
h: remove depe
n
dency on l
e
xmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
er
d
oolaeg
e
zso
l
ve: add ba
n
ner
.
h to distr
i
buti
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolae
g
e
P
o
l
y
hedron_Latt
i
ce_Width_Directio
n
s: print progre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
V
er
d
oolaege
basis_r
e
duction_pip: abort o
n
in
v
alid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven
V
erdoolaege
R
E
A
D
M
E: ex
p
lain how
to ge
t
submo
d
ules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: document lattice wi
d
th computatio
n
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n
Verdoola
e
ge
some
latti
c
e width tests from J
o
n Y
a
g
g
ie
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdo
o
laege
Polyhed
r
on_Lat
t
ice_
W
idth: d
e
cide on facets to
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoolaege
add Polyhedron_Lattice_Width for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
e
rdoolaege
hilbe
r
t
.
c: add
C
o
ne_Inte
g
er_Hull f
o
r
comp
u
t
i
n
g vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Ver
d
oolaege
polysign: add
pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolae
g
e
polysig
n
:
a
d
d constraints_opt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
po
l
ysign_cdd: switch to use
o
f
Matr
i
x representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
polysign_glpk: switch
t
o use of Matrix represe
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
doc: document computati
o
n of H
i
l
b
ert ba
s
is of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hilbe
r
t_Basis: use standard_con
s
traints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
e
r
doolaeg
e
Use
z
s
o
lve
t
o co
m
pute Hilbert
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolv
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
ool
a
ege
z
solve: don't in
s
tall headers
a
nd
e
xecutables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
o
l
ve: init
i
alize Backu
p
Time in
ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsol
v
e: zsolveSyst
e
m:
a
d
d mis
s
ing v
e
rbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
s
olv
e
: overr
i
de
LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
d
oolaeg
e
add 4t
i
2-1
.
3
.
1+a
u
toconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
add z
s
olve from
4ti2-1
.
3
.
1+auto
c
onf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
para
m
_util
.
c
: export bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
t
opcom
.
c:
extr
a
ct part
of code for setting up stan
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
Verdoolaege
gen_fu
n
:
:Had
a
mard_product: print progress
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
Ve
r
doolaeg
e
move --ver
b
ose op
t
ion
t
o l
i
brary
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
o
o
l
aege
gen_fun::sum
m
ate
:
handle full
s
p
ecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
Replace
i
ncremental infinite set count
e
r by "regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
make counter::add_fall
i
ng_powers
s
t
atic
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
merge
(
mos
t
of) c
o
m
m
on part of counte
r
an
d
t
c
ounter
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdool
a
ege
icounter: handl
e
specializat
i
on
o
f polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
laege
icounter: don't b
o
the
r
"normalizi
n
g" the exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
er
d
ool
a
ege
export neg_left_he
r
mite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
basis_
r
eduction_c
d
d: che
c
k for
p
ossibl
y
inc
o
r
re
c
t outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdo
o
laege
P
o
l
yhed
r
on
_
Sample: handle poly
h
ed
r
on beco
m
ing empt
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
g
en_fun:
:
o
p
erator evalue
*
: al
w
ays return a va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen_fun::o
p
erator e
v
a
l
ue *: remov
e
commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
bar
v
inok_e
n
um
e
rate_e
.
cc: ha
n
dle verific
a
tion of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvinok
_
enumerate_e: opt
i
onally
print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
barvinok_enu
m
e
rate
_
e
:
support verific
a
t
i
on of
g
ener
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
o
laege
barvi
n
ok_en
u
merate_
e
: support
convers
i
o
n
of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
l
a
tti
c
e_points: an
o
t
her micro-optimiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaeg
e
lattice_points_fixed: na
n
o-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_f
u
n:
:
add: context of sum should be union of cont
e
xts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
bar
v
inok_enume
r
ate:
use verify
infra
s
tructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
genfun
.
cc: print_power: drop spaces around "/
"
whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
coun
t
_points_e: fall bac
k
to count_point
s
if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
o
l
aege
Makef
i
le
.
a
m
: che
c
k-eva
l
ue:
p
r
int name
o
f each
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ve
r
ify:
a
dd check_poly_print helper
f
u
nction
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aege
gen_fun
:
m
ake s
u
re cont
e
xt is alw
a
ys s
e
t
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
r
edu
c
er::reduce:
canonic
a
l
ize coef
f
ic
i
e
n
ts
i
n each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
sh
o
rt_rat::pr
i
nt:
co
r
rectly print o
u
t terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_ser
i
es:
recheck for e
q
ual
i
ties after c
o
mpu
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
la
e
g
e
e
xpor
t
Mat
r
ix_Read
for rea
d
ing
M
atri
x
from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c: add Param_Vertex_Domai
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
uti
l
.
c: supporting_constr
a
i
nts: return bit ve
c
t
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
p
o
l
ylib: update f
o
r Matrix_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
opt
i
ons
.
c:
u
se Polyhedron_Sample for count
i
n
g infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
keep t
r
ac
k
of
a
nd us
e
s
a
turating constra
i
nt
s
in Param_Polyh
e
d
ron
commit
|
commitdiff
|
tree
next