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
doc: how to count the number of elements in possibly infinite sets
2007-11-22
Sven Verdoolaege
doc: how t
o
coun
t
the numb
e
r of elem
e
nts in
possi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoo
l
aege
doc/imple
m
e
n
tation
.
tex:
a
vo
i
d multiply
d
efined label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
l
attice_width
.
c
: tr
y
v
e
rtices of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
doc:
d
ocument integer hull co
m
putatio
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
lae
g
e
hull
.
c: add all points
f
oun
d
b
y sampling d
i
re
c
tly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
Possibl
e
optimiza
t
ions fo
r
genera
l
ized
b
asis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdo
o
laege
Support use of g
e
n
e
ralized basis redu
c
tion
t
o
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdoolaege
add Polyhedron_Integer_Minimum for
c
omputi
n
g th
e
intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
doc: document gen
e
ralized basis reduct
i
o
n
bas
e
d
i
nteg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoo
l
a
ege
doc/ba
r
v
i
nok
.
bi
b
: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more m
i
ssin
g
assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
S
v
en V
e
rd
o
olaege
evalue
.
c: add mis
s
ing include of
alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
ve
n
Verdoolaeg
e
configur
e
.
in: pass path of GM
P
installation
to
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
config
u
re
.
in: only compile libbarvinok as a
s
tatic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
V
e
r
doola
e
ge
Polyhedr
o
n_
R
educed_Bas
i
s:
d
on
'
t stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_width_directions
:
on
l
y
k
e
e
p list of dis
t
inc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoolaege
zsolv
e
: don't install
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
e
rdoolaege
vers
i
on
.
c: sho
w
u
se of T
O
P
C
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
configure
.
in: don't set
with
_
{p
o
ly,pip}lib_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedr
o
n_Sample: be sat
i
sf
i
ed with a re
a
s
onable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verd
o
olaege
cone_intege
r
_h
u
l
l
: optio
n
ally print s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
basis_reduc
t
ion:
keep track of number of LPs solv
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
option
s
:
m
ove --print-s
t
ats to lib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aege
bernstein:
r
ewo
r
k testing f
r
am
e
work to not
d
epend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
e
ge
bernste
i
n: add piecew
i
se_lst::is
_
equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support ne
w
er versions of GiNaC (
>
= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_constraints: move from topcom
.
c to polysi
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolae
g
e
polysign
.
h
:
remo
v
e
dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
zs
o
lve:
a
dd banner
.
h to
distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdo
o
laege
Pol
y
h
e
dr
o
n_Lattice_Width_Direction
s
:
pr
i
nt
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_redu
c
tion_pip:
a
b
ort on invalid (emp
t
y)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
R
EADME: explain how
t
o get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
doc: d
o
cument
l
attice width
computation
commit
|
commitdiff
|
tree
2007-11-02
S
v
en
Verdoolaege
some lattice
w
idth tests f
r
o
m
Jon Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n
V
e
r
doola
e
ge
Polyhedron_Lattice
_
W
i
dt
h
: decide
on facet
s
to
c
l
o
se
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n Ver
d
oola
e
ge
add Polyh
e
dron_Lattice_
W
idth for
c
ompu
t
ing
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbe
r
t
.
c
:
ad
d
Cone_Integer_Hull for computing vertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
ege
p
olysig
n
:
add pip-backed
version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
aeg
e
poly
s
ign:
a
dd constraints_o
p
t to c
o
mpute opt
i
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
e
g
e
p
o
lysign_c
d
d: s
w
i
t
ch to
use of Matrix representati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doo
l
ae
g
e
polys
i
gn_glpk: switch to use of
M
a
trix
representat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
erd
o
olae
g
e
doc:
d
ocument c
o
mput
a
tion of Hilbert
b
a
sis of
a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
Cone_Hilber
t
_B
a
s
is
:
use standard_cons
t
ra
i
n
ts to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Us
e
zsolve to compute Hilbert ba
s
is of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
com
p
ile zs
o
l
ve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't
i
nsta
l
l headers
and
ex
e
cutabl
e
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
zsolve:
i
nitialize
BackupTime in
ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zs
o
lveSystem: add mi
s
sing verbosity chec
k
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verd
o
olaege
zsolve:
o
verride LIBS from
top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
ad
d
4ti2-1
.
3
.
1+autoconf-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add z
s
o
l
ve
f
rom 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verdool
a
eg
e
param_
u
til
.
c: export b
i
t_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
topcom
.
c
:
extract pa
r
t of code for setting
u
p standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdool
a
e
g
e
g
e
n_fun::Hadamard_p
r
o
d
u
c
t: pr
i
n
t
prog
r
e
s
s
i
ndicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolae
g
e
move --verbose option
t
o library
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::summate: handle full sp
e
cialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
Replace i
n
cremental infinite
set counter b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make coun
t
er:
:
add_fa
l
lin
g
_powe
r
s static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
m
erge
(
most
o
f) comm
o
n
p
art of
co
u
nter and tco
u
nter
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
icou
n
ter: ha
n
dle spe
c
i
a
l
i
zation of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
icounter: d
o
n't b
o
ther "
n
ormalizi
n
g
"
t
h
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
export n
e
g_left_he
r
mite
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
basis_re
d
ucti
o
n_cdd: chec
k
for poss
i
bly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
Polyhedron_Sample: handle polyhedron bec
o
ming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
g
e
n_fun::operator evalue
*
:
a
lways re
t
urn a va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
f
u
n::
o
pe
r
at
o
r evalue *: remove
c
ommented out
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
bar
v
inok
_
en
u
m
e
r
at
e
_e
.
cc: handle ver
i
fic
a
tion of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
barvinok_enume
r
ate_e: opt
i
o
n
a
lly print st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvi
n
o
k_enu
m
erat
e
_e
:
support v
e
rification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvi
n
ok_enumerate_e: sup
p
ort conversion of genera
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
lattice_points: an
o
the
r
micro-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
ol
a
e
ge
latti
c
e_points
_
fixed: na
n
o-opt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_fun::add
:
c
o
ntext of sum should be
unio
n
of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
o
olaege
barv
i
nok_enumerat
e
: u
s
e verify infrastructure f
o
r ve
r
i
f
yin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
genf
u
n
.
cc:
p
ri
n
t_power:
d
rop spac
e
s around "/"
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
count_
p
oin
t
s_e: f
a
ll bac
k
to
count_po
i
n
t
s if
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am:
check
-
evalue: p
r
int name of each
t
est
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
verif
y
:
add c
h
eck_poly_print helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
gen_f
u
n: make sur
e
context
i
s
a
lwa
y
s set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
reducer::
r
educe: canonicalize coef
f
icients in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
sho
r
t_rat::print:
correctl
y
print ou
t
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_ser
i
es:
rechec
k
for
equa
l
ities
a
fter
c
omputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
exp
o
rt Matrix_Read f
o
r reading M
a
trix from a
s
t
r
e
a
m
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
p
a
r
am_util
.
c: add Pa
r
am_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
ut
i
l
.
c: support
i
ng
_
constr
a
ints: re
t
urn bit vect
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
p
olyl
i
b: update
for Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
options
.
c
:
use Polyhedron_Sample
for counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
ool
a
ege
kee
p
track
o
f and us
e
saturating constra
i
nts in P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
move value_gcd
and valu
e
_l
c
m to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Ber
n
oul
l
i_sum_eval
u
e:
only compu
t
e exact sum if approxi
m
atio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaeg
e
Bernoulli_sum_evalu
e
: su
m
ove
r
variables with in
t
eg
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
evalue
.
c
:
export eva
l
ue_va
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
P
o
lyhedron_Exchange
C
o
lumns: normalize constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
export Polyhedron_Exc
h
angeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ev
a
lue_poly
n
omial: optim
i
ze eval
u
a
t
ion in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
eval
u
e
.
c: em
u
l
: handle anothe
r
special case
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oo
l
ae
g
e
ev
a
lue
.
c:
e
add: h
a
n
dle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verdoolaege
introduce and u
s
e
evalu
e
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eval
u
e
.
c
:
e
a
dd: micro-op
t
im
i
ze a
d
diti
o
n
o
f
t
w
o
rational
s
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
setting a
n
approximati
o
n method now imp
l
ies polynomial
.
.
.
commit
|
commitdiff
|
tree
next