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_width.c: try vertices of previous integer hulls in new integer hulls
2007-11-21
Sven Verdoo
l
aege
lat
t
i
c
e_
w
idth
.
c: try ver
t
ices of pr
e
vious integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
d
o
c
: document integer hull c
o
mp
u
t
a
tion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c:
add all points
found by s
a
mpling dir
e
ctl
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
Possibl
e
opt
i
mizations f
o
r generalized basis
r
e
du
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rd
o
olaeg
e
Su
p
p
or
t
use of generali
z
ed b
a
si
s
redu
c
tion to
comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
add Polyhedron_I
n
teger_Minimum for co
m
puting the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
doc: document
generali
z
ed basis r
e
duction based in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verd
o
olaege
doc/barvin
o
k
.
bib:
a
dd missing
stri
n
g
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
aege
add more missing asse
r
t
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdoolaege
eva
l
u
e
.
c: add mis
s
ing in
c
lu
d
e of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoola
e
ge
configure
.
in: pass
path of
G
MP installat
i
on to PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
onfigure
.
in:
o
nly comp
i
le libbarv
i
nok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedron
_
R
educ
e
d_Basis: d
o
n't stop t
o
o ear
l
y
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
compute_wid
t
h_dir
e
ctions: o
n
l
y
k
ee
p
list
o
f dis
t
i
n
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
zsolve
:
d
o
n't inst
a
ll library
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verd
o
o
l
a
ege
versio
n
.
c: show use of TOPC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in: don't set wit
h
_{poly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoo
l
aege
Polyhe
d
r
o
n
_Sa
m
pl
e
: be sa
t
isfied wit
h
a reasonab
l
e
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
cone
_
integer_hull: optio
n
a
l
ly print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
b
asis_re
d
uction
:
k
eep track of number o
f
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
V
e
r
dool
a
ege
options: move --print-
s
tats to libr
a
ry
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
b
er
n
st
e
in: rework te
s
ting
framework to
n
ot depen
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
ber
n
stein: a
d
d pi
e
cewise_lst::
i
s
_equal
commit
|
commitdiff
|
tree
2007-11-07
S
ven
V
erdoolaege
s
u
pport newer versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
st
a
ndard_constraints: move from t
o
p
c
om
.
c t
o
p
olys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
polysign
.
h: remov
e
dependen
c
y on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdool
a
ege
z
sol
v
e
:
add bann
e
r
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
S
ven
Verdoolaege
P
ol
y
hedron_Lattice_Wid
t
h_Directions: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
e
rdoolaege
basis_reduc
t
ion_pip:
a
b
o
rt on
i
nvalid (empty
)
in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README
:
explain h
o
w
t
o get sub
m
od
u
l
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
doc: doc
u
men
t
l
a
ttice wid
t
h computati
o
n
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
some
latti
c
e w
i
dth t
e
sts from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Pol
y
he
d
r
o
n_Lattice_Width: decid
e
on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ve
n
Verdoolae
g
e
add Polyhedron_Lattice_Widt
h
f
or
c
o
mpu
t
i
ng lat
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
d
oolaege
hilbe
r
t
.
c
:
a
dd C
o
ne
_
In
t
eger_Hull for
c
omp
u
t
i
n
g
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysig
n
: add pip-bac
k
ed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add constraints_opt to comp
u
t
e
optimum o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
olysign_c
d
d: swi
t
ch
to
u
se o
f
Matrix
representat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdo
o
la
e
ge
polysign
_
g
l
pk: switch to use
o
f
Matrix rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verd
o
olaeg
e
doc: doc
u
ment
com
p
utati
o
n
o
f Hilbert basis
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
Cone_Hilbert_B
a
sis:
use standard_constraints to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oola
e
ge
Use zsolve
to compute Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
o
o
laege
co
m
pile zso
l
ve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oolae
g
e
zs
o
lve:
d
o
n
'
t i
n
stall headers and
ex
e
cutables
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaege
zsolve: initia
l
ize BackupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zsolve: zsol
v
eSystem: ad
d
miss
i
ng verbosity check
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
zsolv
e
: overrid
e
L
IBS from to
p
l
evel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
ad
d
4ti2-1
.
3
.
1+au
t
oconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaeg
e
add zsolve from 4ti2-1
.
3
.
1+autocon
f
-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
param
_
util
.
c:
e
xpo
r
t bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
ege
topcom
.
c: extrac
t
part
o
f code
f
or setting
u
p standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
e
rdoolaeg
e
g
e
n_fu
n
::H
a
damard_pr
o
duct: pr
i
nt progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verd
o
olaege
move
--verb
o
s
e option to lib
r
ary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::su
m
mate: handle full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
lae
g
e
Replace increm
e
ntal i
n
f
i
ni
t
e
s
et counter
b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
a
e
ge
mak
e
counter::add_fall
i
ng_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
m
e
rge (
m
ost of) common part of co
u
n
t
er and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
i
c
ounter: handle
sp
e
c
ializati
o
n
o
f
polynom
i
al
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
icounter: don't bother "n
o
rm
a
l
i
zing"
the ex
p
onent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
export n
e
g_
l
e
f
t
_
h
ermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
basis_red
u
c
tion_cd
d
: c
h
eck for possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolae
g
e
Polyhedron
_
Sample: handle polyhe
d
r
on beco
m
ing empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
r
d
o
o
l
aege
gen_fun::operator eva
l
ue *: always return a
v
alid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
lae
g
e
g
e
n_
f
un::operator evalue *: remove c
o
mmented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
rdoo
l
aege
barvinok_enumerate_e
.
cc: handle ver
i
f
i
c
a
t
i
on of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvinok_enumerate_e:
opt
i
onally pri
n
t stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enu
m
erate_e: s
u
p
p
ort verification of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
do
o
laege
b
arvinok_en
u
m
e
rat
e
_e
:
s
u
p
p
ort conversion of
g
e
nerat
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
eg
e
l
attice_poin
t
s: another micro-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
lattice
_
points_fixed
:
nano-optimi
z
atio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
eg
e
gen_fun::add: context of sum s
h
ould be union of cont
e
xts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
bar
v
inok
_
enumerate
:
use verify infr
a
st
r
uctur
e
fo
r
verify
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
g
enfun
.
cc: print_powe
r
: drop
spac
e
s
around "
/
"
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
g
e
count_points_e: fall back to
c
ount_points i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolae
g
e
Makefile
.
am: check-evalue:
p
rint name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
V
erdoo
l
a
ege
ver
i
f
y: add ch
e
ck_poly_print he
l
per function
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
gen_fun: make su
r
e contex
t
is always set
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
re
d
ucer::reduce
:
canon
i
c
al
i
ze coefficients in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
sho
r
t
_rat::print: c
o
rr
e
ctly pr
i
n
t
out term
s
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
b
a
rvino
k
_series: recheck for equalitie
s
after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Matri
x
_Read for readin
g
Matrix from
a
st
r
e
am
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doo
l
aeg
e
param_util
.
c: ad
d
Param_Vertex_
D
om
a
in
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
r
doolaege
u
til
.
c: supporti
n
g_constraints: return
bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
polylib: up
d
at
e
for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
options
.
c: u
s
e Polyhe
d
ron_Sample f
o
r
counting i
n
f
i
nite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep tra
c
k
of
a
nd
u
se saturating con
s
tr
a
in
t
s in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
move value_gcd
a
nd value_lc
m
to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
Bernoul
l
i_s
u
m_evalue
:
on
l
y
compute
e
xact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
lae
g
e
Bernoulli_s
u
m_e
v
a
l
ue: su
m
o
v
er va
r
iab
l
es w
i
th integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ev
a
lu
e
.
c: expo
r
t
evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
laege
P
o
l
yhedron_Exchang
e
Columns:
n
ormalize constrain
t
s aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
export Polyhed
r
o
n
_E
x
changeCol
u
m
ns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_poly
n
o
mi
a
l: optimize evalua
t
ion in zero
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
evalue
.
c
:
e
m
ul: handle a
n
o
th
e
r special case
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
eva
l
ue
.
c
:
eadd: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
int
r
o
duce an
d
u
s
e evalue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
evalue
.
c: eadd: micro
-
o
p
timize ad
d
itio
n
o
f
t
wo rat
i
onal
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
se
t
ting an
a
pproximation me
t
hod now imp
l
ies
p
oly
n
o
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_su
m
mate: opt
i
on
a
lly use Bernoulli/F
a
ulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
rnou
l
li_su
m
_evalue: us
e
eva
l
u
e_from_section_array
.
.
.
commit
|
commitdiff
|
tree
next