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
doc: more specific information on buggy cddlib versions
2008-02-01
Sven Ver
d
oolaege
doc: more
sp
e
cific information on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
S
v
en Ve
r
doolaege
c
onfigure
.
in:
r
equire c
d
d
l
ib 0
.
94e by
testi
n
g
for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verd
o
olaege
c
o
nfigure
.
i
n
: only c
o
mpile o
c
c if code_gen librar
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
olae
g
e
ba
r
vino
k
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
d
d
some tes
t
s for implementation of projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
dool
a
ege
doc: d
o
cume
n
t new options and new applicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: update support infor
m
ation
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
doolaeg
e
g
e
n
fun
.
cc: sho
r
t
_
r
at::p
r
int: correctly
p
rint polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
laege
E
x
port series as b
a
rvinok_enu
m
erate_series and u
s
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
laeg
e
remove_parameter_equalities: stop "remov
i
ng" equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
e
ge
series: leav
e
freeing
o
f P argument to call
i
ng funct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
l
a
ege
d
o
c: doc
u
ment
i
mplementation of the projection theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
ad
d
barvinok_enumerate_e_
s
er
i
es implem
e
nting the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoolaege
g
e
nfu
n
.
cc: fix a
n
d docum
e
nt parallel
polyt
o
pes clas
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
O
n
ly compi
l
e
zsolve if gcc 3
.
4
o
r l
a
te
r
i
s
available
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoola
e
ge
Move GiNaC-
i
ndependen
t
part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib
:
u
p
d
ate
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaege
doc:
h
ow to
c
ount the
n
um
b
er of e
l
emen
t
s
in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdo
o
la
e
ge
doc/
i
m
p
lementation
.
tex: av
o
i
d multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
l
attice
_
w
i
dth
.
c: t
r
y vertices of pr
e
v
i
o
us i
n
teg
e
r hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
olaege
doc: d
o
cument integer
h
ull co
m
p
u
tation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
h
u
ll
.
c
:
add all points found by
s
ampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
Possible o
p
t
i
mizations for
generalized basis
r
e
d
uction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aeg
e
Sup
p
ort use of gener
a
lized basis reduction to com
p
ute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
e
rdo
o
lae
g
e
add Polyh
e
dron_Integer_Minimum for comp
u
ti
n
g th
e
i
nteg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
d
oc: doc
u
m
ent g
e
nerali
z
e
d basis
r
educti
o
n b
a
sed in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verd
o
olaege
doc/
b
arvinok
.
bib: add m
i
ssing string
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdoolaege
a
dd mor
e
m
issing as
s
ert
.
h
#
includ
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
V
e
rdoolaege
eva
l
ue
.
c
:
add missing include
o
f alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
e
n Verdo
o
laege
co
n
figure
.
in:
p
as
s
path of G
M
P installati
o
n
t
o
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
i
n
: only compile libbarvinok as a st
a
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
Polyhedron
_
Redu
c
ed_Bas
i
s:
d
o
n't sto
p
too ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
m
p
ute_width_d
i
rections: o
n
ly keep list o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoo
l
aege
zsolve: d
o
n't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
version
.
c: show u
s
e of
T
OPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configure
.
in: don't set with_{p
o
ly,pi
p
}lib_pre
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
o
o
laege
P
o
lyhedron_S
a
mple: be sati
s
fied with a reasonable ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolae
g
e
c
o
ne_inte
g
er_
h
ull: o
p
tionally p
r
int sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolae
g
e
basi
s
_reduction: k
e
ep track
of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
V
erdool
a
e
ge
options:
move
-
-prin
t
-s
t
ats
to
library
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
ernste
i
n: re
w
ork
testing fr
a
mework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
be
r
n
s
tei
n
: add piecewise_ls
t
::is_eq
u
al
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
support newer versions of GiNaC
(
>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
ven
V
erdoo
l
aeg
e
stand
a
rd_c
o
nstra
i
n
t
s: move from t
o
pcom
.
c
t
o polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaeg
e
p
o
l
ysign
.
h: remove d
e
p
e
ndency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
zsolv
e
: add banner
.
h
to distribu
t
ion
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoo
l
aege
Polyhedron_Lattice_Width_Directions: pr
i
nt progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verdoolaege
bas
i
s_reduct
i
o
n
_pip: a
b
ort
on
invali
d
(
e
mpt
y
) in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
README: explain ho
w
to g
e
t su
b
m
o
dules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
d
oc: d
o
cument lattic
e
width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
som
e
lattice width tests from J
o
n Ya
g
g
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoo
l
aege
Poly
h
edron_Lattice_Width: decide on f
a
cets to
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
o
olaege
a
dd Pol
y
hedron_Lattice_Wid
t
h for
computin
g
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoola
e
ge
hilbe
r
t
.
c
:
a
d
d Con
e
_In
t
e
ger_
H
ull for computi
n
g ve
r
ti
c
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
polysi
g
n: add pi
p
-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
polysign:
a
dd
c
onstrai
n
ts_
o
p
t to
co
m
pute
optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
p
olysign_cdd:
s
witch
to use
o
f Matrix rep
r
esentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
p
o
lysign_glpk: swit
c
h to use o
f
M
atrix repre
s
entati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
do
c
: document
c
omput
a
ti
o
n of Hilbert
b
asis of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
laege
Cone_Hilbert
_
Basis: use
s
t
a
nd
a
r
d_constrai
n
ts to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
Use zsolve to com
p
ute Hil
b
ert b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verd
o
ol
a
ege
c
o
mpile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
e
rdoolaeg
e
zsolve:
don't i
n
s
tall h
e
a
d
ers a
n
d ex
e
cutables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsolve: initialize BackupT
i
m
e
in ZSolveCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zso
l
ve:
z
solveSystem: add
miss
i
ng verbo
s
ity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: override LIBS from top l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ola
e
ge
add 4ti2-1
.
3
.
1
+
autoconf-0
.
1 bann
e
r
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoolaege
a
dd zsolve fro
m
4ti2-1
.
3
.
1+aut
o
conf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
param_util
.
c: export
b
i
t_vect
o
r_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
topcom
.
c: extract part of code for setting u
p
stand
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen
_
fun::Hadamard_pr
o
d
u
ct: print progress indic
a
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdool
a
ege
move --ver
b
ose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fu
n
::summate: handle f
u
l
l
spe
c
ializ
a
t
ion
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
Replace incremental infini
t
e s
e
t counter
by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
make counter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
ge
merge (most
of) com
m
on part of counter
a
nd tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
icounter:
h
andle specialization
o
f p
o
lynom
i
als
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
icounter: don'
t
bothe
r
"norma
l
izing" the exp
o
nent
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_left_her
m
ite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
basis_red
u
ction_cd
d
: check f
o
r possibly incorrect outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
lyhedron_Sample: handle pol
y
hedron b
e
coming
em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen_fun::
o
perator
evalue *: always ret
u
r
n a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
d
o
olaege
gen_fun::operator
ev
a
lue *: remov
e
comm
e
n
ted o
u
t
debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
bar
v
inok_enumerat
e
_e
.
cc:
h
andle verification o
f
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
barv
i
n
o
k_enumerate_e: o
p
tional
l
y print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
b
arvinok
_
enumerate_e: su
p
port verificat
i
on o
f
generat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
er
d
oolaege
b
arvinok
_
enumerat
e
_e: suppo
r
t conversion of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
lat
t
i
c
e_p
o
ints: another m
i
cr
o
-optim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoo
l
aege
lattice_poin
t
s
_
fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_
f
un::a
d
d:
contex
t
of sum shoul
d
be u
n
ion of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
b
a
rvin
o
k
_enu
m
erate: use v
e
rify infras
t
ructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
laege
g
e
nfun
.
c
c: print_
p
ower: drop spaces a
r
ound "/" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
count_
p
oints_e: fall back to count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Makefi
l
e
.
a
m
: check-
e
valu
e
:
p
rin
t
name
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
veri
f
y:
a
dd check_poly
_
p
ri
n
t
helper fun
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
gen_fu
n
: make sure context is
alway
s
set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
reducer::reduce: canonica
l
ize coeff
i
ci
e
nts in e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
sho
r
t
_r
a
t::print: correctly pri
n
t out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvin
o
k
_
series: recheck for equal
i
ties a
f
ter computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdool
a
e
g
e
export Matri
x
_Read for read
i
ng
M
atrix fr
o
m
a stream
commit
|
commitdiff
|
tree
next