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
Verd
o
o
l
aege
Move GiNaC-independent part of li
b
rary to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
poly
l
ib:
updat
e
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoolaege
d
o
c:
how to count t
h
e number of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoolaege
doc/implementat
i
on
.
tex: avoi
d
multi
p
ly
d
efined l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
d
o
olaege
lattice_wi
d
t
h
.
c: try vert
i
c
e
s of previous
integer h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
o
c
:
document integer hull computat
i
on
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
hull
.
c: add
a
l
l
points f
o
und by sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Ver
d
oolaege
Possible optimizat
i
ons for generali
z
ed basis reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdool
a
ege
S
u
pport use of genera
l
ized ba
s
is
r
eductio
n
to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
add
P
olyhedron_Intege
r
_Min
i
mum f
o
r computing
the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oolaege
doc: d
o
cu
m
e
nt gener
a
l
ized basis
r
eduction based
intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc/
b
a
r
vinok
.
bi
b
:
a
dd missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven
Verdo
o
laeg
e
add more missing assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
configur
e
.
in: only compi
l
e libbar
v
inok
a
s
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ve
r
dool
a
e
g
e
P
o
lyhedron_Reduce
d
_B
a
sis: don't stop too
e
arly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
compute_w
i
dth
_
directions: only keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoola
e
ge
zsolve: don
'
t inst
a
ll
libr
a
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
o
l
aege
v
e
rsion
.
c:
show use
o
f TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
c
onfi
g
ure
.
i
n
: don't set
w
ith_{poly,pi
p
}lib_prefix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
P
o
l
yhedron_Sample: be satisfied with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_integer_hull: optionall
y
print stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
b
asis
_
r
e
duction
:
keep track of
n
u
mber
o
f LPs solv
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdoolaege
options: move
--
p
rint-sta
t
s to
l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein: rework testin
g
framework to no
t
de
p
end
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
ber
n
stein:
a
d
d
p
iecew
i
se
_
lst:
:
is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
v
e
n
V
er
d
oolaege
suppor
t
n
e
w
er v
e
r
sions of
GiN
a
C (
>
= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laeg
e
standard_cons
t
raints:
move from topcom
.
c
to poly
s
ign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
po
l
ysign
.
h: remov
e
dependenc
y
on
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolae
g
e
zsolve: add
banne
r
.
h to d
i
stributi
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoo
l
aege
Polyh
e
dron_La
t
t
ic
e
_Wi
d
th
_
Directions: prin
t
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
b
a
sis_redu
c
tion
_
pip:
a
bort
o
n
invali
d
(
e
mpty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaege
R
E
ADME:
e
xplain
h
o
w
to get submodul
e
s
commit
|
commitdiff
|
tree
2007-11-02
S
ve
n
Verdoolaege
doc: document la
t
tice width
c
o
m
putation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
some latti
c
e width t
e
sts
from Jon
Y
aggie
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdo
o
laege
Polyhedro
n
_Lattice_Wid
t
h: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
ad
d
Polyhedron_Lattice
_
Width for
c
omputi
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hi
l
bert
.
c: add Cone_Integer_Hull f
o
r computing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
polys
i
gn: add pip-b
a
cked
v
e
r
sion
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
laege
polysign: add constraints_opt to compute
o
pt
i
mum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pol
y
sign_c
d
d: swi
t
ch to
u
se of Mat
r
ix representa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
polysign_glpk:
switch
t
o
u
se o
f
M
a
tr
i
x r
e
pres
e
nta
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
doc
:
documen
t
comp
u
tation of Hilbert basis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
Cone_Hilb
e
r
t
_Basis: use
s
tandard_constraints
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdo
o
la
e
ge
Use
z
solve
t
o
co
m
pute Hi
l
ber
t
basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
ge
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
zsolve: don't install headers
and executab
l
es
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zs
o
lve: init
i
alize BackupTime in ZSolv
e
Context
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsolve:
z
solv
e
System: a
d
d miss
i
ng v
e
rbo
s
i
ty check
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
V
erdoolaege
zsolve:
o
v
e
rride LIBS f
r
om top l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoola
e
ge
add 4ti2-1
.
3
.
1+autoc
o
nf-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
add
z
solv
e
f
r
om 4ti2-
1
.
3
.
1+
a
utoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
param_
u
til
.
c
: e
x
por
t
bi
t
_vector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
e
g
e
topcom
.
c
:
e
xt
r
a
c
t p
a
rt of code for setti
n
g up
standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoola
e
ge
gen_f
u
n::Hadamard
_
product:
print
p
r
ogress i
n
dicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdool
a
eg
e
move -
-
ver
b
ose
opti
o
n to library
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaeg
e
gen_fun::
s
umm
a
te:
han
d
le full spe
c
ia
l
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
Replace
i
ncre
m
ental infinite set counter by "regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdool
a
e
g
e
make co
u
nter::a
d
d_f
a
l
ling_pow
e
rs stati
c
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
lae
g
e
merge
(most of) common part of
c
oun
t
e
r and tcounte
r
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
oolaege
icounter: h
a
n
dle specialization of polynomia
l
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoolaege
icounter:
d
on't bot
h
er "norma
l
izi
n
g" the
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_lef
t
_
h
ermite
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
ba
s
i
s_reductio
n
_
c
dd: check
f
or pos
s
ibly incorrect o
u
t
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Polyh
e
d
r
on
_
S
ample: handle polyhedr
o
n becoming em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olaeg
e
gen_fun::operator
ev
a
lue *: a
l
w
a
ys return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_f
u
n::operat
o
r ev
a
lue *
:
r
e
move
c
ommented
o
ut de
b
ugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
b
arvino
k
_
e
numerate_e
.
c
c
: handle v
e
r
ification of
probl
e
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enumerate_
e
: option
a
l
ly
p
rint stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok_
e
numerate
_
e:
support verification
of g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaeg
e
barvinok_enumerate
_
e: support conversio
n
of gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
lattice_
p
oints: another micro-op
t
i
m
iza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
l
attice_points_fi
x
e
d
: na
n
o
-
o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ver
d
oolaege
gen_fun::add: context o
f
sum shou
l
d be un
i
on of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
barvinok_enumerate:
u
se verify inf
r
a
struc
t
ure for veri
f
ying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
genfun
.
cc: pr
i
nt_po
w
er
:
drop spaces arou
n
d
"/"
w
he
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
count
_
points_e: fall back to coun
t
_p
o
ints if th
e
re
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am: check-ev
a
lue: pr
i
nt name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oo
l
a
e
ge
verify: add check_poly_print helper functio
n
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
e
g
e
g
e
n_fun: make su
r
e context is alw
a
ys se
t
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::redu
c
e: c
a
nonicalize coefficient
s
in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolae
g
e
short_rat
:
:
print: correctly print out terms w
i
th a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
ae
g
e
barvinok_series: recheck for equalities
after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
e
xport Matrix_Read for reading Matrix
f
r
o
m a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
par
a
m
_
util
.
c: add
Param_Vertex_D
o
m
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
util
.
c:
sup
p
orting_constr
a
i
n
ts: r
e
turn bit
vecto
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
pol
y
li
b
:
update
f
or Matrix_Ex
t
end
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
options
.
c: use Polyhed
r
on_Sample for counting infi
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
keep track
o
f and us
e
satur
a
ting constraints in
P
ara
m
_Polyhed
r
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolae
g
e
move value_gcd and v
a
l
ue_l
c
m to polyli
b
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Bern
o
ulli_sum_eva
l
ue: onl
y
compute exa
c
t
s
um i
f
a
pproximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
B
e
r
n
oull
i
_sum_ev
a
lue: sum ov
e
r variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaeg
e
evalue
.
c: export
e
va
l
ue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
e
ge
Polyhe
d
ron_Exchange
C
o
l
umns
:
n
o
rmal
i
ze
cons
t
rain
t
s
a
f
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
export Poly
h
edron_ExchangeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
r
doolaege
evalue_polynomial: optimize eva
l
u
atio
n
in
z
ero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolae
g
e
evalu
e
.
c: e
m
ul: handle
a
nother
special case
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
evalue
.
c: ea
d
d:
h
a
n
dle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
introduce and use ev
a
l
ue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
e
v
a
lue
.
c: e
a
dd: micro-opt
i
mize
a
d
dition
of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
setting an
a
pproximatio
n
method now
i
mplies polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
next