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
add some tests for implementation of projection theorem
2008-01-16
Sv
e
n Verdoolaege
add some tests for im
p
lementation
of projection
t
heore
m
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
doc: document
n
ew o
p
tions
a
n
d
new
applicati
o
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
AUTHORS: update
support information
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoo
l
aege
ge
n
fun
.
cc: short_ra
t
:
:
print: correctly
p
rint polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export series as barvinok_e
n
u
mera
t
e_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remov
e
_parameter_equalities: st
o
p "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
series
:
l
e
a
v
e freeing of
P argument t
o
ca
l
ling fu
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
doc: do
c
ument imp
l
ementation of the
p
rojection
theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add b
a
rvinok_enumerat
e
_e_series implem
e
nting th
e
proj
e
ct
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
ge
n
fun
.
cc:
fix and
d
ocument paral
l
el
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ve
r
doolaege
Only comp
i
le zs
o
l
v
e if gcc 3
.
4 or lat
e
r is available
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
Move GiNaC-independent
p
a
r
t o
f
library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
polylib: updat
e
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
V
e
rdoola
e
ge
doc: h
o
w to
coun
t
the number
of elements in po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven Ver
d
oolaege
d
o
c/implementation
.
tex: avoid
multi
p
ly d
e
f
ined label
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdo
o
laege
lat
t
i
c
e_width
.
c: try verti
c
es of previ
o
us integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
Verdoolaege
doc: documen
t
integer hull
c
o
m
pu
t
at
i
on
commit
|
commitdiff
|
tree
2007-11-21
S
ven
Verdoolaeg
e
hull
.
c
:
add all po
i
nts
found b
y
sa
m
p
lin
g
directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
Possibl
e
optimizations
f
or general
i
zed basis redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdo
o
lae
g
e
Support us
e
of genera
l
iz
e
d basi
s
reduct
i
on
t
o
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
d
oolaege
add Polyhedro
n
_In
t
eger_Minimum fo
r
compu
t
ing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Ver
d
ool
a
e
ge
doc: docume
n
t
generalized bas
i
s reduct
i
on bas
e
d int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdoolaege
doc/barvinok
.
b
ib
:
add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
olaege
a
d
d more missing assert
.
h
#i
n
cludes
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
erdoolaege
evalu
e
.
c: add mis
s
ing includ
e
of allo
c
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaeg
e
conf
i
gure
.
in:
p
ass path o
f
GMP installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
conf
i
g
ure
.
in: only
compile lib
b
ar
v
inok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Poly
h
edron_Re
d
uced_Basis: don't
s
t
op too
e
a
rly w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
m
pute_w
i
dth_di
r
ections: only ke
e
p l
i
st of
d
istinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doo
l
aege
z
s
olve: d
o
n't inst
a
ll
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
erdoola
e
ge
version
.
c: show use of TOPCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
rdoolaege
con
f
i
gure
.
in: d
o
n'
t
set with_{poly,pip
}
lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laeg
e
Polyhedron_Sa
m
ple:
be satisfied
w
ith
a reasonable ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
cone_integer_hull:
opt
i
onal
l
y
p
rint stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdool
a
eg
e
b
asis_re
d
uction: keep tra
c
k of
number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdool
a
ege
opt
i
ons:
move --
p
rint-stats to l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
bernstein:
r
ework t
e
sting
framework to not depe
n
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
berns
t
ein
:
add piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
support newer versions o
f
G
i
NaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
d
o
olaege
standard_con
s
traints:
m
ove from to
p
com
.
c
t
o polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
polysign
.
h: r
e
move depende
n
cy o
n
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
zsolve
:
add banner
.
h to distribu
t
ion
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Ver
d
oola
e
ge
P
o
lyhe
d
ron_Lat
t
ic
e
_
W
i
dt
h
_Directi
o
n
s
: pri
n
t pro
g
ress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reduction_p
i
p: abor
t
on invali
d
(
em
p
ty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
RE
A
DME: e
x
plain how to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
Verdo
o
laege
doc: document lattic
e
widt
h
c
o
mputation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
Verdo
o
laege
some la
t
tice width tests from Jon
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdoola
e
ge
Polyhedron_L
a
t
t
ice
_
Width:
d
e
c
i
de on
fac
e
t
s
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en
V
er
d
o
o
laeg
e
a
dd Polyhed
r
on
_
L
attice_Width for computing
l
attice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
h
i
lber
t
.
c: add C
o
ne_In
t
eger_Hul
l
for
c
omputin
g
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ysign:
add pip-backed v
e
rsio
n
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
polysign: add constrain
t
s_opt to comp
u
te
o
p
t
im
u
m over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
la
e
g
e
polysign_cdd: switch
t
o use
o
f Matrix representat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_glpk: switch to use of Mat
r
i
x
represen
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: documen
t
computatio
n
of Hilbe
r
t bas
i
s of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hilbert_Basis:
u
se standard_con
s
train
t
s
to
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
V
erdoolaege
Use zs
o
lve to compute Hilbert
b
asis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
olaege
compile
z
s
olve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdo
o
laege
zsolve: d
o
n't
install headers and exec
u
tables
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doo
l
aege
z
solve: initialize BackupTime in ZSolveCon
t
ex
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zsol
v
eSystem: ad
d
m
issin
g
v
e
r
b
o
sity check
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoo
l
a
ege
zsolve: override LIB
S
from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
add
4
ti2-1
.
3
.
1+autoconf-
0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdool
a
eg
e
add zsol
v
e
from
4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
oolaege
par
a
m
_util
.
c: export
b
it_ve
c
tor
_
count
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
o
laege
to
p
com
.
c: extract part
of
code
f
o
r
setting
u
p
sta
n
dard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fu
n
::
H
ad
a
ma
r
d_produc
t
: p
r
int progre
s
s indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdo
o
laege
move
--verbose
opt
i
on to library
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
g
e
n_fun::summa
t
e
:
hand
l
e full
speci
a
lization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Re
p
la
c
e incremen
t
al infinite set cou
n
t
er by
"regu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Ve
r
doolaege
make
counter::ad
d
_f
a
lling_powers s
t
atic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge
(
mos
t
o
f)
common part of count
e
r
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
icounter: handle
special
i
zation of polynomi
a
ls
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don't bother "normaliz
i
ng" the
expon
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
e
x
p
or
t
neg_
l
eft_h
e
rmit
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
s
is_r
e
duction_c
d
d: che
c
k f
o
r possibly
i
ncorrect
out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
o
o
laege
Polyhedron_
S
amp
l
e: handle poly
h
edron
becoming em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
gen_fun::op
e
r
ator evalue *: a
l
ways
r
eturn
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
lae
g
e
gen_fun::operat
o
r evalue *: remove commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
b
arvinok_enumerat
e
_
e
.
c
c
:
h
andle verification of p
r
o
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
ba
r
vinok
_
enum
e
r
a
te_e: o
p
t
ionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ba
r
vinok_enumerate_e:
s
upport
v
erifi
c
ation of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
bar
v
inok_enumera
t
e_e: supp
o
rt convers
i
on of ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
l
attice_po
i
nts:
another mi
c
ro
-
o
p
timi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
latt
i
ce_points_fixed:
nano
-
o
p
ti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::add: conte
x
t of
sum should be union of
c
ontexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
olae
g
e
bar
v
inok
_
enu
m
era
t
e: use verify
i
nfrast
r
u
c
ture
f
or verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc: prin
t
_power: dro
p
sp
a
ces arou
n
d "/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
count_points_e: fal
l
b
ac
k
to co
u
n
t_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
M
ake
f
i
l
e
.
am:
c
he
c
k-evalue: print
n
ame
o
f
each tes
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
verify: add
c
heck_pol
y
_print
h
elper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
g
e
n_fun: mak
e
sure context is
always set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
r
educer:
:
r
e
d
uc
e
: canonicalize c
o
e
f
fi
c
i
ents i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
short
_
rat
:
:print:
c
orrec
t
ly print
o
ut terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
e
g
e
barv
i
nok_series:
r
e
chec
k
for
e
qual
i
ties
a
f
ter computin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
expor
t
Ma
t
rix_Read for reading
Matrix from a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
a
e
ge
param_util
.
c
: add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: supportin
g
_con
s
traint
s
: return bi
t
vecto
r
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
polylib: update
for
M
atrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
options
.
c: use Po
l
yhedron_Sample
for
c
o
unting infinite
.
.
.
commit
|
commitdiff
|
tree
next