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
S
ven
V
erdoolaeg
e
barvi
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
d
d so
m
e tests
f
or im
p
lementation o
f
proj
e
ction theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoo
l
ae
g
e
doc: do
c
ument new option
s
and new application
s
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
AU
T
HORS: upd
a
t
e
sup
p
ort info
r
m
ati
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
genfun
.
cc: short
_
r
at::print: c
o
rrectly pr
i
nt polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
Export se
r
ies
a
s barvinok_enumera
t
e
_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_parameter_equalities: stop
"
r
e
movi
n
g" equali
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
series: le
a
ve freei
n
g of P arg
u
ment to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
doc: document i
m
plem
e
ntation of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
add barvinok_enumerate_e_series i
m
plementing the
p
roject
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ver
d
oolae
g
e
genfun
.
cc: fi
x
an
d
docu
m
en
t
parall
e
l polyto
p
es class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
Only compi
l
e
z
solve if gcc 3
.
4 or
l
ater is
a
va
i
labl
e
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
Move G
i
Na
C
-i
n
dependent
p
a
r
t of library to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdo
o
l
a
ege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoola
e
g
e
doc:
h
ow to count the number of elements in poss
i
bly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verd
o
ola
e
ge
d
oc/implementation
.
tex: avoid multiply d
e
f
ined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_widt
h
.
c: try vertices of
p
reviou
s
integer
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ve
r
doolaege
doc
:
do
c
ument int
e
ger h
u
ll comput
a
tion
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoolaege
hull
.
c: add all points found by
s
a
mpling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Possible
optimizat
i
ons for gener
a
lized basi
s
r
e
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support u
s
e o
f
gener
a
lized basis r
e
d
u
ction to comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ver
d
oolaege
add Po
l
yhedron_
I
nt
e
g
e
r
_M
i
nimum for comp
u
t
ing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
doc: document generalized bas
i
s reduc
t
ion based i
n
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
V
erd
o
olaege
doc/barvinok
.
bib: add mis
s
ing st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
S
ven
V
er
d
oolaege
a
d
d more missin
g
assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
configu
r
e
.
in: only compile l
i
b
b
arvinok
a
s
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verd
o
o
l
ae
g
e
Polyhed
r
on_Re
d
uced_B
a
s
is: d
o
n't
s
top too
early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
ege
compute_wi
d
th_directions:
o
nly keep
l
i
st of distin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdo
o
laeg
e
zsolve: don't
install library
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
v
e
rsion
.
c
: show u
s
e of
TOPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
configure
.
in: don't set with_{po
l
y,
p
i
p}lib_
p
refix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
P
o
lyhedron_Sample:
b
e satisfied
w
ith a reasonable choic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
cone_integer_hull: optiona
l
ly print s
t
a
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoo
l
aege
basis_reduction:
keep
t
r
ack of number of LP
s
solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
op
t
i
o
n
s
: move
-
-print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
bernstein:
rework
t
es
t
ing framework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verd
o
olaege
bernst
e
in: ad
d
p
i
ecew
i
s
e_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
sup
p
ort newer versions of G
i
NaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ver
d
oola
e
ge
standard_constraints: move from to
p
c
o
m
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoola
e
g
e
polysign
.
h
: remove dependency on lexmi
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
zsolv
e
:
a
dd
ban
n
e
r
.
h
t
o di
s
t
ribution
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verdoo
l
aege
Polyhedro
n
_Lattice_W
i
dth_Direc
t
i
o
ns: pr
i
nt progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoolaege
basis_reduction_pi
p
: a
b
ort on inv
a
li
d
(e
m
pty)
in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
do
o
laeg
e
README: explain
how to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
e
g
e
d
o
c: d
o
cument lattice width com
p
utation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
som
e
lattice wi
d
th t
e
sts fr
o
m Jon Y
a
ggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
d
o
ola
e
ge
Pol
y
hedron_Lattic
e
_
Wid
t
h: decide on f
a
cets to cl
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaeg
e
add Po
l
yhedro
n
_Lattice_Wi
d
th for computing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
V
e
rdool
a
ege
hilbert
.
c: add Cone_I
n
teger
_
Hull for computing v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
dool
a
ege
polysign: add pip
-
backed v
e
r
sion
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
polysign:
ad
d
constr
a
i
n
ts
_
opt to compute o
p
t
i
mum
o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
po
l
ysign_cdd: switch
to u
s
e
o
f Matrix
r
epr
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
polysign_glpk: sw
i
tch
t
o
us
e
o
f
Matrix repr
e
sentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdool
a
ege
doc:
document computation of Hilbert basis o
f
a
c
one
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
V
erdoolaege
Co
n
e_Hilbert_Basis: use
s
tandard
_
constraints to a
v
oid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zso
l
ve
to compute Hilbert
basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
c
ompile
z
s
olve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zsol
v
e: don't install headers
a
nd
execu
t
a
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
z
s
o
l
ve: ini
t
iali
z
e
BackupTi
m
e in ZSol
v
eCo
n
text
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
olaege
zsolve: zsolveSystem: add m
i
ssing verbosity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zs
o
lve: over
r
i
d
e LI
B
S from
top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
lae
g
e
add 4ti2
-
1
.
3
.
1+
a
utoco
n
f-0
.
1 ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
add zsolve from
4ti2-1
.
3
.
1+autoconf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Ve
r
doo
l
aege
param_ut
i
l
.
c:
e
xport bit_vector_co
u
nt
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
to
p
com
.
c
:
extract part of c
o
d
e
for setting up
s
tand
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n
Verdo
o
laege
gen_fun
:
:Hadama
r
d_product: pri
n
t
progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
en Ve
r
doolaege
move --verbose o
p
t
ion to
l
ibrary
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_fun::summate: ha
n
dle full
s
p
e
ci
a
l
i
zati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Re
p
lace incremental infinite set counter by "re
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
make cou
n
ter
:
:add_falling_po
w
er
s
static
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
m
e
rge (
m
os
t
of)
c
ommon
p
art of cou
n
ter and t
c
ounter
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdo
o
laeg
e
icounter
:
handle
s
pecializatio
n
of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
icounter: don
'
t bother "normalizin
g
" the exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_left_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
basis
_
redu
c
tio
n
_
cdd: che
c
k for p
o
s
sibly i
n
c
orr
e
ct
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
Po
l
yhe
d
ron_Sample:
h
andle polyhedron bec
o
ming emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
gen_fun
:
:operato
r
eva
l
u
e
*
: always r
e
t
u
rn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun::o
p
erato
r
evalue
*
: remove commented
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaeg
e
barvino
k
_
enume
r
ate_e
.
cc:
h
a
n
dl
e
v
erification of pro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvin
o
k_e
n
umerate_e
:
optional
l
y print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvinok_enumerate_e: support verificatio
n
of gener
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
e
g
e
ba
r
v
inok_en
u
merat
e
_e: suppor
t
conversi
o
n
of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doola
e
ge
l
attic
e
_
poi
n
ts: another micro-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
lattice_points_fixed: nano-optimi
z
atio
n
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun::add
:
context o
f
sum s
h
ould be union of conte
x
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
barvinok_enume
r
a
te
:
use verify in
f
rastructure for veri
f
ying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rdoolaeg
e
genfun
.
cc:
print_power: drop spaces aroun
d
"/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
count_poin
t
s_
e
:
fall back to
coun
t
_points if
ther
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
Makefile
.
am: check-evalue: print name of ea
c
h
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
v
erify: add
c
hec
k
_poly_
p
rint helper
f
unction
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ge
n
_fun
:
mak
e
sure conte
x
t is
a
lways se
t
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
re
d
u
c
er:
:
re
d
uce: canonicalize coefficients i
n
each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
sho
r
t_rat::
p
rint: co
r
rectly print out ter
m
s with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvinok_seri
e
s: recheck for equ
a
lities af
t
e
r
comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
export Matrix_Read for reading Matri
x
from a s
t
r
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
d
o
olaege
para
m
_
u
ti
l
.
c: ad
d
Param_Vertex_Dom
a
i
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
util
.
c: su
p
por
t
ing_co
n
straints: return b
i
t vector
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoo
l
a
ege
poly
l
i
b: update
f
or Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c: u
s
e Polyhe
d
ron_S
a
mple for
count
i
ng i
n
finite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
k
eep track of and u
s
e saturating c
o
nstrai
n
ts
i
n Param_Polyhedron
commit
|
commitdiff
|
tree
next