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
lattice_point.cc: multi_monom/lattice_points: return malloc'd evalue(s)
2008-01-16
Sven Verdo
o
lae
g
e
po
l
y
lib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
ege
doc:
h
ow t
o
count the numbe
r
of elemen
t
s in p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implementation
.
tex:
av
o
id multiply defined
label
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
l
attice_widt
h
.
c: try vertices of
p
r
evi
o
us int
e
ger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
do
c
:
document integer hull com
p
u
tation
commit
|
commitdiff
|
tree
2007-11-21
S
ven
V
e
rdoolae
g
e
hul
l
.
c
:
add al
l
point
s
f
o
und by sampli
n
g dire
c
tly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
P
o
ssible optimizations fo
r
g
e
neralized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
Support use of genera
l
ized basi
s
reduction to
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
la
e
ge
add Polyhedr
o
n
_
I
nte
g
er_Minimum
for c
o
mputing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
V
erdoolaege
doc: docume
n
t
gen
e
ralize
d
basis red
u
ction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
V
erdoola
e
ge
doc/barvinok
.
b
ib: add miss
i
ng
string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolae
g
e
add more m
i
ssing a
s
s
e
rt
.
h
#
includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c:
a
dd mis
s
ing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verd
o
olaege
conf
i
g
ure
.
in: pas
s
path of GMP
i
n
stallati
o
n to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in: only compile l
i
bbar
v
ino
k
as a
sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
Polyh
e
dro
n
_Reduced_B
a
sis: don'
t
stop
t
oo e
a
r
l
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verd
o
olaege
comput
e
_width_directi
o
n
s
: o
n
ly keep
li
s
t o
f
dist
i
nct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoola
e
ge
z
s
olve: don't install lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
ver
s
io
n
.
c: sh
o
w
use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
configur
e
.
in: don't set with_{poly
,
p
ip}
l
i
b
_pre
f
ix fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verd
o
olaege
P
o
l
yhedron_Sample: be satisfied with a reasonab
l
e choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
co
n
e_
i
nteger_h
u
ll:
optionally prin
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolae
g
e
b
asi
s
_reduction: k
e
ep track
of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
options: mo
v
e --p
r
int-stats to
l
i
b
rary
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
Verdoo
l
ae
g
e
bernstein: rework testing
f
ramework to not depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ve
r
d
ool
a
ege
bern
s
t
e
in: add piece
w
ise_l
s
t:
:
i
s
_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
upport
new
e
r
v
ersions of G
i
NaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oola
e
ge
standard_constraints:
m
ov
e
from topcom
.
c
t
o
p
olysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
polysign
.
h: remove depe
n
dency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdool
a
ege
zsol
v
e:
a
dd ban
n
er
.
h
t
o
distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
o
olaege
Polyh
e
d
ron_Lattice_Wid
t
h_Directions: p
r
int progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Ver
d
oola
e
g
e
basis_red
u
c
t
i
on_pip
:
a
bort on
i
n
valid (empty)
in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
README: exp
l
ain how to g
e
t submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
doc: document l
a
ttice
w
idth computati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdo
o
laege
som
e
lattice w
i
d
th tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoolaege
Po
l
yhedron_Lattice_Width: decide o
n
fac
e
ts to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
o
lae
g
e
add P
o
lyhedron
_
Lattice_Width for comp
u
ting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hi
l
be
r
t
.
c: add
Cone_I
n
teger_Hull for computing verti
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
poly
s
ign:
a
dd pi
p
-
b
a
c
k
ed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ysign: add constraints_opt
to compute optimum
ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
er
d
o
o
l
aege
polysign_cdd: switch to us
e
of Matrix representatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
po
l
ysign_glpk: switch to u
s
e of Mat
r
i
x representati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
olaeg
e
d
oc:
docume
n
t
compu
t
ati
o
n of
H
ilbert basis
of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdool
a
e
g
e
C
o
ne_Hilbert_Basis: use st
a
ndard
_
co
n
straints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ve
r
doolaege
Use zsolve t
o
compute H
i
l
bert basis
o
f a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
compile
z
sol
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
d
o
n
't insta
l
l
headers and executables
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsol
v
e
:
initial
i
ze BackupTime
i
n Z
S
olveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zsolve: zsolveSystem:
a
dd missing ver
b
osity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
z
solve:
o
verride LI
B
S from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
a
dd 4
t
i2-1
.
3
.
1+autoc
o
nf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add z
s
o
lve from 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdool
a
ege
param_util
.
c:
e
x
port
b
it
_
vector_cou
n
t
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
rdoolaege
topcom
.
c:
e
xtract part o
f
code for set
t
ing up standar
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
erdoolaeg
e
g
en_fun::Hada
m
ard_product: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --ver
b
os
e
option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
g
en_fun:
:
summ
a
te: handle full speci
a
lization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
Replace incr
e
mental i
n
f
inite se
t
counter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
make counter::ad
d
_fal
l
ing_powers
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
merge (mo
s
t
of) common
p
art of counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ico
u
nter: hand
l
e
specializ
a
tion
o
f
p
ol
y
n
omial
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolae
g
e
icoun
t
er: don't bother "nor
m
al
i
zi
n
g" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
ex
p
o
rt
n
eg_left_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
ge
basis_reduction_cdd: ch
e
ck for
possibly incorrect
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
Polyhed
r
on_Sample: handle p
o
l
y
hedron beco
m
ing empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
gen_fun::oper
a
tor
e
value *
:
always re
t
urn
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
gen_fun
:
:oper
a
to
r
ev
a
l
u
e *: remove commente
d
out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enu
m
erat
e
_e
.
cc:
h
a
ndle verification of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
r
v
i
no
k
_enum
e
rate_e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
barvinok_enumerate_e:
s
upport verifica
t
ion of generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
g
e
barvino
k
_en
u
m
e
r
ate_e: support conver
s
i
o
n of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
a
ttice_poin
t
s
:
another micro-op
t
im
i
zation
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
latti
c
e
_points_fixed: nano-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ve
r
d
oo
l
aeg
e
gen
_
fun::add: con
t
ext
o
f
sum
shoul
d
be u
n
ion o
f
co
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
barvinok_enumerate:
u
se verify infrastructure fo
r
v
erifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
genfun
.
cc: print_power:
drop spa
c
es
a
round "/"
w
he
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
count_points_e: fa
l
l
back to count_poin
t
s if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doola
e
ge
Makef
i
l
e
.
a
m: check-evalue
:
print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
veri
f
y
: add chec
k
_poly_print helper f
u
nction
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun:
m
ake sure context is
a
l
w
ay
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer
:
:reduce: canonicalize
c
oefficient
s
in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
shor
t
_rat::p
r
int: correctly print out terms w
i
th a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
ba
r
vinok_se
r
ie
s
: recheck for equalities after
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
e
xpo
r
t Matrix_Read
f
or reading M
a
t
r
i
x
f
rom a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
p
aram_
u
til
.
c: add Param_V
e
rtex_Domai
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
util
.
c: supp
o
rti
n
g_con
s
traints: return bit vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
o
o
laeg
e
p
olylib: update for
M
atrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
opt
i
o
n
s
.
c: use Po
l
yhedron_Samp
l
e f
o
r counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
keep track of and use sa
t
urating constraints
in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_gcd and value_
l
cm to poly
l
ib
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
B
ernoulli_su
m
_eva
l
ue:
only comput
e
exact s
u
m if a
p
p
roximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
B
e
rnoulli_sum_evalue: sum o
v
e
r
variables with in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
Polyhedron_Exc
h
a
n
geColu
m
n
s: normaliz
e
constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolae
g
e
export P
o
lyhedron_Exchan
g
e
C
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
_
polynomial:
optim
i
ze evaluation
i
n zero
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
evalue
.
c
: emul: handle anot
h
er
special
c
ase
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
a
l
ue
.
c: ea
d
d
:
h
a
n
d
le
s
ome specia
l
c
ases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
introduce and use eval
u
e
_
f
ree
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue
.
c
: eadd: mi
c
ro-optimize
a
d
diti
o
n of two ration
a
ls
commit
|
commitdiff
|
tree
next