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
series:
leave freeing of P a
r
gu
m
ent to
calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
d
o
c:
d
ocument impleme
n
tation of th
e
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aege
add barvi
n
ok_enumerate_e_serie
s
imple
m
enti
n
g the projectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
g
e
nf
u
n
.
cc:
fix and docum
e
nt p
a
rallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
Only compil
e
zsolve
i
f
g
cc 3
.
4 or later is
a
vailable
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
M
o
ve G
i
NaC-independen
t
part
of libra
r
y to
b
a
rvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
laege
polyl
i
b
:
u
pd
a
te
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n
Verdoolaege
d
oc: how to
c
o
unt
th
e
numb
e
r o
f
elements in possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n
Verdoolaege
doc/im
p
lem
e
ntation
.
tex: avoi
d
multiply def
i
ned
l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
o
ol
a
ege
lattice_width
.
c: try vertice
s
of previous integer
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
oc: document
i
n
t
e
ger
h
ull co
m
pu
t
a
tion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
hull
.
c
:
add all points f
o
und by sampling directl
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
Possible optimizations
f
or generalized b
a
sis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
doolaeg
e
Support use of generalized basis reduction to
c
o
mpute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoo
l
ae
g
e
add
P
o
lyhe
d
r
o
n
_Integer_M
i
nim
u
m
for com
p
uting the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
doc: document
ge
n
eralized basis reduct
i
on based i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoolaege
doc/barvinok
.
b
ib:
add missing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
S
v
en
V
erdoolae
g
e
add more missi
n
g assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
eva
l
ue
.
c
: add missing incl
u
de of alloc
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Ve
r
doolaege
config
u
r
e
.
in:
pass path
o
f GMP inst
a
llation
t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
d
o
olaege
configure
.
i
n
: only compile libba
r
vino
k
as
a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
Poly
h
edron_Reduce
d
_Ba
s
is: don'
t
stop too early w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_width_d
i
rect
i
o
n
s: only keep list of dis
t
inc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ver
d
oolaege
zsolve: don'
t
install
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Ve
r
d
o
olae
g
e
v
ersio
n
.
c: show use
o
f TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olae
g
e
configure
.
i
n: do
n
't set wit
h
_
{
poly,pip}
l
ib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_Sa
m
ple: be satisfi
e
d with a reasonable
c
hoic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
e
r
doolaege
cone_
i
nteg
e
r_hull: opt
i
onally pri
n
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
basis_reduc
t
ion: keep t
r
ack
of numbe
r
o
f
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
op
t
i
o
ns:
move --print-stats to l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
b
e
rns
t
ein:
re
w
ork
t
esting
f
ramework to n
o
t depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bern
s
tei
n
: add p
i
ecew
i
se_lst::is
_
equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support newer ve
r
sions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
standard_
c
o
n
straints
:
move
f
rom
topc
o
m
.
c to poly
s
ign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaeg
e
polysign
.
h: remo
v
e dependency on
lex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaege
zsolve: add banner
.
h
to dis
t
ribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolae
g
e
Pol
y
h
e
dron_La
t
tice
_
Width_Dir
e
c
tions: pri
n
t
pr
o
gress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
ge
basis_redu
c
tion_pip: abort on in
v
alid (empty)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
olaege
R
EADME:
e
xpla
i
n how to get submodul
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaege
doc: document
lattice wid
t
h com
p
utation
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdo
o
laege
some
l
a
t
t
ice width tests from Jon
Y
aggi
e
commit
|
commitdiff
|
tree
2007-11-01
S
ven V
e
rdo
o
l
aeg
e
Polyhedron
_
Latt
i
c
e_Width: deci
d
e
o
n
facets to clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
add Polyhedron_Lattice_W
i
dth for computi
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
hilbert
.
c
:
add
Cone_
I
n
t
e
g
er_Hull for computi
n
g verti
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add pip-backed versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
polysign: add
c
onstra
i
nts_opt to co
m
p
ute optimum ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
polysign_cdd: switch to use of Matrix represen
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoola
e
ge
pol
y
sign_glpk: switch
t
o use of Matrix repre
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
o
o
laege
doc: do
c
ument computation of Hilbert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
Co
n
e
_
H
ilbert_Bas
i
s:
use standar
d
_constraints to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verd
o
olae
g
e
U
se zsolve t
o
compute Hilbert bas
i
s of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
comp
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdo
o
lae
g
e
zsolv
e
: don't in
s
t
a
ll hea
d
ers and exe
c
utables
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
oolaege
z
s
ol
v
e: initialize Bac
k
upTi
m
e
i
n ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
zsolveSystem: add
m
i
s
sing verb
o
si
t
y check
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdool
a
eg
e
z
s
o
l
ve: ov
e
rride LIBS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
a
d
d
4
ti2-1
.
3
.
1+aut
o
conf-0
.
1
b
anner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
e
rdoola
e
g
e
add zsolv
e
from 4ti2-1
.
3
.
1+auto
c
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_util
.
c: expo
r
t bit_vec
t
or_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topcom
.
c: ex
t
ract part o
f
c
o
d
e
f
or setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
Ve
r
doolaege
gen_fun:
:
Hada
m
ard_produ
c
t: print progre
s
s indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoolaege
move --verbo
s
e option to librar
y
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen_fu
n
::summ
a
t
e
: handle full specializ
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
Replace increm
e
ntal infinite
set cou
n
ter by
"r
e
g
ular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
make counter:
:
a
dd_falling_
p
owers s
t
atic
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
merge (most of)
c
omm
o
n part of counter
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ico
u
nter: handle
special
i
zati
o
n of polyn
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
i
c
ount
e
r
:
d
on't bother
"nor
m
a
lizing
"
t
h
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
exp
o
rt neg_left_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
basi
s
_reduction
_
cdd
:
check for
p
ossibly incorrect outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
Pol
y
hedr
o
n_S
a
mple:
h
and
l
e polyhedron be
c
oming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
gen_fun::oper
a
t
or eva
l
ue
*: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun::operator eval
u
e *:
remov
e
commented
out debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaeg
e
barv
i
nok_e
n
umera
t
e_e
.
c
c
:
handle veri
f
ication of pro
b
lems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
barvinok
_
enumerate_
e
: op
t
ion
a
lly
p
r
int st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
a
eg
e
b
a
rvinok_enumerate_e: supp
o
rt verificat
i
on
o
f g
e
nerati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barv
i
nok_en
u
merate_e
:
support conversion
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
lattic
e
_p
o
ints: another mic
r
o-optim
i
zati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
l
a
ttic
e
_point
s
_
fixed
:
nano-op
t
imi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
d
oolaege
gen_fun:
:
add:
con
t
ext of sum
s
hould
b
e unio
n
of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok_enu
m
erate: use verify infrastructure fo
r
verify
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
genf
u
n
.
cc: pri
n
t
_pow
e
r
: dr
o
p spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
co
u
nt_points_e: fall back to co
u
nt_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
Makefile
.
am: check-evalue: print name o
f
each tes
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
verify
:
add c
h
eck_
p
oly_print help
e
r
f
u
nction
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fu
n
:
m
ake sure context is always
s
et
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
eg
e
reducer::
r
educe: canonicalize coeff
i
c
i
en
t
s in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
short_rat:
:
print: co
r
rectly
prin
t
o
u
t
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
b
a
r
vinok_series:
r
echeck for equalities after comp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
o
o
lae
g
e
exp
o
rt Matrix
_
Re
a
d for
re
a
din
g
Matrix fro
m
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c: add Param_Verte
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: su
p
porting_const
r
aints: retu
r
n
b
i
t vector
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
po
l
yli
b
: update for Matri
x
_Exten
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
op
t
ions
.
c: use Polyhedron_Sampl
e
for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
ke
e
p track
of a
n
d
use sa
t
u
rating constraints in Param_Pol
y
hedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
move v
a
lue_gcd and value_lcm to po
l
y
l
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoulli_su
m
_evalue: only comp
u
t
e
e
x
act sum if appro
x
imatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
Bernoulli_sum_evalue
:
s
u
m over v
a
r
i
a
bles with intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
u
e
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
P
ol
y
h
edr
o
n_
E
xchange
C
o
l
u
mns: normalize constraints after
.
.
.
commit
|
commitdiff
|
tree
next