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 Laurent expansion based summation
2008-01-16
Sv
e
n
V
erdoola
e
ge
genfu
n
.
cc
:
short_rat
:
:p
r
int: correctly print polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
Export s
e
ries as barvi
n
ok_enumerat
e
_ser
i
es and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
ola
e
ge
remove_par
a
meter_equalities: sto
p
"remo
v
i
ng" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
series: leave fre
e
i
n
g of P argument
to calling function
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
lae
g
e
doc: document implementation of the p
r
ojectio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvino
k
_e
n
umerate_e_series imp
l
ementing
t
he pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ge
n
fun
.
cc: fix and document parallel poly
t
o
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
Only
compi
l
e zsol
v
e if gcc 3
.
4
or
later
i
s available
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
Move G
i
NaC
-
independent part of library to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
oolaeg
e
poly
l
ib: update
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n
Verdoola
e
ge
doc: how to c
o
unt
the number of el
e
ment
s
in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
doc/implemen
t
ation
.
tex: avoid multiply
d
e
fine
d
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
latt
i
c
e
_width
.
c: try vertices
of p
r
e
v
io
u
s
intege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
do
c
: document
i
nteger hull c
o
mputat
i
on
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
h
ull
.
c:
add
a
ll points found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verd
o
olaege
Pos
s
ibl
e
opti
m
ization
s
for ge
n
era
l
ized basis reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Ve
r
doo
l
aeg
e
Support use of g
e
neralized basis
r
ed
u
c
t
i
on
to
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
d
oolaege
add
P
oly
h
ed
r
on_
I
n
t
e
ger
_
Minim
u
m f
o
r computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
eg
e
doc:
document g
e
neralized basis reductio
n
bas
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
oc/
b
arvinok
.
bib: ad
d
m
i
ss
i
ng st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Verdoo
l
aege
add mo
r
e missing assert
.
h #incl
u
des
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n V
e
rdoolae
g
e
e
v
alue
.
c: add missing
include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ven
V
e
r
d
oolaege
configure
.
in: pass path of GMP in
s
tallati
o
n to
P
ol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
onfigure
.
in: only co
m
p
i
le libbar
v
ino
k
as a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
P
o
lyhedron_Reduced_Ba
s
is:
d
on't stop too ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_
w
idth_d
i
rections: only keep
list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
r
do
o
l
a
ege
z
so
l
ve: do
n
't
install l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aeg
e
version
.
c: s
h
ow use
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ve
r
dool
a
eg
e
configure
.
in: don'
t
set
w
i
t
h_{pol
y
,
p
ip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_Sa
m
ple: b
e
satisfi
e
d with a
r
e
a
sonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
cone_integer_hul
l
:
optio
n
al
l
y
p
rint
s
t
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis
_
reduction: kee
p
track
of num
b
e
r of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oo
l
aege
op
t
ions: move --pr
i
nt-stats
t
o
library
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
rdoolaege
bernstein: r
e
work testing fra
m
e
w
ork
to
n
ot depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Ve
r
d
oolaege
bernstein: ad
d
pi
e
cew
i
se
_
lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n
Ver
d
o
o
laege
support newer versions of GiN
a
C (>
=
1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
standard_cons
t
r
aints:
m
ove fro
m
topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove
d
e
p
en
d
ency
on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
zsolve:
a
dd bann
e
r
.
h
to distrib
u
tion
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
Polyhedr
o
n_Lattice_Width_
D
i
r
e
ctions: p
r
int progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reduct
i
o
n_pi
p
: abort o
n
i
nvalid (e
m
pty) inpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoola
e
g
e
R
E
A
D
M
E:
e
x
p
lain how to get submodules
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
doc: document latti
c
e
width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
so
m
e lattice width tests f
r
om
J
on Yag
g
i
e
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
Polyhe
d
ro
n
_Lattice_Wi
d
th: de
c
ide
o
n face
t
s
t
o clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add
P
olyhedron_Lattice_
W
i
d
th for co
m
p
u
t
ing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doo
l
aeg
e
hilbert
.
c: add Cone_Integer_
H
ull for
computin
g
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oo
l
a
e
ge
p
olysig
n
: add
pip-
b
a
c
k
ed ver
s
ion
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
po
l
y
s
ign: add
c
onst
r
a
i
nts_opt to compute optimum ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
poly
s
ig
n
_cd
d
: switch to use o
f
Matrix represe
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
pol
y
s
i
gn_glpk: sw
i
t
c
h
t
o
use of Matri
x
repr
e
s
entati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
doc: docu
m
e
n
t co
m
p
u
t
ati
o
n of Hilber
t
b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
Cone_Hi
l
bert_Basis: u
s
e stan
d
ard_con
s
traints to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
U
se
z
solve t
o
compute Hilbert basis of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
laege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't install head
e
rs and execu
t
ab
l
es
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoola
e
ge
zsolve: initi
a
l
ize
B
a
ckupTime in Z
S
olveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
o
l
aeg
e
z
solve:
zsolveS
y
s
tem:
add m
i
ssing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsolve:
override LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
a
d
d
z
s
olve
from 4ti2-1
.
3
.
1+au
t
o
c
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
aram_ut
i
l
.
c:
e
xport bit_vector_co
u
nt
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
topcom
.
c: extra
c
t part
o
f code for setting up
s
tandard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ver
d
oolaeg
e
gen_fu
n
::Hadamard_product:
print progress
indic
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n Verdoolaege
move --verbose op
t
ion to library
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
gen_fun::s
u
mmate: handle full specializati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace incremental
infinite set counter b
y
"
regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
ma
k
e
coun
t
er::ad
d
_falling_
p
o
we
r
s static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
merge (most of
)
common part of counte
r
and tcounte
r
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
a
ege
icoun
t
er: handle specializati
o
n
of polyn
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
icounter: don'
t
both
e
r
"no
r
malizing" th
e
exponen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
expo
r
t n
e
g_
l
eft_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
basis_r
e
d
u
ction_cd
d
:
ch
e
c
k for
possibly
incorrect
ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Polyhedron_
S
ample: h
a
n
dl
e
polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
ge
n
_fun::operator evalue
*
:
a
lways ret
u
rn a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
g
e
n
_fun::operator evalue *: remov
e
commented out deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
bar
v
inok_enumer
a
te_e
.
cc: handle verif
i
cation of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
g
e
ba
r
vinok_en
u
merate_e:
optionally print st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoola
e
ge
barvi
n
ok_enumerate
_
e: support
verificat
i
on of ge
n
e
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvin
o
k_enum
e
r
a
te_e:
support co
n
v
e
r
s
ion of gen
e
ratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
l
a
ttice_p
o
ints:
a
nother micro-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oo
l
aege
lattice_poin
t
s_
f
ixed: nano-op
t
i
mizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
e
n
_fun::add: context of su
m
should be union
o
f contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
barvinok_enumera
t
e: use veri
f
y
i
nfr
a
s
tructure for
v
er
i
fying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
genfun
.
cc
:
prin
t
_
p
ow
e
r: drop
s
paces a
r
o
und "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
doolaege
c
o
u
nt_poin
t
s_e: fal
l
back to cou
n
t_poi
n
t
s if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am: ch
e
c
k
-e
v
alue:
print
name of e
a
ch test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
verif
y
: add
c
h
e
ck_poly_
p
rint
helper function
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun
:
make
sure context is a
l
ways
s
et
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
re
d
ucer::reduce: can
o
nicalize
coefficients in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
short
_
ra
t
::p
r
i
n
t:
correctly
print out term
s
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
barvinok_series: rec
h
eck for equal
i
ties a
f
ter
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
export
Matrix_Read for readi
n
g Matrix
f
r
om
a
stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
par
a
m_util
.
c: add P
a
ram_Vertex_
D
omain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
uti
l
.
c: supporting_con
s
trai
n
ts: re
t
urn bit v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdo
o
laege
polyl
i
b:
update for
M
at
r
ix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
options
.
c: us
e
Polyhedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
olaege
keep
track of and use saturating
co
n
s
tr
a
ints in
Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
g
e
move value_gcd and
v
alue_
l
cm t
o
p
o
l
yl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
Bernoul
l
i_s
u
m_e
v
alue: only
compute
exa
c
t sum if a
p
proximati
o
.
.
.
commit
|
commitdiff
|
tree
next