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_e.cc: enumerate_sum: use barvinok_summate instad of evalue_sum
2008-01-16
Sv
e
n Verdo
o
laege
barvinok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verd
o
olaege
ad
d
some tests for imple
m
en
t
ati
o
n o
f
pr
o
jectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docume
n
t new opti
o
ns and n
e
w
applications
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
d
oolae
g
e
AUTHORS: update support inf
o
r
mation
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
eg
e
genfun
.
cc
:
short_rat::print: cor
r
ectly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
E
x
port series
a
s
b
a
r
vinok_e
n
um
e
rate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
a
e
g
e
remove_pa
r
ameter_equalities: stop "removi
n
g" e
q
u
a
l
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rdoolae
g
e
serie
s
:
leave
f
reeing of P argument to calling funct
i
on
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolae
g
e
do
c
:
document implem
e
ntatio
n
of the proj
e
ction
t
heo
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
add barvinok_
e
nu
m
e
rate_e_serie
s
i
mplementing th
e
pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
genfu
n
.
cc:
f
ix
a
nd
d
ocument parallel poly
t
opes clas
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
O
nly compile zsolv
e
if gcc 3
.
4 or later
i
s availab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Move
G
iNaC-i
n
d
e
pendent part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
d
oolaege
polylib: updat
e
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdool
a
ege
d
o
c: how to
count the
n
u
mbe
r
of e
l
e
ment
s
in pos
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoo
l
aege
doc/implementat
i
on
.
tex: av
o
id multiply defi
n
ed labe
l
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdo
o
laege
lat
t
ice_width
.
c: try
vertices of previous
i
nteger
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc: do
c
ument integer
hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
hu
l
l
.
c
: add all points found by sampling
d
irectly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolae
g
e
Possible
optimiza
t
ions for
g
eneralized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
Sup
p
o
r
t use
of
g
en
e
ralized basis
r
ed
u
c
tion to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
add Polyhedron_Integer
_
Minim
u
m for compu
t
ing the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc
:
document generalized bas
i
s reducti
o
n
base
d
integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
r
d
oolaege
doc/barvino
k
.
bib:
add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
oolaege
add more missin
g
a
s
sert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
a
e
g
e
evalue
.
c
:
add missi
n
g
include o
f
all
o
ca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdool
a
ege
configure
.
in: pass p
a
th
o
f
GMP insta
l
lation
to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoo
l
aege
config
u
re
.
i
n
: only compile
libbarvinok as a st
a
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Ver
d
oola
e
ge
P
o
lyhed
r
on_Reduce
d
_Basis: don't stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
com
p
ute_width_dir
e
ctions: only keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
z
solve: don't
i
n
s
tall li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
o
olaege
v
ersion
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in: don't set
w
ith_
{
poly,pip}
l
ib_p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
Polyh
e
dron_Sample: be satisfied w
i
th a reasonab
l
e
ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
cone_integ
e
r
_
hull:
o
ptiona
l
l
y pri
n
t stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
basis_reduction: ke
e
p track
of
n
umber of
L
Ps so
l
ved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laeg
e
options: m
o
ve --p
r
int-s
t
ats to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
e
r
n
s
tein:
r
e
w
ork t
e
sting f
r
ame
w
ork to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ve
r
do
o
laege
be
r
nstein:
add piecew
i
se_ls
t
::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolae
g
e
su
p
por
t
newer versions of G
i
Na
C
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
standa
r
d_constrai
n
t
s
: move from topco
m
.
c to po
l
ysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdool
a
ege
polysign
.
h
: remov
e
dep
e
ndency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven
Verdool
a
ege
zsolve: add ba
n
ner
.
h
t
o distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaeg
e
P
o
lyhedron_Lattice_Width_Dir
e
ctio
n
s: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verd
o
olaege
ba
s
is_reduction_
p
ip: abort on invalid
(
e
mpty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
README: expl
a
in how to get subm
o
d
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
do
c
: do
c
ument la
t
tice widt
h
comput
a
t
i
on
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
some la
t
tice width tests fro
m
J
on Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
a
e
ge
P
olyhedron_L
a
ttice_Widt
h
:
decide o
n
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
add Polyhedron_
L
attice_Wi
d
th for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aege
hil
b
ert
.
c: add Cone_Integer_Hull for compu
t
i
n
g vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laeg
e
poly
s
ign: a
d
d pi
p
-ba
c
ked v
e
rsi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
polysign: add constraints
_
opt to
c
o
m
p
ute
o
p
t
imu
m
ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
sign_cdd: switch to use of Matrix repre
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
olaege
polysign_glpk
:
swi
t
ch to use
o
f
Mat
r
i
x
repr
e
sentat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ver
d
o
o
laege
doc: d
o
cument
comp
u
t
a
t
i
on of H
i
lbert basis
o
f
a
co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
Cone_Hilbert_Basis:
use standard_c
o
nst
r
aints to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
dool
a
ege
Use zsolve
t
o c
o
mpute
H
i
lbert basis
of
a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
oolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
l
aege
zsolve: do
n
't install headers and exec
u
tables
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
zsolve:
i
n
itialize Backu
p
Time
i
n ZSol
v
eContex
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zs
o
lve: zsol
v
e
S
ystem: add m
i
s
sing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
z
sol
v
e:
o
v
er
r
ide
LIB
S
from to
p
level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add
4ti2-1
.
3
.
1+autoconf-
0
.
1 b
a
n
n
e
r
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
add
z
solve
f
r
o
m
4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
param_util
.
c: expor
t
bit_
v
ect
o
r_co
u
nt
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
laege
topcom
.
c: e
x
tract part of code fo
r
setti
n
g
u
p st
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::
H
adamard_pr
o
d
uct: prin
t
pr
o
gress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolae
g
e
move --verbose opt
i
on
t
o
l
i
brary
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
gen_
f
un::summat
e
: handle full
speci
a
lizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
Repl
a
c
e inc
r
emental infinite set counter by
"regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
mak
e
c
ounter::a
d
d_
f
alling_pow
e
rs stat
i
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
m
e
rge (most
of) common part o
f
count
e
r
a
n
d
tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
icoun
t
e
r
:
h
a
ndle
s
pecialization of polynomia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icou
n
t
e
r: don
'
t
bother
"
nor
m
ali
z
ing" the ex
p
onents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
expor
t
neg_left_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
basis_reduction
_
cdd: check for possibly incor
r
ect o
u
tpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
Polyhedro
n
_Sample
:
handle poly
h
edron becomi
n
g empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
g
en
_
fun
:
:operator evalue *: always return
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
un::opera
t
or evalue
*
:
r
e
m
o
ve commente
d
out debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_enumerate_e
.
cc: handle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
o
l
aege
b
a
r
vinok_enu
m
erate_e:
o
ptio
n
ally pri
n
t
s
tats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e: support verificat
i
on of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
b
arvin
o
k
_
enume
r
ate
_
e: support conversion
of
gen
e
rati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
lat
t
ice_poi
n
ts:
a
not
h
er micro-opti
m
iz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
lattice_points_fix
e
d: nano-optimizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
fun::
a
dd: cont
e
xt of sum should be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate: use
v
er
i
fy inf
r
a
str
u
cture
for verify
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
genfun
.
cc:
print_power:
d
r
o
p
spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
coun
t
_
p
oin
t
s_e:
f
all b
a
c
k
t
o
c
o
u
n
t_po
i
n
ts i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
Makefile
.
am:
c
heck-e
v
al
u
e: print
n
a
m
e
of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
v
e
rify: ad
d
check
_
po
l
y_p
r
in
t
h
e
lper f
u
nction
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
g
e
n
_
fun: make sure c
o
n
t
ext is
a
l
w
ays set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
reducer::r
e
duce
:
c
a
nonicalize coefficien
t
s i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
short_rat::p
r
int: corr
e
c
t
l
y
print o
u
t terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
barvinok_series: rechec
k
for equa
l
i
ties after c
o
mputin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erd
o
olae
g
e
export Matrix
_
Read for reading Matrix f
r
o
m a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
pa
r
am_uti
l
.
c: add Para
m
_Ve
r
tex_
D
om
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
util
.
c: su
p
porting_c
o
n
s
tr
a
ints
:
return bit vector
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
polyli
b
: upda
t
e for Matrix_Extend
commit
|
commitdiff
|
tree
next