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
barvinok 0.26
2008-01-16
Sv
e
n Verdoolaege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
ad
d
some tests for im
p
lement
a
tion of projection theo
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: d
o
cum
e
nt ne
w
opti
o
n
s
a
nd new appl
i
cation
s
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
AUTHORS: update s
u
pp
o
rt infor
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaeg
e
genfun
.
cc: short_rat::prin
t
: correctly prin
t
polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Expo
r
t series as barv
i
nok_enumerate_series
a
n
d
u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
re
m
o
v
e_p
a
rameter_equalities: st
o
p
"
r
emoving" equalit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
r
doolaeg
e
series: le
a
ve f
r
eeing of P a
r
g
ument
t
o calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
o
c: document
i
m
plemen
t
ation o
f
the projec
t
ion the
o
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoolaege
add
barvinok
_
enumer
a
te_
e
_series
implementing t
h
e projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
e
nfun
.
cc: fix and document
p
aralle
l
polyto
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolaege
O
nly compile zsolve if
gc
c
3
.
4 o
r
la
t
er is available
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
doola
e
ge
Move GiNaC-independent p
a
r
t
of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
pol
y
lib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how to
count t
h
e number of elements
i
n po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
oc/im
p
l
ementation
.
tex: avoid m
u
ltiply
d
e
f
ined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
ool
a
ege
lattice_width
.
c: try ve
r
tices of
p
revious
i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc
:
document int
e
g
er hull comput
a
tion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: add all
p
o
i
nts
f
ound by sa
m
pling dir
e
ctly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
P
ossible o
p
ti
m
iza
t
i
o
ns fo
r
gene
r
alized
basis
r
eduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use of
gene
r
ali
z
ed basis reducti
o
n to c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolae
g
e
add Pol
y
h
edron_Integer_Mini
m
um for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
l
aege
doc: documen
t
generalized b
a
sis r
e
duction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
doc/bar
v
inok
.
b
ib: a
d
d missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oolaege
add m
o
r
e
missing
a
ssert
.
h
#in
c
ludes
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoolaeg
e
evalue
.
c: add missing include
o
f
a
l
loca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
ol
a
ege
configure
.
in: pass
p
ath of GMP instal
l
a
t
i
on
t
o PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven
V
e
r
doolaeg
e
configure
.
i
n
: only
compile li
b
barvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
P
o
lyhed
r
on_Re
d
u
ced_B
a
sis: don't
s
top to
o
early
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
aeg
e
comp
u
te_width_directions: only kee
p
list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolv
e
:
don't ins
t
a
l
l library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
ve
r
sion
.
c: show use of
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
c
o
nf
i
g
u
re
.
in: do
n
't
s
et wi
t
h_{poly,pip}lib_prefix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoola
e
ge
Polyhe
d
ron_Sample: be satisfied w
i
th a
r
easonab
l
e choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verd
o
olaege
cone_int
e
ger_hull: o
p
tionally
p
rint stats
commit
|
commitdiff
|
tree
2007-11-08
S
ven Ver
d
oolae
g
e
basis_
r
ed
u
ction: keep trac
k
of number
o
f LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
option
s
: move --pri
n
t-
s
tats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
bernstein: rework testing framework to not depe
n
d o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
bernstein: add
piecewise_lst::
i
s_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support n
e
wer versions of GiNaC
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Verdoola
e
ge
standard
_
c
o
n
straints: move from topcom
.
c to polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
p
olysig
n
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oola
e
ge
zsolve: add
b
anner
.
h
t
o distributi
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
do
o
la
e
ge
Polyhedr
o
n_Lattice_Width_D
i
r
ections: pr
i
nt progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
e
n
V
erdoo
l
aege
basis_reduc
t
ion_
p
ip: abort o
n
in
v
al
i
d
(
empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdool
a
ege
README: explain how to get
s
ubmod
u
les
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n Verd
o
o
laege
d
o
c:
do
c
u
ment lat
t
ice
widt
h
c
o
mputation
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verd
o
olae
g
e
some
l
at
t
ice widt
h
te
s
t
s
from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ve
n
Verdoolaege
Polyhedron
_
Latti
c
e_W
i
dth: de
c
i
de on facets to
c
los
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Pol
y
hedron_L
a
ttice_Width for computing l
a
ttic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n Verdoola
e
ge
h
i
lbert
.
c
:
add Cone_Integer_Hul
l
for compu
t
i
n
g ver
t
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polysi
g
n: add pip-ba
c
ked version
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaeg
e
polysign: add constrain
t
s_opt to
c
ompute optimum ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoo
l
aege
polysign_cdd
:
switch to
u
se o
f
Matrix represen
t
atio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
polysign_g
l
pk: switch to
u
se of Mat
r
i
x
repr
e
se
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: docum
e
nt computa
t
ion of Hilbert basis
of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
doolaege
Cone_H
i
l
b
ert_Basis: us
e
st
a
nda
r
d
_
c
onstra
i
nts to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
U
s
e zsolve to comput
e
H
i
l
ber
t
basis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
com
p
ile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
oolaege
zsol
v
e:
do
n
't
i
nst
a
ll heade
r
s
a
n
d
e
xecutables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
l
a
ege
zsolve: initia
l
i
z
e BackupTime i
n
Z
S
o
lveC
o
ntex
t
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zsolve: zsolv
e
System: add missing ver
b
o
s
ity check
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdool
a
ege
z
s
olve
:
override LI
B
S f
r
om
top level
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
a
d
d 4
t
i2-1
.
3
.
1+
a
utoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
ad
d
zsolv
e
from 4
t
i2-1
.
3
.
1+a
u
toconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
param_uti
l
.
c
: expor
t
bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
topcom
.
c: ext
r
act pa
r
t
of
code for sett
i
n
g up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaeg
e
ge
n
_fun::
H
adamard_
p
roduct: pri
n
t progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoolaege
move --verbose o
p
tion to library
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoo
l
aege
gen_fun
:
:summ
a
te:
h
and
l
e full speci
a
lization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
a
e
ge
R
e
place incremental
infinite set counter by
"
regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
m
a
ke counter::a
d
d_
f
alling_p
o
we
r
s
s
t
atic
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
m
e
rge (
m
ost of) common part
o
f
counter and
tc
o
un
t
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounte
r
: hand
l
e s
p
ecialization of polynomi
a
ls
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
o
o
laege
icounter: don't
b
other "normalizing" the ex
p
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
la
e
g
e
export neg_left
_
he
r
m
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
b
a
sis_
r
eduction_cdd: check for
p
ossibly incorrec
t
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
P
olyhedron_Sample: h
a
ndle polyhedron
b
ec
o
ming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Ver
d
o
ol
a
eg
e
g
e
n_
f
u
n
::
o
p
e
rator eval
u
e *: al
w
ays
r
e
turn a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoola
e
ge
g
e
n
_fun::operator evalue *: remove comme
n
ted out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
e
ge
ba
r
vinok_enumerate_e
.
cc: h
a
n
dle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
b
arvinok_enu
m
erate_e: optionally print st
a
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok
_
en
u
merat
e
_e:
s
upport verifi
c
ation of
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
bar
v
i
n
o
k_enumerate_e: support conversion of g
e
nerat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
lattice_
p
oints: a
n
o
t
her mi
c
ro-o
p
timi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
lattice_points_
f
ixed: nano-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en_fun::add: cont
e
xt
o
f sum shoul
d
be
union
of conte
x
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
b
a
rvinok_enumerat
e
: use ve
r
ify infra
s
tructu
r
e
for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
genfun
.
cc: print_power: dro
p
spaces a
r
o
und "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
count_poin
t
s_e: fall back to coun
t
_points if
t
he
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
M
akefile
.
a
m
:
c
heck-evalue: print name
of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
veri
f
y:
ad
d
check_poly_pri
n
t help
e
r function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
g
en_fun: make sure context is alway
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
re
d
u
c
er::reduce: canoni
c
alize coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
short_rat::print: c
o
rrectl
y
prin
t
out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
e
g
e
ba
r
vinok_series:
rechec
k
f
or
e
qualit
i
e
s
af
t
er computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
export Matr
i
x_Read fo
r
reading Matrix from a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
param_util
.
c:
add Param_Vertex_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ut
i
l
.
c
: supporting_constraints:
return bi
t
v
ector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
po
l
y
li
b
:
upd
a
te fo
r
M
a
t
r
i
x_Extend
commit
|
commitdiff
|
tree
next