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
test_bound.cc: avoid loss of precision caused by conversion from double to int
2007-11-21
Sven V
e
r
d
oo
l
aege
doc
:
document inte
g
er hul
l
compu
t
a
tion
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
hull
.
c: add all po
i
nts found by sampli
n
g directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
Possible optimizat
i
ons for general
i
zed basis redu
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use of g
e
neralized b
a
sis reduction t
o
compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
add
Polyhe
d
r
on_Integer_Min
i
mum for computing the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc: d
o
c
ument
g
e
neralized
basis reduction
b
ased
integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc
/
barvinok
.
bib:
add missing
string
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verd
o
olaege
a
d
d mo
r
e missi
n
g
assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
con
f
igure
.
in: only c
o
mpi
l
e libbarvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven
Verdoolaege
P
o
ly
h
edron_Reduced_Basis: do
n
't
stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_wi
d
t
h
_directions: onl
y
k
e
e
p list
o
f
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolaege
zsolve: do
n
't instal
l
li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ve
r
sio
n
.
c:
s
h
o
w use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
o
l
aege
conf
i
gure
.
i
n
: don't
s
et with_
{
poly,pip}lib_
p
refix
f
rom
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
Po
l
yhedron_Sample
:
be satis
f
ied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdo
o
laege
cone_integ
e
r
_
h
ul
l
:
opti
o
nally print
stats
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verd
o
o
l
aege
basi
s
_reduction: keep track
o
f n
u
mber of LPs so
l
ved
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoola
e
g
e
options: move --print-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoolaege
bernstein:
rework testing
f
ramework t
o
not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
eg
e
bernstein: add piec
e
wise_
l
s
t
::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
support newer vers
i
ons of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdool
a
ege
s
tandar
d
_constr
a
ints: move from topco
m
.
c to polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
polysign
.
h: remove de
p
endency o
n
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoola
e
ge
zsolve: add ba
n
ner
.
h
to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdool
a
eg
e
P
o
lyhedron_
L
attic
e
_Widt
h
_Direct
i
ons: p
r
i
n
t progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
ge
basi
s
_
r
educt
i
on_pip:
a
b
or
t
on i
n
vali
d
(e
m
pty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolaege
RE
A
D
ME: explai
n
how to
g
et sub
m
odul
e
s
commit
|
commitdiff
|
tree
2007-11-02
Sven Ve
r
do
o
l
a
ege
doc: document lat
t
ice width computati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
s
o
me lattice width tes
t
s
from Jon
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Verdoolaege
Polyhedron_Lattice
_
Wi
d
th: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
en Ve
r
doolaege
a
d
d
Po
l
yhedron_L
a
ttice_W
i
dth for com
p
uting latti
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n
V
erdoolaege
hilbert
.
c: a
d
d
Cone_Integer_Hul
l
for computing vertice
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoola
e
ge
polysig
n
: add pip-backed
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Ve
r
doolaege
polys
i
gn: add constraints_opt to compute o
p
timum
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
e
r
doolaege
p
olysign_cd
d
: switch
t
o use
o
f Matr
i
x repres
e
nta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
ge
polysign_
g
lpk: swit
c
h to
u
s
e of Matri
x
repr
e
s
e
nt
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
doc: document
c
omputation of Hilbert basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
e
rdoolaege
C
o
ne_Hilber
t
_Basis: u
s
e standard_constraints
t
o
avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdool
a
ege
Use zsolve to c
o
mpute Hilb
e
rt basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
c
o
m
p
ile
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolv
e
: don
'
t install heade
r
s and execut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
ege
zsolve: i
n
itialize
Back
u
pTime
i
n
ZSo
l
veContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
olaege
zsolv
e
: zsolveSystem: add missing ve
r
bosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oo
l
aege
zsolve: override LIBS from t
o
p level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
l
a
ege
add
4ti2-1
.
3
.
1+autocon
f
-
0
.
1 ba
n
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oola
e
ge
a
d
d zsolve from
4
ti2-1
.
3
.
1+auto
c
onf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en V
e
rdoola
e
ge
param_u
t
il
.
c: export bit_vector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topcom
.
c: e
x
t
r
act part of code for setting
u
p standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun:
:
Hadam
a
rd_product: pri
n
t progre
s
s in
d
icator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbose optio
n
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
un::summate: handle full s
p
ecialization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdool
a
ege
Replace i
n
crementa
l
in
f
i
n
ite set counter by "regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
ge
make counter::
a
dd
_
fa
l
ling_pow
e
rs
static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (most o
f
)
c
ommon
p
art o
f
counter
and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: hand
l
e
sp
e
cialization o
f
p
o
lyn
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don't bother "nor
m
alizing" the
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
ex
p
ort n
e
g_left
_
hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
basis_red
u
ction_cdd:
c
h
e
c
k for possi
b
ly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
e
ge
Polyhedron_Sa
m
ple: hand
l
e
p
olyh
e
dron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
gen_fun::operator evalue *:
a
lways return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_fun
:
:opera
t
or evalue
*: remove com
m
ented out deb
u
ggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_
e
.
cc: handle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
bar
v
inok
_
enumer
a
te_e: optio
n
ally print s
t
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
barvi
n
ok_enumer
a
te_e:
supp
o
rt verification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
barvinok_enu
m
e
r
ate_e
:
support
c
onv
e
rsion of generati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
lattice_p
o
ints: another micro-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
lattice_poi
n
ts_fixed: n
a
n
o
-
optimizatio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fun::add: context
o
f
s
um should be union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_enumera
t
e
: use v
e
r
i
f
y
infr
a
struc
t
ure for ve
r
i
f
y
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen
f
un
.
c
c
:
print_po
w
er
:
drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
r
doolaege
c
ount_points_e: fall back t
o
count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
Makef
i
l
e
.
am: check-eval
u
e:
print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ver
i
fy: ad
d
check_poly_print helper
function
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun: make sure context
i
s
always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
reduc
e
r
:
:reduce:
canonicalize coe
f
ficient
s
i
n each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_rat::pri
n
t
: correctly print
o
ut terms
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
barvinok_se
r
ies: rec
h
e
c
k for equa
l
i
t
ies
a
fte
r
c
omp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
exp
o
rt Matrix_Re
a
d f
o
r reading Matrix from a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
par
a
m_util
.
c: add P
a
ram_Vertex_
D
omai
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
util
.
c: supporting_constraint
s
: retu
r
n bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib: u
p
date for
Ma
t
rix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verd
o
olaege
op
t
i
ons
.
c: use Polyhedron_Sample for co
u
nting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
k
eep track of
a
n
d
use saturating constraints
in Param
_
Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
move value_gcd and value_lcm
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
B
e
rnoulli_sum_eva
l
ue: only
c
ompute ex
a
ct sum if
a
p
proximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernou
l
li_sum_e
v
alue: sum
over varia
b
les with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laege
evalue
.
c: e
x
port evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Pol
y
hedron_ExchangeCo
l
umns: n
o
rmalize
constraints a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
expor
t
Polyhedron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
eva
l
ue_polynomial: optimi
z
e evaluation i
n
z
ero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
d
oo
l
aege
evalue
.
c: emu
l
:
h
andle another spe
c
ial case
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
evalue
.
c: eadd:
h
andle
s
o
m
e special ca
s
es
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
introduce and use evalue_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdool
a
ege
ev
a
lue
.
c
:
eadd
:
micro-optimize addit
i
on of
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ver
d
ool
a
e
g
e
s
e
t
ting an appro
x
i
mation method n
o
w implies polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_su
m
m
ate: opt
i
on
a
lly use
B
ern
o
ulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaeg
e
Bernoulli_sum_ev
a
lue: use evalue
_
f
r
om_sec
t
ion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok/polylib
.
h: remove compati
b
i
l
ity
w
ith
o
l
d
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
move Vector_Oppose to P
o
lyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
po
l
ytop
e
_
sca
n
:
reenable --direct
o
pti
o
n
commit
|
commitdiff
|
tree
next