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
Move GiNaC-independent part of library to barvinok-core
2008-01-16
Sven
V
erdoolaeg
e
Move GiNaC-indepe
n
d
e
nt part of l
i
brary
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
poly
l
i
b
: upd
a
te
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
r
d
oolaege
do
c
:
how to coun
t
the nu
m
b
e
r of eleme
n
ts in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdool
a
e
g
e
doc/implement
a
tion
.
tex:
av
o
id multiply de
f
i
ned label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoola
e
ge
lattice_widt
h
.
c: try vertices o
f
p
r
evious intege
r
hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
doc: document integ
e
r hull comput
a
tion
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hull
.
c: a
d
d all p
o
ints
found by sampling di
r
ectl
y
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
doolaege
Po
s
sible
opt
i
m
iz
a
t
ions for generalized basis reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaeg
e
Support use of gen
e
r
alized b
a
si
s
reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add P
o
lyhedron_Integer_Minimum for c
o
mputing the
i
nteg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
doc: doc
u
ment
g
eneralize
d
basi
s
reduction
based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
doc/barvinok
.
bib: add
m
issing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Ve
r
doolaeg
e
add
more missing assert
.
h
#includ
e
s
commit
|
commitdiff
|
tree
2007-11-17
Sven V
e
rdoolaege
evalue
.
c:
a
dd
m
issi
n
g include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Ver
d
o
o
laege
configure
.
in:
p
a
ss path of G
M
P installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
co
n
fi
g
u
re
.
in: on
l
y comp
i
le libbarvin
o
k a
s
a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
do
o
laege
Polyhedron_Reduced_Basis: do
n
'
t
stop too ear
l
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdo
o
laege
comp
u
t
e
_width_
d
irections: only kee
p
list of di
s
tinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
zsol
v
e
:
don't install lib
r
a
r
y
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdool
a
ege
version
.
c
:
s
h
ow use of
T
OPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
e
r
d
oolaege
confi
g
ure
.
in: don't s
e
t with_{poly
,
pip}l
i
b_prefix
f
rom
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
Polyhedr
o
n_Sample: be sati
s
fied with a reason
a
ble
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
cone_inte
g
e
r_
h
ull: o
p
tionally
p
rint s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
basis_reduction: keep
t
r
ack
o
f number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
op
t
ions: mo
v
e --print-stats t
o
library
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
Verd
o
olae
g
e
bernstein: rework
tes
t
ing
fram
e
work
t
o
n
ot
depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
eg
e
b
ernstein: add
piecewi
s
e_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
support ne
w
er ver
s
ions of G
i
NaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolae
g
e
s
t
a
n
dard
_
co
n
st
r
aints: move
f
rom topcom
.
c to pol
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erd
o
ola
e
ge
polysign
.
h: remove depende
n
cy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsolve: add banner
.
h to dis
t
ribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
laeg
e
P
olyhedron_Lat
t
i
c
e_Wi
d
th_Directio
n
s
:
print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdo
o
laege
b
a
sis_reduction
_
pip: abo
r
t on invali
d
(emp
t
y) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
Ver
d
oo
l
aege
README: explain how to
get submod
u
le
s
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n Verdool
a
e
ge
doc: document
l
attice width comp
u
t
a
tion
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
som
e
lattice w
i
dth
t
ests from Jon Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oolaege
Po
l
yh
e
dr
o
n_Lattice_Width: dec
i
d
e on fac
e
ts to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoola
e
ge
add
Polyhedron_La
t
ti
c
e
_Width f
o
r computing latt
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdo
o
laeg
e
hil
b
ert
.
c:
add
Cone_Intege
r
_Hull fo
r
computing
vertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
V
e
rdoolaeg
e
pol
y
s
i
g
n: add
pi
p
-backed versio
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
po
l
y
sign: add
c
onstra
i
nts_opt to compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polys
i
g
n
_cdd: switch to use of M
a
trix representatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign
_
glp
k
: swit
c
h
to use of Matrix r
e
presentation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdool
a
ege
doc: document computation of
H
ilber
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
Cone_Hilbe
r
t_
B
asis:
use standard_constraints to
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
Us
e
z
s
olve to compute Hilbert basis of
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
compile
z
solve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zso
l
v
e
:
don't install
header
s
and exe
c
utables
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verd
o
o
laege
z
s
o
lve: initialize BackupTim
e
i
n
ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve:
zsolveSyst
e
m
: add
m
issing verbosity che
c
k
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
olaege
zso
l
ve: o
v
e
rride LIBS fr
o
m
top
l
evel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4t
i
2-1
.
3
.
1+
a
utocon
f
-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
add
zsolv
e
f
r
om 4ti2-1
.
3
.
1+autoconf-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pa
r
am_util
.
c: export bit_vec
t
or_
c
ou
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoo
l
aeg
e
t
o
pcom
.
c: extract part of code for setting up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
ven
Verdoolaege
gen
_
fun:
:
Hadama
r
d_product: print pr
o
gress indica
t
or
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
V
erdoolaege
move
-
-verbose option to
l
ibra
r
y
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::summate: handle full s
p
ecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace in
c
r
e
m
ental inf
i
nite set counter
by "
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
make counter::ad
d
_
fa
l
ling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
merge (most of) common part of count
e
r and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
icounte
r
:
ha
n
d
l
e specialization of pol
y
nomial
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoo
l
aege
icounter
:
don
'
t both
e
r "
n
o
r
m
alizing"
t
he
e
x
p
onents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
export
neg
_
le
f
t_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
basis
_
reduction_cdd: check for possibly
i
ncorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolae
g
e
Polyhed
r
on_Sample
:
h
an
d
le polyhedron becomi
n
g empt
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen_fun::opera
t
or eval
u
e *: a
l
w
ays
r
eturn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
gen_fun::oper
a
tor evalue *
:
r
e
move commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaege
b
a
r
vinok_enumerate_
e
.
cc: handle verifi
c
a
tion of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok
_
en
u
merat
e
_e
:
optionally pri
n
t st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
arvinok
_
enumerate_e: support verific
a
tion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
barv
i
nok_enumerate_e: support conversi
o
n of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
lat
t
ic
e
_points: another micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
lattice_poi
n
ts_fix
e
d: nano-opt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
gen_fun::add:
context of sum sh
o
uld be union of cont
e
x
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
bar
v
inok_enu
m
e
rate: u
s
e ver
i
fy infrastructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
genf
u
n
.
cc: print_power:
drop spaces
around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
co
u
nt
_
points_e: fall back to count_p
o
i
n
ts i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
Makef
i
l
e
.
am: c
h
eck-evalue: pri
n
t n
a
me of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: a
d
d c
h
eck_poly_print
h
e
lper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun: make
s
u
re co
n
text
i
s always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::reduce: canonicali
z
e coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
s
h
or
t
_r
a
t::print: correctly print out te
r
ms w
i
th a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
b
a
rvin
o
k_seri
e
s:
r
echeck for equalit
i
es
after co
m
puti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
export
Ma
t
rix
_
Read for
r
ead
i
ng M
a
t
rix
f
rom a stream
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
param_util
.
c:
add Param_Ver
t
e
x
_
D
o
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: supporting_constraints:
r
etur
n
bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
poly
l
ib: update for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
opt
i
ons
.
c
: use Polyhedron_S
a
mp
l
e for co
u
n
t
ing in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
keep track of
and use satura
t
ing constraints in Pa
r
a
m
_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
move value_gcd an
d
value_l
c
m
t
o polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oola
e
ge
Ber
n
oulli_su
m
_eva
l
ue
:
only comput
e
e
xac
t
sum if a
p
p
r
oximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
Be
r
noull
i
_
s
um_evalue
:
sum over v
a
riables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
evalue
.
c: expor
t
e
va
l
ue_var
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
Polyhedron_E
x
changeColu
m
n
s
:
norma
l
i
ze constraints af
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ex
p
ort
Polyhedron_Excha
n
geColum
n
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_p
o
lyn
o
mi
a
l: o
p
ti
m
i
ze evaluation in zer
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
v
alue
.
c: emul: han
d
le a
n
othe
r
spec
i
al cas
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
evalue
.
c: eadd: h
a
ndl
e
so
m
e sp
e
cial cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
introduce
a
nd us
e
eval
u
e_f
r
ee
commit
|
commitdiff
|
tree
next