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.24
2007-06-30
Sven Verdool
a
ege
barvin
o
k 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
testl
i
b
.
c
c:
work arou
n
d incomplete namesp
a
ce s
u
pport
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
rd
o
o
laege
scale
.
c
:
enumerate_narrow_flated: don'
t
s
i
m
p
lify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Ve
r
doolaege
d
e
clare va
r
i
ables at start of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
doc: upd
a
te documentation of
opt
i
ons and some functions
commit
|
commitdiff
|
tree
2007-06-30
S
ven
Verdoolaege
P
o
lyhedron_Samp
l
e: factor p
o
lyhedron if
p
ossible
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
Poly
h
edron_Sample: comput
e
vertices o
f
1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhe
d
ron_S
a
mpl
e
: rem
o
ve all e
q
ua
l
iti
e
s from polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ver
d
oola
e
ge
ad
d
possibility to use GLPK as
LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
e
r
doolaege
P
o
lyhedro
n
_
S
ample
:
post
p
one removal
of
rays until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sample: use
lp so
l
v
er
f
or finding ran
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
o
l
aeg
e
lexmin: mo
v
e choice of lp solv
e
r to use outside
b
as
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
polys
i
gn
.
h: use correct
na
m
e
of PL_polyhedron_a
f
f
i
n
e
_si
g
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
ola
e
ge
barvinok_enumerate: p
l
ug
memory lea
k
i
n Berno
u
l
l
i app
r
oxim
a
tion
commit
|
commitdiff
|
tree
2007-06-30
Sven
Ver
d
oolaege
ba
r
vin
o
k_enume
r
ate_e_r: don't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
evalue_fra
c
2polynom
i
a
l
: recheck evalue after evalue_s
p
lit_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
u
til
.
c: Line_Length: don
'
t
get confused by po
s
itivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Makefil
e
.
am: stop after f
i
rst fa
i
l
e
d te
s
t
commit
|
commitdiff
|
tree
2007-06-27
Sven
V
erdo
o
laeg
e
berns
t
ein
:
c
a
rry
thro
u
gh var
i
able renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven
V
erdoolaege
bernstein:
don't
a
ssum
e
input polynomial has been expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Ve
r
doolaege
e
v
alue_r
e
ad
.
c
: cor
r
ect constness of na
m
e in parameter
_
new
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
oo
l
a
e
ge
evalue_
r
ead: a
c
cept constant multiple of va
r
iab
l
e without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ve
r
d
oolaege
e
value
.
c: eva
l
ue_sum: better handlin
g
of negative val
u
es
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdo
o
l
aege
e
v
alue
.
c
: r
e
order
_
term
s
: fi
x
t
y
p
o
commit
|
commitdiff
|
tree
2007-06-14
Sven
Verdoolaege
evalue: declare first argument of emul
c
o
n
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue
.
c: e
m
ul:
don't use explicit_complement on arguments
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolaege
a
d
d a test fo
r
ev
a
l
ue_
s
plit_peri
o
d
s
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c:
evalu
e
_spl
i
t_
p
eriods: mak
e
sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven V
e
rdoolaeg
e
evalu
e
.
c: pol
y
nomial_pro
j
e
c
tion: use ev
a
lue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doola
e
ge
add
a te
s
t
f
or
barvinok_max
i
m
i
ze and barvin
o
k_summ
a
t
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
olaege
barvinok
_
summate:
support veri
f
icat
i
on of results
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdoolae
g
e
evalue
.
c: evalue_s
u
m: s
p
lit i
n
to
orthants + some ref
a
ctoring
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoola
e
ge
barvinok
_
union: use argp for
ar
g
um
e
nt parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verd
o
olaege
barvi
n
ok_enum
e
r
a
te_union_series_wi
t
h_options: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Verdoolaege
basis_reduction_c
d
d
.
cc: get cor
r
ect dua
l
solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolae
g
e
basis
_
reduction_glpk
.
c: correctly set t
y
pe of
r
ows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdool
a
ege
b
a
s
i
s_reduct
i
o
n
_glpk
.
c
: chec
k
for sanity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdool
a
ege
options: mention default and available
s
olv
e
rs for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Verdoolaege
polyh
e
dron
_
sample: t
a
ke option
s
commit
|
commitdiff
|
tree
2007-06-06
S
v
en V
e
rdoolaege
doc: more about po
w
er su
m
s
commit
|
commitdiff
|
tree
2007-06-04
S
ven Verdoola
e
ge
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven
Ve
r
doola
e
ge
doc: repeat Matthias' stopped Barvinok
e
xperiment
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Verdoo
l
a
ege
add barvino
k
_summate to sum a
qu
a
s
i-p
o
lynomial
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven
V
erdoolaeg
e
evalue_read: fi
x
for top-level frac
t
ional p
a
rt
commit
|
commitdiff
|
tree
2007-05-14
Sven
Verdoolaege
ber
n
oulli
.
c:
Be
r
noulli_
s
um_evalue: re
d
uce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
ve
n
Verdoolaege
b
ernoul
l
i
.
c: perform ne
s
te
d
s
u
ms ap
p
roxi
m
ation
d
e
pth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verd
o
o
laege
add p
o
lynomial approxi
m
ation based on nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
util
.
c: e
x
tract
for_
e
ach_lower
_
upp
e
r_bound from Para
m
Line
_
Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
decom
p
o
s
er: use NTL to
i
n
vert matrix r
a
ther tha
n
convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Ve
r
doolaege
lattice_point
.
cc:
a
llow
r
ays and vertex
to h
a
ve been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
counter
:
o
ptimize
s
um
m
ing o
v
er points in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
la
t
t
ice_po
i
nt
.
cc:
av
o
i
d
c
o
nversi
o
n betwe
e
n
N
T
L
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conversion
.
cc: r
e
move
rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolae
g
e
evalue
.
c: evalue_polynomial ext
r
acted from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
r
doolae
g
e
evalue
.
c: ad
d
evalue_
n
egate
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoo
l
aege
doc: a note on the connection between
T
o
d
d poly
n
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc: points in fundapiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Ve
r
doolaege
barvinok
.
cc: s
i
m
plify
dpoly_n const
r
u
c
tor
commit
|
commitdiff
|
tree
2007-05-10
Sven Ve
r
doolaege
R
emo
v
e "nor
m
alization" or powers in
denominato
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
ven Ve
r
dool
a
ege
dec
o
mposer
.
cc: pass options to
t
riang
u
la
t
e_cone
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoo
l
aege
barvin
o
k_
c
ou
n
t:
o
ptionally u
s
e e
x
pon
e
ntial substitution
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdo
o
laege
coun
t
e
r
.
cc: ext
r
acted fr
o
m ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoolaege
dpoly::
d
iv: avoid
c
omputation w
i
th rational
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoo
l
a
e
g
e
d
pol
y
: us
e
Value instead o
f
ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoo
l
a
ege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
a
d
d
t
e
st
for latt
i
ce point
c
omputat
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
e
value_read
.
c
:
add e
v
alu
e
_read_from
_
st
r
for rea
d
ing
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oola
e
ge
evalue_read_from_file: don'
t
mod
i
fy
var_list a
r
gument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
ev
a
lue_read: re
a
d more
gen
e
ral evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
evalue_convert
.
cc: add
m
i
ssing include
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
c
o
n
version
.
h: genera
l
ize rays2matr
i
x2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
d
oolaege
l
a
t
tice_p
o
int
.
h: make self-
c
o
n
tained
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Verdoolaege
evalue_
r
ead: extract from ma
x
imize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdo
o
la
e
ge
enumerator: support primal
(
h
a
l
f-op
e
n
)
d
ecompositi
o
ns
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
numer
a
tor
:
hand
l
e (dual) s
t
opped
B
arv
i
nok decompositio
n
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdo
o
laege
l
a
t
tice
_
point
.
cc: r
e
m
o
ve
u
nus
e
d PD
a
r
gu
m
ent
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
lattice_p
o
int
.
cc: extract coset ge
n
eration
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolae
g
e
lattice
_
p
oint
.
cc: rename ceil_mod to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lat
t
ice_point
.
cc
:
us
e
some h
e
l
per fu
n
ct
i
ons to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
l
a
tt
i
ce
_
point
.
cc:
i
mplement l
o
okup-table v
e
r
sion in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
mov
e
more latt
i
ce poi
n
t comput
a
t
i
o
ns to lattice_
p
oint
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
barvino
k
.
cc: lat
t
ice
_
point
:
remove a
s
p
e
cial case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
ege
doc: int
e
ger poin
t
s in
f
undamental pa
r
all
e
lepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoolaege
u
t
i
l
.
c: export Matrix_
T
r
a
nsposit
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n V
e
r
doo
l
aege
ut
i
l
.
c: ex
p
o
r
t Vector_Op
p
ose
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
erdo
o
laege
scale
.
c
:
move Pa
r
am_Vertex_Common
_
De
n
om
i
nator t
o
p
a
ram_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
evalue
.
c:
add evalue_add_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
evalue
.
c: affine2evalu
e
:
skip ze
r
o c
o
efficients
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoo
l
aege
evalu
e
.
c: emul_p
o
ly: efficiently handle
c
ase of multip
l
icati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
bump ver
s
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Ver
d
o
o
laege
d
oc: update options and some
funct
i
on
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Ver
d
oolaeg
e
doc: doc
u
ment
v
o
lum
e
com
p
utation
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Ve
r
doolae
g
e
doc: more reports explai
n
i
n
g parts o
f
barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
r
doolaege
berns
t
ein
:
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
V
erdoo
l
aege
d
o
c
: transformation of
parameter doma
i
n to ha
v
e
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Ver
d
oolaege
barvinok
.
cc
:
barvinok_count_f: avoid warn
i
ng on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
util
.
c
: unimodula
r
_complete: handle
c
o
mple
t
ion
o
f mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok_enumerate
.
cc: handle all
lines in --se
r
ies
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
oolaege
barv
i
nok_enumerate
.
c
c: s
e
r
ies: plug memory leak
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n Verdoolaege
doc: document left_inver
s
e
commit
|
commitdiff
|
tree
next