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
polylib: update
2008-01-16
Sven Verdoolaege
p
olylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc:
how to co
u
nt th
e
n
u
mber of
eleme
n
ts in
p
ossibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven V
e
r
d
ool
a
ege
d
o
c/implementa
t
io
n
.
tex: avoid multiply defined la
b
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ve
r
doolaege
lattice_width
.
c
:
t
r
y vertices
of previous integer h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: doc
u
ment in
t
e
g
e
r
hull co
m
p
u
tation
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
e
rdoolae
g
e
hull
.
c: add all
p
o
i
n
ts found by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
ool
a
eg
e
P
o
ssible o
p
timizat
i
ons
f
or genera
l
ized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
Support use of generalized bas
i
s reduction t
o
compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rd
o
olaege
add Pol
y
h
edro
n
_Integer_Minimum for co
m
p
uting the in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
doc: document gener
a
lized basis reduct
i
o
n
ba
s
ed int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
b
ib: ad
d
missing st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
S
ven
V
e
r
doo
l
aege
add m
o
re missing assert
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdool
a
ege
e
value
.
c: add missing include of all
o
ca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
en
V
erdo
o
laege
configure
.
in
:
pass pa
t
h
o
f GMP installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdo
o
laege
configure
.
in: o
n
l
y
compile libbarvi
n
ok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
Polyhedron_Re
d
uced_Ba
s
i
s
: don't stop too earl
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Ver
d
oolaege
com
p
ute_widt
h
_directions: on
l
y k
e
ep
list of
d
istinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdo
o
laege
zsolve: don't install l
i
brary
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
er
d
oo
l
ae
g
e
v
ersi
o
n
.
c: show us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
o
nfig
u
re
.
in:
d
on't set wi
t
h_{po
l
y,pi
p
}lib_pre
f
ix
f
rom
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaeg
e
Pol
y
hedr
o
n_Sample: be satisfied w
i
th a reasonable
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ver
d
oolaege
cone_integer_hull:
optionall
y
print stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n Verdoolae
g
e
basis_reduction: keep tra
c
k
o
f numbe
r
o
f LPs
s
olved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
o
l
a
e
g
e
optio
n
s: move --print-s
t
a
t
s to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
l
aege
be
r
n
stein: rewo
r
k
te
s
tin
g
fra
m
ework t
o
n
ot depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolae
g
e
b
e
rn
s
tein
:
add piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
support newer versions of GiNaC (>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n Ver
d
oolaege
standard_constraints:
move fro
m
topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
Verdoolaege
polysign
.
h:
re
m
ov
e
dep
e
nde
n
cy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
z
so
l
ve: add banner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdool
a
ege
Pol
y
h
e
dron
_
Lattice_Width_Direc
t
ions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reduction_pip: a
b
ort o
n
invalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
README: explain h
o
w to
g
et submo
d
ules
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdool
a
e
g
e
doc: docume
n
t lattice width comput
a
tion
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erd
o
olae
g
e
some la
t
tice widt
h
tests
from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
aege
Polyhedro
n
_Lattice_Width: decide o
n
f
acets to
c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
add Polyhedr
o
n_Lat
t
ic
e
_
W
idth for comp
u
ting lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
h
i
lbert
.
c
: ad
d
Co
n
e_Integer_Hul
l
fo
r
computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ysign: add
p
ip
-
ba
c
ked version
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polys
i
gn
:
add constr
a
ints_op
t
t
o
compu
t
e optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
p
o
lysign_cdd: switc
h
to use of Matrix repre
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
po
l
ysign_glpk: switch to use
o
f Matrix representati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoola
e
ge
doc
:
document comp
u
tatio
n
o
f Hilbert basis of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdo
o
laege
Cone_Hilb
e
r
t
_Basis: use s
t
andard_con
s
t
rain
t
s to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use
z
solv
e
to
c
o
m
pute Hilber
t
basis of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
co
m
pil
e
z
solve
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rd
o
olaege
zs
o
l
v
e:
d
on't install headers and executa
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve: i
n
itialize Bac
k
upT
i
me in
Z
So
l
veC
o
ntext
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
laege
z
s
olve
:
zsolveSystem: add missing v
e
rbosity c
h
ec
k
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zsolve: ov
e
rride LIBS from to
p
lev
e
l
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Ve
r
doolaege
add 4ti2
-
1
.
3
.
1
+autoco
n
f-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
add
zsol
v
e from
4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
laege
p
aram
_
util
.
c: export bit
_
vecto
r
_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topco
m
.
c
: extract part of
code
for setting up st
a
n
dard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Hadamard_p
r
odu
c
t: print progres
s
indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --ver
b
o
s
e opti
o
n
t
o library
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
gen_fun::summate: h
a
ndle full specialization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
Replace incr
e
mental infinite set counter
by "
r
e
gular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
make counter::add
_
fa
l
ling_pow
e
rs static
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
l
aege
merg
e
(m
o
st of
)
common part of counter and tc
o
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
e
ge
icoun
t
er: handle specialization of po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don't bot
h
er "normal
i
zing" the ex
p
one
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
export ne
g
_left_hermi
t
e
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
V
e
rdoolaege
basis_
r
eduction_cdd:
c
heck for possibly incor
r
ect o
u
t
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Po
l
y
h
edro
n
_Sample: handle poly
h
edron becomin
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_f
u
n:
:
ope
r
a
tor evalue *: always return a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
gen_fun:
:
o
p
erator ev
a
lue *: rem
o
ve
c
ommented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
barvinok_enume
r
ate_e
.
cc:
hand
l
e verification of pro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
barvino
k
_
e
n
u
merate_e: opti
o
nal
l
y prin
t
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvin
o
k
_enumerate_e: support veri
f
icat
i
on of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
g
e
barvinok_e
n
u
m
erate_
e
:
su
p
p
ort conv
e
rsion of g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
olaege
l
at
t
ice_poin
t
s: another micro-opt
i
miz
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
lattic
e
_po
i
nts_f
i
xed: n
a
no-optimizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen_fun::
a
dd: conte
x
t of su
m
s
h
ould be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_enumer
a
te
:
use verify infr
a
structure
f
or
v
erifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
genfun
.
c
c
:
print_power
:
d
rop spa
c
e
s a
r
ound "/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
count_points_e: fall bac
k
to co
u
nt_po
i
n
ts
if
t
h
e
re
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Makefile
.
am: check-eval
u
e: print name o
f
each te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoola
e
ge
verify
:
add check_p
o
l
y
_pr
i
n
t
helper
f
unc
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
gen_
f
un: make
su
r
e
context is alwa
y
s s
e
t
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
l
aege
red
u
cer::
r
ed
u
c
e
: can
o
nicaliz
e
coefficients
i
n each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
s
h
o
rt_rat::print: correctly p
r
int out
ter
m
s with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_
s
eries: rechec
k
f
o
r equa
l
i
ties after computin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export
M
atr
i
x_
R
e
ad fo
r
reading Matrix fro
m
a st
r
eam
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
param
_
ut
i
l
.
c
: add Param_
V
ertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
ut
i
l
.
c
:
s
upporting_const
r
aints: return bit
v
e
c
tor
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olae
g
e
polylib: update for Matrix_E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
o
ptions
.
c
:
use Polyhedron_Sample
f
or c
o
untin
g
i
nfi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
keep track of an
d
use sat
u
rating constraint
s
in Pa
r
am_
P
olyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
move value
_
gcd and value_lcm to p
o
lylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Berno
u
lli_sum_eva
l
u
e
: on
l
y
comput
e
exact sum if approx
i
matio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_s
u
m_evalue:
s
um over variables with
int
e
ge
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
evalue
.
c: export eva
l
ue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Polyhedron_E
x
changeColumns: normalize co
n
straints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
export Polyhe
d
r
o
n_Excha
n
geColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
a
ege
e
value_polynomial: optim
i
ze
e
v
a
lua
t
i
o
n in ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
eva
l
ue
.
c: emul:
h
and
l
e another special c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
evalue
.
c:
e
add: handl
e
som
e
speci
a
l cases
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
i
n
t
roduce and use evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
evalue
.
c
:
eadd: micro-
o
ptimize addit
i
on
of two rational
s
commit
|
commitdiff
|
tree
next