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
evalue.c: evalue_shift_variables: allow shifting of only parameters
2008-02-01
S
v
e
n Verdo
o
lae
g
e
doc: more specific information on buggy
c
ddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sv
e
n
Verdoolaeg
e
conf
i
gure
.
in:
r
equire cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoo
l
aeg
e
confi
g
ure
.
i
n
: only
compile occ if code_gen libra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verd
o
olae
g
e
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ve
r
doolaege
a
d
d
some tes
t
s for i
m
plement
a
tion
o
f projection
t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
doc:
document new options and
new
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
ool
a
ege
AUT
H
ORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
genfun
.
cc: short_rat::pri
n
t: corr
e
ctly p
r
int
polyno
m
i
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Export series as
barvi
n
ok_enumerate_s
e
ries and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
remove_parame
t
e
r_equ
a
lit
i
es: stop "remo
v
ing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
laeg
e
serie
s
:
l
e
ave freeing of P
argumen
t
t
o
calling f
u
nct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
doc: document implementation o
f
t
h
e proje
c
tion
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoola
e
ge
add barvinok_en
u
merate_e_series implementi
n
g the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
genfun
.
c
c: fix
a
nd docu
m
e
n
t parallel
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoolaege
Move GiNa
C
-independent pa
r
t of lib
r
ary to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
oc: h
o
w
to
c
ou
n
t
th
e
number of elements in
p
os
s
i
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
V
e
rd
o
olae
g
e
doc/implem
e
ntation
.
tex
:
a
v
oid mu
l
t
iply defin
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
lattice_wid
t
h
.
c: try verti
c
e
s
of previous integer hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
doc: document integer h
u
ll co
m
putation
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdo
o
laege
hull
.
c
:
ad
d
all
points found by sa
m
pling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
P
o
ssib
l
e optimizations for generalized
basi
s
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
Support
u
se of generalized basis r
e
duction t
o
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
a
d
d
Polyhedron
_
Int
e
ger_Mini
m
um for com
p
uting the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoo
l
aege
doc:
do
c
ument gene
r
alize
d
basis reduction b
a
sed
integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
doc/
b
arvinok
.
b
i
b:
add
missing
s
tr
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaeg
e
a
dd more missin
g
assert
.
h
#inc
l
udes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
configure
.
in: only compil
e
libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaeg
e
Polyhe
d
ron_Reduced_Basis: don't st
o
p too
e
arly
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n V
e
rdoolaege
c
o
m
p
ute_width_dir
e
ctions: only keep list of dist
i
nc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdool
a
ege
zsolv
e
:
don
'
t install lib
r
ary
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdo
o
laege
version
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verd
o
ol
a
ege
configure
.
in: do
n
't
s
e
t
w
i
th_{poly,pip}lib_
p
refi
x
fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdo
o
laege
Polyhedron_Sample: be sati
s
fied wi
t
h a reasona
b
le
c
hoic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
co
n
e_inte
g
e
r_hull:
o
p
tion
a
lly print stat
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_r
e
d
u
ction: kee
p
trac
k
of
number of L
P
s s
o
l
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaege
o
p
tions: move --pr
i
nt
-
s
t
a
ts to
library
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
r
d
oolaege
b
e
r
nstein: rework tes
t
ing frame
w
o
rk to
n
ot depen
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoola
e
ge
be
r
nstein:
a
dd p
i
ecewis
e
_lst::
i
s
_
e
q
ual
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
supp
o
rt n
e
wer version
s
of GiNaC
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
standard_constraints: move from topcom
.
c to
p
olysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdo
o
laege
p
olysig
n
.
h
:
remove dependency
o
n le
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
zsolve:
add banner
.
h to d
i
stribution
commit
|
commitdiff
|
tree
2007-11-06
Sve
n
Verdoolaege
Poly
h
edron_Lattice_Widt
h
_Direct
i
ons:
p
rint prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis
_
reducti
o
n_pip: abort on invalid (
e
mpty
)
in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n
V
erd
o
o
l
aege
README:
e
x
plain h
o
w to get submod
u
les
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
do
c
:
d
ocument
l
attice width computati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven
Ve
r
doo
l
aeg
e
som
e
l
a
ttice width tests f
r
om
Jon
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolae
g
e
P
olyhedron_Lat
t
ic
e
_
W
i
dth: decide on f
a
cets
to c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoolae
g
e
add Polyhed
r
o
n
_
La
t
tice_Width for
c
om
p
uti
n
g
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laege
hi
l
bert
.
c: add C
o
ne_I
n
teger_Hull for computing v
e
r
tice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
pol
y
s
i
gn: add pip-backed vers
i
o
n
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
polysi
g
n: add constrain
t
s_opt t
o
compute opti
m
um
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
p
o
lys
i
gn
_
cdd:
s
w
itch to u
s
e of Matrix repre
s
enta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polys
i
g
n
_glpk:
s
w
itch to use of Matrix
representa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
laege
doc:
d
ocument comp
u
tation of
H
ilbert bas
i
s o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
ege
Co
n
e
_
Hilbert_Basis: use
s
tan
d
ard_
c
onstraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
Use
z
solv
e
t
o
c
ompute Hil
b
ert b
a
s
i
s of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
do
o
lae
g
e
compile
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
zsolve:
don't install
he
a
ders and executab
l
es
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
V
e
rdo
o
laege
z
solve:
i
nit
i
a
lize Ba
c
kupTim
e
in Z
S
olveContext
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
oolaege
zs
o
l
ve
:
z
s
olveSystem: add missing verbosity c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
zsolve: override L
I
BS from t
o
p
level
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdool
a
ege
add
4ti2-
1
.
3
.
1+autoconf-0
.
1 ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
add
zsol
v
e from
4ti2
-
1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
p
a
ra
m
_util
.
c: ex
p
ort
b
i
t
_vector_c
o
unt
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoo
l
ae
g
e
to
p
com
.
c: extract
part o
f
code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdo
o
laege
gen_fun::Hada
m
ard_product
:
pr
i
nt progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
V
e
rdoo
l
aege
move
-
-
verbose
option
t
o
l
i
b
r
a
ry
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
gen
_
fun::summate: handle full s
p
ecialization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
R
eplace increment
a
l infinite set counter by
"regu
l
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
m
ake
c
o
unter
:
:
a
dd_fall
i
n
g
_powers static
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
merge (most o
f
) common part of co
u
nter
a
nd tcount
e
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
a
e
ge
icounter: han
d
le
s
p
e
cializ
a
tion of
p
olynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icoun
t
er: d
o
n't
b
other "norma
l
izing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export
n
eg_
l
eft_h
e
r
m
ite
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
basis_reduct
i
on_cdd: check for
po
s
sibly incorrec
t
output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Polyh
e
dron_Samp
l
e
:
handle polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
gen_fun
:
:operator eval
u
e *: always ret
u
rn
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
gen_fun::operator
e
va
l
ue *: remove
commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
la
e
ge
ba
r
v
inok_enumerate_e
.
cc:
h
andle verific
a
ti
o
n of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barv
i
n
ok_enumerate_e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enume
r
ate_e: supp
o
rt verific
a
tion of
gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_enume
r
ate_e: sup
p
o
r
t conver
s
ion
o
f g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
lat
t
ice
_
points: another micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
lattice_
p
oints_
f
ixed: nano
-
op
t
imizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
gen_f
u
n::a
d
d:
c
o
ntext
o
f sum sh
o
uld be union of contex
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
barvinok_enume
r
ate: use verify in
f
rastructure for veri
f
ying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
genfun
.
cc
:
print_power: drop spa
c
es around "/" w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
count_p
o
i
nts_e
:
fall
back
t
o coun
t
_poi
n
ts if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
M
a
kef
i
le
.
am: c
h
eck-evalue: print name o
f
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
verify: add check
_
poly_print
he
l
per function
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen_fun: make su
r
e conte
x
t is alwa
y
s
set
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
reducer::reduc
e
: canoni
c
ali
z
e coef
f
icients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
s
h
ort_r
a
t::print: corre
c
t
ly pri
n
t ou
t
te
r
ms with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
barvin
o
k_s
e
ries: recheck
f
or equalitie
s
af
t
er computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdool
a
ege
exp
o
rt Matrix_R
e
ad for re
a
ding Matr
i
x
fr
o
m a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c: add Param
_
V
e
rt
e
x_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
util
.
c: su
p
porting_co
n
stra
i
nts: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
polyl
i
b: up
d
ate for Matrix_Ex
t
e
n
d
commit
|
commitdiff
|
tree
next