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: extend eequal to handle domains and NaNs
2008-01-16
S
v
en Verdoolaege
remove_paramet
e
r_equalitie
s
: stop "remo
v
ing
"
e
q
ua
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
s
eries: le
a
ve fre
e
i
ng of P argu
m
ent to calling f
u
ncti
o
n
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
l
a
ege
doc: docum
e
nt
i
mplemen
t
ati
o
n
o
f
the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
add barvin
o
k
_
enum
e
r
ate_e
_
series imp
l
e
men
t
ing the pro
j
ection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
laege
genfun
.
cc: fix and document parallel
poly
t
opes class
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
e
rdoolaeg
e
Move GiNaC-independent
par
t
of librar
y
to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoolaeg
e
do
c
:
h
o
w
t
o count the
n
u
mber o
f
elements in po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verd
o
olae
g
e
doc
/
implementa
t
ion
.
t
e
x: avoid multip
l
y defined label
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolae
g
e
lattice_
w
i
d
th
.
c:
t
ry verti
c
es
of prev
i
ous intege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
do
o
lae
g
e
doc: docume
n
t int
e
ger
hull computation
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
hull
.
c: add all points found by sampling dire
c
t
l
y
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
o
olaege
Possible o
p
timizations
f
o
r gen
e
ra
l
ized
ba
s
is
r
eduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Support use of gen
e
ral
i
zed
ba
s
is redu
c
tion to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedron_Int
e
ger_Mini
m
u
m
for c
o
m
pu
t
in
g
t
he in
t
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
oc: docu
m
ent ge
n
e
ralized
b
a
s
is
r
educti
o
n
b
ased integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc/ba
r
vinok
.
bib: add missi
n
g
s
tring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
a
d
d
more m
i
ssing as
s
ert
.
h #i
n
clude
s
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configure
.
in: only com
p
ile li
b
bar
v
i
nok as a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Ve
r
doo
l
aege
Polyhed
r
on_Red
u
ced_Bas
i
s: don't stop too
e
arly w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en
Verdoolaege
compute_width_directions: only keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdool
a
ege
zsolve: don't i
n
stall library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ver
s
ion
.
c: show use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
confi
g
ur
e
.
in: do
n
't s
e
t with_{
p
oly,p
i
p}lib
_
pr
e
fi
x
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
e
rd
o
o
l
a
eg
e
Polyhedron_Samp
l
e
: b
e
sa
t
isfied wi
t
h
a reasona
b
le choi
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
c
one_inte
g
er_hull: optio
n
ally
p
rint stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
o
olaege
b
asis_red
u
ct
i
on: kee
p
track of nu
m
ber of
L
Ps so
l
ved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en V
e
r
doolaege
options: mov
e
-
-
print-stats to libr
a
ry
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
e
rd
o
o
laege
bernstein:
rework testing f
r
amework to not
d
e
pend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoo
l
aege
bernste
i
n: add piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ve
r
doola
e
ge
support newer
ver
s
ions of GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
standard_
c
o
n
st
r
a
i
nts: mo
v
e from topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolaege
poly
s
ign
.
h: re
m
ove dependency on lexmi
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
zsolve: add ban
n
er
.
h
t
o
d
istribution
commit
|
commitdiff
|
tree
2007-11-06
S
ven Ver
d
oolae
g
e
Polyhe
d
ron_Lat
t
ice
_
Width_
D
i
rections: p
r
int pro
g
ress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
laege
basis_reduction_
p
ip: abort on in
v
alid (empty) inpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n Verdoolaege
RE
A
D
M
E: explain how to
get
submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
d
oc: document lattice width comput
a
ti
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdool
a
ege
so
m
e l
a
ttice wid
t
h tests from Jon Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
S
v
en V
e
rdoolaege
P
o
lyhedron_Lattice_Width: decid
e
o
n
facets to c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoolaege
a
dd Poly
h
edron_Lattice_
W
idth for compu
t
ing
l
a
ttice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven
V
erdool
a
eg
e
hilbert
.
c: ad
d
Cone_Integ
e
r
_
Hull for
com
p
uting v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdool
a
e
g
e
p
o
lysign: add pip-
b
ack
e
d
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
d
oolae
g
e
polysi
g
n: add constraints_opt
to co
m
pute op
t
imum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
po
l
ysign_cdd: switch to use of Matr
i
x
rep
r
e
senta
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
p
olysign_glpk: switch to use of Matrix r
e
presenta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
g
e
doc: document computation of Hilbert basis of a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_
H
ilbert_Bas
i
s: use sta
n
d
ard_constraint
s
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verdoolaege
Use
z
solve
to
c
ompute Hilbert
b
a
sis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
c
om
p
ile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doola
e
ge
zsolv
e
:
don
'
t inst
a
l
l
h
ead
e
r
s
and executables
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
zso
l
ve:
i
nitialize BackupTime in ZSolv
e
Context
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
zsolve
:
zsolveSystem: a
d
d m
i
ssing ver
b
osit
y
check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
zs
o
l
v
e
:
o
verride LIBS
f
r
o
m
t
o
p level
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolae
g
e
add 4ti2-1
.
3
.
1+autoc
o
nf-0
.
1 bann
e
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add
zsolve from 4ti2-1
.
3
.
1
+autoc
o
nf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
p
a
ram_util
.
c:
e
xport bit_vector
_
count
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
d
o
o
l
aege
top
c
om
.
c:
extrac
t
part of code for setti
n
g u
p
s
t
a
n
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun
:
:Hadamard_produ
c
t: print pro
g
ress indic
a
to
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoolaege
move --v
e
rbose opti
o
n to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
gen_fun::summat
e
:
h
andle full specializ
a
tio
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolae
g
e
R
eplace incremental
i
nfinite set cou
n
t
er b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
make co
u
nter::add_f
a
lling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
merge
(
most of)
comm
o
n par
t
o
f
c
ounter and
t
counter
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
i
c
ounter: han
d
le specialization of polynomial
s
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
i
co
u
nter: don't both
e
r
"
nor
m
alizing
"
the expo
n
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
ex
p
ort neg_left
_
he
r
mi
t
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ba
s
is
_
reduction_cdd:
c
h
eck for possibly
i
ncorrect out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdo
o
laege
Polyhedron_Sample: handle
polyh
e
dron becoming em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen
_
f
un::operator evalue *: alwa
y
s retu
r
n a
v
a
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen_fun::operator evalue *
:
remove commented out
deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvinok_enumerat
e
_e
.
cc
:
handle
verification of p
r
ob
l
e
ms
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdo
o
laege
barv
i
nok_enume
r
ate_e: optionall
y
print sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
do
o
laeg
e
barvinok_en
u
mer
a
t
e
_
e
: sup
p
o
r
t
veri
f
ic
a
ti
o
n of ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doola
e
g
e
barvinok_
e
numerat
e
_e: support conversion
of gene
r
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
l
a
ttice_points: another mi
c
ro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
lattice_poi
n
ts_fixed: nano-optim
i
zat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
gen_fun::add: context
of sum should be union of
c
ontexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oolae
g
e
barvi
n
ok_e
n
umerate: use v
e
rif
y
infrastru
c
ture for
verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc: print_powe
r
: d
r
op spaces around "/
"
when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
count_point
s
_e: fall
b
ack
t
o
c
o
u
nt_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olae
g
e
Makefile
.
am: check-evalu
e
: pri
n
t name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
verif
y
: add check_poly_print h
e
l
p
e
r
f
u
nc
t
ion
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
gen
_
fu
n
: make
s
ure context is a
l
ways set
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
ege
r
e
duce
r
::red
u
ce: canonicalize coefficients in e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
short_rat::print: correctly prin
t
o
u
t terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
barvinok_serie
s
:
recheck for equalities af
t
e
r computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
export
M
atrix_Re
a
d f
o
r
reading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
param_util
.
c: add Param_V
e
rtex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: supporting_co
n
s
t
rai
n
ts: return bi
t
vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
dool
a
eg
e
polylib
:
upd
a
te for
M
at
r
i
x_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c
:
use Polyhedron_Sample for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep track of
a
nd use saturating constraint
s
i
n Param_Polyhedro
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_gcd and va
l
ue_lcm
t
o pol
y
lib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
Be
r
nou
l
li_sum_eva
l
ue: on
l
y compute exact su
m
if appro
x
i
mat
i
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
Bernoul
l
i
_
s
u
m_
e
v
alue
:
sum over variables
w
ith int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
e
v
a
l
ue
.
c: export eval
u
e_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Polyhed
r
on_Exchang
e
Columns: norm
a
lize const
r
aints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolae
g
e
export
Po
l
yh
e
d
r
o
n
_
E
xchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_polynomial: o
p
timize
e
valua
t
ion in zero
commit
|
commitdiff
|
tree
next