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
lattice_point.h: make sure correct evalues are used
2008-01-16
Sven Verdoolaege
genfun
.
c
c: fix
a
nd docume
n
t par
a
llel po
l
y
t
o
p
es cla
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
Only compile zsolve if g
c
c 3
.
4
or later is
av
a
il
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
Move GiNaC-indepe
n
dent part of libr
a
ry to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaeg
e
doc
:
how to cou
n
t
the n
u
mber of elements in po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implementation
.
tex: avoid multi
p
ly defined la
b
el
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
latt
i
ce_width
.
c: try vert
i
ces of pre
v
ious integ
e
r h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
l
aege
d
o
c: document in
t
e
ger h
u
ll computa
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
hull
.
c: add a
l
l
points
f
ound
by samp
l
ing directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rdoolaege
Possible optimizations for generalized basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rd
o
olaege
S
uppo
r
t use of
g
e
ner
a
lized basis
r
educt
i
on to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhedron_Integer_Minimum
f
or computing the
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoo
l
aege
d
o
c: document generalized basis reduction b
a
se
d
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
doc/barvinok
.
bib: ad
d
m
i
ssing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolae
g
e
add
more miss
i
ng ass
e
rt
.
h #include
s
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
configu
r
e
.
in: only
c
ompile libbarvi
n
ok as a st
a
tic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdoolaege
Polyhedron_Reduced_Basi
s
:
don't stop
t
o
o ea
r
ly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
compute_width_direc
t
ions:
o
nly keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
zsolve: do
n
't instal
l
li
b
rary
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
version
.
c
:
show us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
configu
r
e
.
in: don
'
t
s
et with_{poly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
P
o
lyhedr
o
n_S
a
mp
l
e:
b
e satisfi
e
d with a
r
e
asonabl
e
c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oo
l
aege
cone_integer_hull:
optionally print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
S
v
e
n
V
e
r
doolaege
b
a
si
s
_
reduction:
k
eep track of number of LPs sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
option
s
:
move --print-stats to lib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
ber
n
stei
n
: rework testing framewo
r
k to n
o
t depe
n
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolae
g
e
bernstein
:
add pie
c
e
w
ise_
l
st
:
:is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
su
p
port newer ve
r
sion
s
of Gi
N
aC
(
>
=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
standard_
c
onstraints: mov
e
from topcom
.
c to po
l
ysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
V
erdoolaege
polysig
n
.
h: remove dep
e
ndency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
zsolv
e
:
a
dd b
a
nn
e
r
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolae
g
e
Pol
y
hedron_Lattice_Wi
d
th_Directi
o
n
s: p
r
i
nt progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoo
l
ae
g
e
b
asis_redu
c
tio
n
_
p
i
p
: abo
r
t
o
n
invalid (
e
mpty) inpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en
Verdoolaege
R
E
ADME: explain how to get
s
ubmodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
oolaege
d
oc: document lattice w
i
dth computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
lae
g
e
some lat
t
ice
w
i
dth
t
e
sts from J
o
n
Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rd
o
ol
a
ege
Polyhedron_Lattice_
W
i
d
th
:
decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n
Verdoola
e
ge
add
P
olyhe
d
ron_La
t
t
i
ce_W
i
dth for
computing l
a
t
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doolaege
h
ilbert
.
c: add Cone_Inte
g
e
r
_Hull f
o
r comp
u
ting ve
r
tices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdo
o
laeg
e
polysign: add pip-backed v
e
rsion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
polysign: add
con
s
t
ra
i
n
ts_opt t
o
compute optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Ver
d
o
olaege
po
l
ysign_cdd: switc
h
to use o
f
M
a
t
r
ix representati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oo
l
aege
polysign_glp
k
:
switch to use of Matri
x
represent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
ge
doc: docum
e
nt c
o
m
p
u
tation of Hilbert b
a
sis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
l
aege
Cone
_
Hilbert_Basis: use standard_constr
a
ints
t
o
av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
Use zsolv
e
to compu
t
e Hilbert basis
of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsol
v
e: d
o
n't install head
e
rs and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
zsolve:
initialize Ba
c
k
u
pTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zsolveSystem: add missing verbo
s
it
y
check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: override LIBS from top l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
g
e
add
4
ti2-1
.
3
.
1
+
a
utoconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
add z
s
olve from 4ti2-1
.
3
.
1+
a
utoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
olaege
par
a
m_util
.
c: export bit_v
e
ctor_cou
n
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topc
o
m
.
c: extract
p
art of
c
ode for se
t
ting
u
p standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen
_
fun::Hadamard_product: print p
r
ogress indi
c
at
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n Ve
r
d
o
olaege
move --ver
b
ose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::su
m
mat
e
: hand
l
e full specia
l
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace i
n
cremental
infinite set
counter by "reg
u
lar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
make counter::add_f
a
lli
n
g_powers stati
c
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
oolaege
m
e
rge (most of) c
o
mmo
n
pa
r
t of count
e
r and
t
c
o
u
n
t
er
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
icounter: handl
e
specializatio
n
o
f
polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ic
o
unter: don't bother
"
norma
l
izing" the exponen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
ex
p
ort n
e
g_left_he
r
m
i
te
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
basis
_
r
eduction_cdd: c
h
eck f
o
r possibly incorrect
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
a
eg
e
Polyhedron_Sam
p
le: handle polyhedr
o
n
becomi
n
g empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
lae
g
e
gen_fun::operato
r
eval
u
e
*: alway
s
return
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fu
n
::
o
p
erator eva
l
ue *: remove
c
omm
e
nted
o
ut debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
ba
r
v
i
nok_enum
e
rate_e
.
cc:
h
a
ndle veri
f
i
cation of p
r
oblems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
b
a
rvin
o
k_enum
e
rate_e: opti
o
n
al
l
y print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enum
e
rate_
e
:
su
p
p
o
rt verifi
c
atio
n
of
g
en
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
o
l
aeg
e
ba
r
vinok_en
u
merate_e: su
p
port conversion
o
f g
e
nera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoola
e
g
e
lattice_points: anot
h
er mic
r
o-o
p
tim
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaeg
e
latti
c
e
_points_fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaege
gen_fu
n
::add:
co
n
text of
s
um should be
unio
n
of
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
ba
r
v
inok_enumer
a
te: use verify infrastruc
t
ure
f
or verif
y
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
g
e
n
f
u
n
.
cc: print_power
:
drop spaces a
r
ound "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
c
o
u
n
t_points_e:
fall back to co
u
nt
_
points i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
Makefile
.
am: check-evalue: print na
m
e o
f
each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
o
l
aege
v
e
rify: a
d
d check_poly_
p
rint hel
p
er
f
un
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ge
n
_fun: make sure context is
al
w
ays set
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
reducer::reduce: canon
i
ca
l
ize coe
f
fic
i
en
t
s in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
sho
r
t_rat
:
:p
r
i
n
t
:
c
orrectly print ou
t
ter
m
s
w
ith a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvino
k
_
s
er
i
es: rech
e
ck for eq
u
ali
t
ies after compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
dool
a
ege
export
M
a
t
rix_Read for re
a
din
g
Matrix from a s
t
ream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c: add Param_Verte
x
_Do
m
a
i
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
u
t
il
.
c: supporting_constra
i
n
t
s: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
polylib: up
d
ate for Matrix_E
x
tend
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
opt
i
ons
.
c: use Polyhedron_Sampl
e
for
c
ounting infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
e
rdoolaege
kee
p
track of and use satur
a
ting constraints in Par
a
m_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
move value_gcd and value_
l
cm to
polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Berno
u
lli_sum_evalue
:
only compu
t
e exact s
u
m if a
p
p
r
o
x
imatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
B
e
rnoulli_sum_evalue: sum over varia
b
les
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c: export evalue_var
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoola
e
ge
Pol
y
he
d
ron_Ex
c
hangeColumns: normalize constrain
t
s after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ex
p
or
t
P
o
lyhedron_Excha
n
geC
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
evalu
e
_pol
y
n
o
mi
a
l
: opti
m
ize
e
val
u
ation in zer
o
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
evalue
.
c: emul: handl
e
anoth
e
r
special
cas
e
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
evalue
.
c: e
a
d
d
: h
a
ndle s
o
me special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
e
g
e
introduce and us
e
evalue_free
commit
|
commitdiff
|
tree
next