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
barvinok 0.26
2008-01-16
Sven Verdoolaege
bar
v
inok
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdo
o
laege
add
som
e
t
ests for
i
mplemen
t
ation of pr
o
jection
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
do
c
: documen
t
new opt
i
ons and
n
ew app
l
icatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHORS: upd
a
te
s
u
pport information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: short_rat::print
:
co
r
rectly print poly
n
omia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoo
l
aege
Export series as
b
arvi
n
ok_enumerate_series a
n
d use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaeg
e
remov
e
_
para
m
eter_
e
qualit
i
es: s
t
o
p
"removing" equali
t
ie
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaege
series: leave
freeing of P argument to c
a
ll
i
ng functio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
d
oc:
d
oc
u
m
ent
implementat
i
on of the project
i
on theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
add ba
r
vinok
_
enumerate_e_series i
m
plementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
laege
g
enfun
.
cc: fix and
doc
u
ment parallel pol
y
tope
s
class
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdool
a
e
g
e
Move G
i
N
a
C-
i
ndependent
p
art of libr
a
r
y
t
o
ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
p
o
lylib:
u
pda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoolaege
doc: how to c
o
un
t
the number o
f
elements in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/
i
mplementati
o
n
.
t
ex:
a
void multi
p
ly
defined
label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
lattice
_
width
.
c:
try ve
r
tices of previous
i
ntege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
d
o
c
:
document intege
r
hull computati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
oolaege
hul
l
.
c: add all
points found by sa
m
p
l
i
n
g dire
c
t
ly t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoo
l
aege
Possible
opti
m
izations
f
or gener
a
lized ba
s
is reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
S
u
p
p
o
rt
u
se of gene
r
alized basi
s
reduction
t
o compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
Ver
d
oolaeg
e
add Po
l
yhedron_Inte
g
er_M
i
nimum
f
or computing th
e
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaeg
e
doc: docum
e
nt generalized basi
s
reduct
i
on based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdool
a
ege
doc/barvinok
.
bib: add
m
issing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaeg
e
add more missing assert
.
h #include
s
commit
|
commitdiff
|
tree
2007-11-15
S
ve
n
Verdo
o
laege
configure
.
in: only c
o
mpile l
i
bbarvinok as
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
Polyhe
d
ron_Reduc
e
d_Basis: do
n
't stop too
ear
l
y
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
lae
g
e
compu
t
e_
w
id
t
h_
d
irectio
n
s: only keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rd
o
olaege
z
solve: don't
install
libra
r
y
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
V
erdoola
e
ge
ve
r
sion
.
c:
s
ho
w
use of T
O
PCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
conf
i
g
u
re
.
in: don't set with_{p
o
ly,p
i
p
}
l
ib_
p
r
efix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
do
o
laege
Polyhedron_Sample: be
satisfied w
i
th
a reasonabl
e
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdo
o
laege
c
o
ne
_
integer
_
hull: op
t
ionally p
r
i
nt
s
t
a
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
basis_reduc
t
ion: k
e
e
p track of number
of L
P
s solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
options:
m
o
ve --print-stats to l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
bern
s
tei
n
: rewo
r
k tes
t
ing frame
w
ork to not depend
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
ber
n
stein: a
d
d
piecewise_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
stand
a
rd_co
n
str
a
ints: move
f
rom
topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
p
o
lysig
n
.
h:
r
emove dependen
c
y on lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
zsolve: a
d
d
banner
.
h to d
i
str
i
bution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
Po
l
yhedro
n
_Lattice
_
Wi
d
t
h_Di
r
ection
s
:
print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
e
n Verdoolae
g
e
basis_reduction_pip:
abort
o
n i
n
v
a
lid
(
em
p
ty
)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
README
:
explain how to get
s
ubmodule
s
commit
|
commitdiff
|
tree
2007-11-02
Sve
n
Verdoo
l
aege
doc: docum
e
n
t
l
atti
c
e width comput
a
tion
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
olaege
some lattice w
i
dth tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laege
Polyhedron_La
t
t
i
ce_Width:
d
ecide on
f
ac
e
t
s
t
o close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven V
e
rdoola
e
g
e
add Polyhe
d
ron
_
Lattice_Width fo
r
com
p
u
t
ing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laege
hilbert
.
c: add
Cone_Integer_
H
ull for compu
t
ing
v
erti
c
es
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
g
e
pol
y
sign: add p
i
p-backed
version
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoo
l
aege
polysign: a
d
d constraints_
o
pt to co
m
pute optimu
m
o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdo
o
laege
p
o
l
y
sign
_
c
d
d: sw
i
tc
h
to use
of Ma
t
r
i
x represe
n
t
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
poly
s
ign_glpk
:
switch to
u
se of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
doc: document
c
omputation of Hilbert
basi
s
of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
Cone_Hilbert_Basis: use sta
n
dard_constraints to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
U
se zsolve to comp
u
te Hilbe
r
t
b
asis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaeg
e
compile
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't
install headers and executab
l
es
commit
|
commitdiff
|
tree
2007-10-31
S
ven
Ver
d
oolaege
zsolve
:
initi
a
lize
B
ackupTime in
ZS
o
lveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zso
l
ve: zso
l
veSyst
e
m: add mis
s
i
ng verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zsolve: override LI
B
S from
t
o
p l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
a
dd 4t
i
2-1
.
3
.
1+
a
u
t
oconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add zs
o
lve from 4ti2-1
.
3
.
1+
a
utoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
param_util
.
c: ex
p
ort bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
topcom
.
c: extr
a
ct par
t
o
f co
d
e for s
e
tti
n
g
u
p sta
n
dard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fun::Ha
d
amard_product: p
r
int progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
V
erdoolaege
move
--verbose op
t
ion t
o
library
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
a
ege
gen_fu
n
::
s
ummat
e
:
handle full speci
a
l
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
R
eplace increm
e
ntal infinite set cou
n
ter by "regula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
make coun
t
er::add_
f
alling_po
w
ers s
t
ati
c
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oola
e
ge
merg
e
(
m
ost of
)
common part of counter a
n
d tcoun
t
e
r
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
i
c
o
u
nter: ha
n
d
l
e
specialization o
f
polynom
i
als
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Ver
d
oolaege
icounter: don
'
t
bother "normalizing" th
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
ex
p
ort neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis_re
d
uction
_
cdd: check for possibly incor
r
ect
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
Polyhed
r
on_Sam
p
l
e: handle polyhedron becoming e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
gen_fun:
:
o
perato
r
evalue *: always ret
u
rn a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
gen_fun:
:
o
perator e
v
alue *: r
e
m
ove commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
barvi
n
ok_enumerate_e
.
c
c
:
handle veri
f
ic
a
tion of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvinok_enumerate_e: optionally
p
rint
s
t
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvin
o
k
_enumerate_e: support
v
e
rification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
r
v
inok_enume
r
ate_e:
s
u
ppor
t
conversion of
gener
a
ting
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
latti
c
e
_
points
:
a
not
h
er micro-
o
p
t
imi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verd
o
olaege
la
t
t
i
ce_points_f
i
xed:
n
ano-
o
p
t
i
mization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoo
l
aege
gen_fun::add:
c
ontext of sum s
h
ould be u
n
i
o
n of co
n
t
e
xts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdool
a
ege
barvinok_enumerate: use verify
inf
r
astructure for ver
i
fying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
olaege
genfun
.
cc: print_power: drop
s
paces a
r
ound "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
r
d
o
olaege
count_
p
oints_
e
:
fall back to
c
ount_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdo
o
laege
Mak
e
f
ile
.
a
m
: chec
k
-ev
a
lue: print name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
verify: a
d
d check_poly
_
print helper
f
u
nction
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
gen_fun: ma
k
e sure context is always s
e
t
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
r
e
duce
r
::redu
c
e:
canonicalize coefficients in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoola
e
g
e
s
hort_rat::pri
n
t: co
r
rectly print ou
t
terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
b
a
rvino
k
_series
:
recheck f
o
r equalities after comp
u
tin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
port Matrix
_
Rea
d
for r
e
a
d
ing Matr
i
x
fr
o
m a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
param_util
.
c: add P
a
ram
_
Verte
x
_Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: supporting_constraints: return bit
v
ector
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib
:
update for Matri
x
_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
e
ge
o
ptions
.
c: use Pol
y
he
d
ron_Sampl
e
for cou
n
ting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Ver
d
oolaege
keep track of and use saturat
i
ng constraints in
P
a
r
a
m_P
o
lyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaeg
e
m
o
ve
va
l
ue_gcd
an
d
value_lcm t
o
polylib
commit
|
commitdiff
|
tree
next