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
configure.in: require cddlib 0.94e by testing for bug in earlier versions
2008-01-28
Sve
n
Verd
o
o
l
aege
c
onfigure
.
in: require cddlib 0
.
9
4e by testin
g
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sve
n
Verdoolaege
configure
.
in:
o
nl
y
c
o
m
p
i
l
e occ if code_gen l
i
b
r
ary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
barvi
n
ok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
add
some test
s
f
or implementa
t
ion of pro
j
e
c
tion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ve
r
doolaege
d
oc
:
docum
e
nt new op
t
ions and new a
p
pl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoolaege
AU
T
HORS: updat
e
support inform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdoo
l
aege
g
enfun
.
cc: short_rat::print: correctly print
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
E
x
p
o
rt
s
e
r
ies as barvinok_e
n
umerate_s
e
ries and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
remove_p
a
ram
e
t
e
r_equali
t
ies: stop "removing" equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolae
g
e
series
:
leave f
r
eeing o
f
P argument to ca
l
ling func
t
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
doc
:
docu
m
ent impleme
n
tatio
n
of the
p
rojec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
dd barvinok_enumera
t
e
_e_series
i
mp
l
ement
i
ng the
projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
genfun
.
cc: fix and document
p
arallel po
l
yto
p
es class
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Move GiNaC-ind
e
pe
n
dent part of library
to barv
i
nok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdool
a
e
ge
pol
y
lib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
doc: how to count t
h
e
number of elements in
p
os
s
ibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
doolaege
doc
/
implementation
.
tex: avoid m
u
ltiply d
e
f
i
ned label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
latt
i
ce_wi
d
th
.
c
: try
ver
t
ice
s
of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
doc: d
o
c
ument intege
r
hull comp
u
tation
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verd
o
olaege
hull
.
c:
add all points fo
u
nd by sampli
n
g directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolae
g
e
Possible optimizations for
generalized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Verdoolaege
S
u
pport use of
g
eneralize
d
basis reducti
o
n
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
ool
a
ege
add
P
o
l
yh
e
dr
o
n_
I
nteg
e
r_Minimum for
computing the integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
doc
:
document gen
e
ra
l
ized basis
reducti
o
n based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
e
g
e
doc/barv
i
nok
.
bib: add mis
s
ing string
commit
|
commitdiff
|
tree
2007-11-17
Sven
V
e
rdoo
l
ae
g
e
add more miss
i
ng a
s
sert
.
h #include
s
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
onfig
u
re
.
in:
only
comp
i
le libbarvinok as a st
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
P
o
l
y
hedron_Reduced_Basis: don'
t
s
t
o
p too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdoolaege
compute_width_directions: only k
e
ep
l
i
st of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
zsolve: don
'
t install library
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
version
.
c: sho
w
use
of T
O
P
C
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
configur
e
.
in:
don't set with_{poly,pip}lib_p
r
e
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Po
l
y
h
edron_Sample:
b
e
sat
i
sfied w
i
th a reason
a
ble choic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
cone_integ
e
r_hu
l
l: opti
o
nally
p
rin
t
stat
s
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
basis
_
reduction: ke
e
p track
of nu
m
be
r
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
op
t
ions: m
o
ve
--prin
t
-stats
t
o library
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
bernstein:
r
e
w
ork testing framework to not depen
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
ven
V
erdoolaege
bernstein: a
d
d piec
e
wise_lst::is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolae
g
e
support newer v
e
rsio
n
s of GiNaC
(
>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verd
o
olaege
stan
d
a
rd_constraints: move
from topcom
.
c t
o
po
l
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verd
o
olaege
po
l
ysign
.
h: remo
v
e dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
zsolve: add b
a
n
n
er
.
h
to distributio
n
commit
|
commitdiff
|
tree
2007-11-06
Sven V
e
rdoolaege
P
olyh
e
dron_L
a
ttice_Width_
D
irecti
o
ns: print progr
e
ss
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolaege
basis_redu
c
tion_pip: abo
r
t on invalid (empty) i
n
put
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
READ
M
E: explai
n
how to get subm
o
dule
s
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verd
o
ol
a
ege
d
oc: do
c
u
ment lattice
wi
d
th computation
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
s
ome latti
c
e width tests fro
m
Jon Ya
g
g
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoolaege
P
o
l
yhedron
_
Lattice_Wid
t
h
: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
e
rdoolaege
add Pol
y
h
e
dron_L
a
ttice_Width for
c
om
p
ut
i
ng
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbe
r
t
.
c: add C
o
ne_Intege
r
_Hull
for computing v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
polysign: add pip-bac
k
ed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
p
olysign: add constrai
n
ts_opt to com
p
ute opt
i
mum ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
olysig
n
_
cdd: switch to
use of Matri
x
r
e
p
resentatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoo
l
aege
polysi
g
n_glpk: swit
c
h to use o
f
Matri
x
repre
s
e
n
tat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
ge
doc: docu
m
ent
co
m
putation of
H
ilbert
b
asis
of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
olaege
Cone_Hil
b
ert_Basis: use
s
t
a
ndar
d
_co
n
s
tr
a
ints
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaeg
e
Use zsolve t
o
comput
e
Hilbert basi
s
of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
ae
g
e
zsolve: don't in
s
tall headers and executa
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdo
o
l
a
ege
zsolve
:
i
n
iti
a
l
i
ze BackupTime
in ZSolveConte
x
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aege
zsolve: zsol
v
eSys
t
em: add
miss
i
n
g
v
erbosity c
h
eck
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
z
s
o
l
ve
:
override L
I
BS
f
rom top l
e
v
el
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolae
g
e
add 4
t
i2-1
.
3
.
1+
a
u
t
oc
o
n
f-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zsolve
f
r
om 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verd
o
olaege
p
a
ram_uti
l
.
c:
e
xport
bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
dool
a
ege
topc
o
m
.
c: extract
part of code for sett
i
ng up st
a
n
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
Verdoolaege
gen_
f
un::Had
a
mard_pr
o
d
u
ct: pr
i
nt pro
g
ress in
d
icator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoo
l
aege
m
ove --ve
r
b
o
s
e
option to library
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoo
l
aege
ge
n
_fun:
:
summate:
h
and
l
e
ful
l
speci
a
lization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Re
p
lace incre
m
ental
infin
i
te set cou
n
ter
b
y "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make counter::add_falli
n
g_p
o
wers stati
c
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
m
e
rge (
m
o
st
o
f) common pa
r
t
of counte
r
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
ico
u
nter: handle s
p
ecialization
of pol
y
n
omials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icou
n
ter: don't bother "normal
i
zi
n
g
"
the
e
x
ponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg
_
l
e
f
t
_herm
i
te
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aege
basis_
r
edu
c
t
io
n
_
cdd: check for poss
i
bly incorre
c
t output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Polyhedron_Sam
p
l
e
:
ha
n
d
l
e po
l
yhe
d
ron be
c
o
m
ing empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::operator
evalue *: al
w
ays ret
u
r
n a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_
f
un::operator
evalue *: re
m
ove com
m
ented out debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
barv
i
nok_enumerate_e
.
cc: h
a
ndle
v
erificati
o
n of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolae
g
e
barvinok
_
enume
r
a
t
e_e: optionally pri
n
t stat
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
barvino
k
_enumerate_e: suppor
t
v
e
rification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
inok_enumerate_e: sup
p
ort conversion o
f
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
e
g
e
l
a
ttice_points: anot
h
er micro
-
o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
l
a
ttice_p
o
int
s
_fix
e
d:
nano-o
p
timizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen_fun::add: context of sum sho
u
ld be union of
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
bar
v
ino
k
_e
n
umerat
e
: use ver
i
fy
infrastr
u
c
t
ure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
genfun
.
c
c
: print_p
o
wer: drop sp
a
ces a
r
ound "/" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_
e
: fall
ba
c
k to count_po
i
nts
if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
M
a
kefile
.
am: check-evalue: p
r
int name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
verify: add check_poly_print helper function
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
d
o
o
l
ae
g
e
gen_fu
n
: make
sure context is alw
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
re
d
ucer
:
:reduce: ca
n
on
i
calize coefficients in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
short_rat::print: c
o
rrectly print out t
e
rm
s
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolae
g
e
barvinok_series: r
e
check f
o
r
e
q
ualities after
c
omp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
export Matrix_Read
for readi
n
g Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c: add Param
_
Ve
r
te
x
_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
ut
i
l
.
c:
s
upporti
n
g_constraints: r
e
turn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
polyl
i
b: upd
a
t
e
f
or Matr
i
x_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
op
t
ions
.
c:
u
se
P
olyhe
d
ron_Sampl
e
for cou
n
ting infinite
.
.
.
commit
|
commitdiff
|
tree
next