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
series: leave freeing of P argument to calling function
2008-01-16
Sven Verdoolaege
s
eri
e
s: leave freeing
of P
argument
to
calling functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: docu
m
ent i
m
pl
e
mentati
o
n
of the projection theor
e
m
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdoolaege
ad
d
barvin
o
k_
e
nu
m
erat
e
_e_ser
i
es imp
l
eme
n
ting the
proje
c
tion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
genfun
.
cc: fix a
n
d
document paral
l
e
l p
o
l
y
topes class
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
erdoolae
g
e
Only compile zsolve
i
f gc
c
3
.
4 or later is avai
l
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Mov
e
G
i
NaC-indep
e
nde
n
t part of library to barv
i
n
ok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
pol
y
lib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ver
d
ool
a
eg
e
do
c
: h
o
w to c
o
unt the
numb
e
r
of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implementation
.
tex
:
avo
i
d multiply
defined lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
la
t
tice_wi
d
th
.
c: try v
e
rt
i
ces of previous i
n
teger hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
o
c: d
o
cument integer hull comp
u
tation
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdoo
l
aege
hull
.
c: add all points
f
ound by sampling d
i
re
c
tly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Poss
i
ble optim
i
zat
i
ons for generaliz
e
d basis r
e
duction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
o
laege
S
u
ppo
r
t use
of gene
r
alized basis
r
eduction to
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
a
ege
add Po
l
y
he
d
r
on_Integ
e
r_Minimum fo
r
compu
t
i
ng the
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
olaeg
e
doc:
doc
u
men
t
generalized
b
as
i
s reduct
i
on b
a
sed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
e
rdoolaege
d
o
c/ba
r
vinok
.
bi
b
: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
V
erdool
a
eg
e
ad
d
more mis
s
ing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolaege
evalue
.
c: add missing include of a
l
loca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
en
Verdoolaege
configure
.
in: pass
p
a
th of
G
M
P installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in: only compi
l
e libb
a
rvino
k
as a s
t
atic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaege
P
ol
y
hedron_Re
d
uced
_
B
a
sis
:
d
on't st
o
p too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verd
o
olae
g
e
compute_width_directi
o
ns: on
l
y ke
e
p lis
t
of d
i
stin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
e
r
do
o
laege
zsolve: do
n
't insta
l
l
li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolae
g
e
versio
n
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolae
g
e
c
onfigure
.
in: do
n
't set with_{pol
y
,pi
p
}li
b
_
prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
Polyhedron_S
a
m
p
le: be satisfied
w
ith a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
c
o
ne_int
e
ger_hull: optionall
y
prin
t
st
a
ts
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
e
r
doolaege
b
a
sis_reduction: keep
t
rack of
number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoo
l
aege
opti
o
ns: move --prin
t
-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
b
ernstein:
re
w
or
k
testing f
r
amework to no
t
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
berns
t
ei
n
: ad
d
pi
e
cewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
support newe
r
v
e
r
sions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_constra
i
n
t
s: mo
v
e
from topcom
.
c to p
o
lys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
polysign
.
h: rem
o
ve de
p
ende
n
cy on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
z
solve: add banner
.
h
to distributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaeg
e
P
o
lyh
e
dr
o
n_Lattice_Widt
h
_Directions: print pr
o
g
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_r
e
ductio
n
_
p
ip: abort
on inva
l
id (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
README: explain how to get su
b
m
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoolaege
doc: document la
t
t
ice w
i
dth c
o
mputation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
some lattice wi
d
th tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
P
olyhedron_
L
attice_
W
idth: decide o
n
facets to
c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
add Polyhedron_Latt
i
ce_Width fo
r
co
m
puting lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Ve
r
d
oolaege
hilbert
.
c
: add Cone_Integer_Hull f
o
r
c
omput
i
ng vertice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaeg
e
po
l
ysign: add pip
-
backe
d
v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add c
o
nstraints_
o
pt to compute optimum
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
s
i
g
n
_
c
dd: switch to use of Mat
r
ix r
e
pres
e
ntatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polysign_glpk: swit
c
h
to use of M
a
tri
x
r
e
presentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoo
l
ae
g
e
doc: docu
m
en
t
c
omputation of Hilb
e
rt ba
s
is of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
Cone_Hilbert_Basis: u
s
e
standard_constrai
n
t
s to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
U
s
e zsolve t
o
com
p
u
t
e Hilbert basis
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoola
e
ge
zso
l
v
e
: don't in
s
tall headers
a
nd
e
xecut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
olaeg
e
zsolve:
initialize Backu
p
Time in ZSolv
e
Context
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
zsolve
:
zsolve
S
ys
t
em
:
add m
i
s
s
in
g
verbosi
t
y check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
z
so
l
ve: o
v
e
r
ri
d
e LIBS
from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
ge
add 4ti2-1
.
3
.
1
+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
add zsolve
f
rom 4ti2-1
.
3
.
1+autoc
o
nf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdool
a
ege
param_util
.
c:
e
xport bi
t
_vector_c
o
unt
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verdoolaege
topcom
.
c:
e
xtr
a
ct part of
code for
s
etting u
p
s
t
andard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
e
rdoo
l
aege
gen_fun::
H
adamard_prod
u
ct: print progress indicato
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
en Verdoolaeg
e
move --verbose opt
i
on to libr
a
ry
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
gen_fu
n
::summate: ha
n
dle full spec
i
a
lizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
Replace
i
ncremental infinit
e
set count
e
r by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
mak
e
c
o
u
nter::add_fall
i
ng_po
w
ers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
merge (m
o
st of
)
common part of
c
ounter and tc
o
unter
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
icoun
t
e
r: ha
n
dl
e
s
p
ecializa
t
io
n
of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoola
e
g
e
i
c
ount
e
r:
d
on't bother "normali
z
ing" the e
x
pon
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
export neg_l
e
f
t
_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
basis_reducti
o
n_cdd: check for possibly
in
c
orrect o
u
tpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Po
l
yhedron_Sa
m
p
l
e: ha
n
dle polyhed
r
on becomin
g
empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
gen_fun:
:
operator
e
value *: always
ret
u
rn a v
a
lid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen_fun::o
p
erator e
v
alue
*
: re
m
ove c
o
mmented ou
t
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok
_
enu
m
erate_e
.
cc: handl
e
v
e
ri
f
icati
o
n of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_
e
numerate_e: optiona
l
ly print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olaege
ba
r
vinok_e
n
umerate_e: suppor
t
v
erification
o
f generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaeg
e
barvinok
_
enumera
t
e_e: support conversion of ge
n
eratin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
lattice_po
i
nts
:
another micro-o
p
timiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
a
e
ge
latti
c
e_po
i
nts_fixed:
n
ano-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
g
e
n
_
fun::add
:
context of sum
should be union
o
f
c
ontext
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvi
n
o
k_enu
m
erate: use
v
erify infrastru
c
t
u
re for
ve
r
ifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc:
print_power:
drop s
p
aces
aro
u
n
d
"/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
count_points_e: fall back to count_
p
oints if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
M
akefil
e
.
am: check-evalue: print
name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
ve
r
ify
:
add
check_poly_pri
n
t
helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun: make sure context is
a
l
w
a
y
s set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reduc
e
r::reduce: canonical
i
ze co
e
fficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
short_rat::print: correctly print out terms w
i
t
h
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
barvinok_seri
e
s: reche
c
k for equa
l
it
i
es afte
r
computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Ve
r
doo
l
aege
exp
o
r
t
M
a
tri
x
_R
e
ad for reading
Matrix
f
ro
m
a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
p
a
ram
_
uti
l
.
c
:
ad
d
Param_V
e
rtex_Dom
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
util
.
c:
s
upporting_constraints: retu
r
n bit vect
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdool
a
ege
polylib: update for Matrix
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
dool
a
e
ge
options
.
c: us
e
Polyhedron_Sampl
e
for countin
g
i
n
finite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
keep track of an
d
use
saturating con
s
traints
i
n Param_P
o
lyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
do
o
laege
move val
u
e
_
g
c
d
a
nd v
a
l
ue_lcm to
pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Bernoul
l
i_sum_evalue: on
l
y compute exact sum if appr
o
ximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
B
er
n
ou
l
li
_
sum_eva
l
ue: sum over variables wit
h
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolae
g
e
e
value
.
c: export evalue_v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
Polyhedron_Exch
a
ngeColumn
s
: norma
l
i
z
e constraints afte
r
.
.
.
commit
|
commitdiff
|
tree
next