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
Polyhedron_Sample: use lp solver for finding range of a variable
2007-06-30
Sven
Verdoolaege
Poly
h
e
dron_Sample: use
l
p solver for finding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
aege
lexm
i
n
: move choice of lp solv
e
r
to us
e
o
u
tside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
polysign
.
h: use correct name of PL_
p
olyhedron_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
b
arvinok_enumerate: plug memory leak
i
n Berno
u
lli
a
p
proxim
a
tion
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
b
a
r
v
i
n
o
k
_enum
e
r
ate_e_r: don't assume AddCo
n
s
t
r
a
ints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
evalu
e
_fra
c
2polynomi
a
l: recheck evalue afte
r
evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Ve
r
do
o
laege
util
.
c
:
Line_Length:
don't get
confus
e
d by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
Makef
i
le
.
am: stop after first faile
d
test
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Verdoolaege
bernst
e
in:
c
a
r
r
y through variab
l
e
r
enam
i
n
g to deb
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
b
e
rnst
e
i
n
: do
n
't ass
u
me input polynomial has
been expanded
commit
|
commitdiff
|
tree
2007-06-27
S
ven
V
erdool
a
ege
evalu
e
_read
.
c: correct co
n
stnes
s
of name i
n
parame
t
er_new
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdo
o
laege
eval
u
e_read: a
c
cept consta
n
t multiple of variable without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ve
r
d
oolaege
evalue
.
c: evalue_sum
:
better handling of n
e
g
a
ti
v
e values
commit
|
commitdiff
|
tree
2007-06-15
S
v
en Ver
d
oolae
g
e
evalue
.
c: reorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
e
v
alue:
d
e
c
la
r
e fi
r
st argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verdoolaege
evalue
.
c: e
m
ul: don't
u
se
e
xplicit_compleme
n
t on argume
n
ts
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdool
a
ege
add
a t
e
st
f
o
r evalue_spli
t
_period
s
commit
|
commitdiff
|
tree
2007-06-13
Haral
d
.
Devos
@
elis
.
.
.
find
_
fractional_
w
ith_max_periods:
i
niti
a
lize
l
o
cal
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sve
n
Verdoolaege
e
value
.
c: eval
u
e
_
s
plit_periods:
m
ake sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sve
n
Verdoo
l
aeg
e
evalue
.
c: po
l
y
n
omial_projection: use evalue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven
Verdoolaege
add a
t
est for barvino
k
_
m
aximize and barv
i
nok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven V
e
r
doolaege
barvinok_summate: suppo
r
t
v
erifica
t
ion o
f
results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdo
o
laege
e
value
.
c: e
v
a
lue_sum: split
i
nto orthants + s
o
m
e
refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doo
l
ae
g
e
barvinok_u
n
ion:
u
se arg
p
for argument p
a
rsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolaege
b
a
rvino
k
_enum
e
rate_union_series_with_options: fix t
y
p
o
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_r
e
d
u
cti
o
n_cdd
.
c
c
:
get correct dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ver
d
oolaege
basis_reduct
i
on_
g
lpk
.
c: co
r
rectly set type of
r
ow
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_red
u
cti
o
n_glpk
.
c
:
ch
e
ck
for sa
n
ity
o
f sol
u
t
i
o
n
commit
|
commitdiff
|
tree
2007-06-06
Sve
n
Verdoolaege
o
p
t
i
o
n
s: mention default an
d
available
s
olv
e
rs for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdool
a
ege
polyhedron_sample: take options
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n
Verdoolaege
doc: m
o
r
e about pow
e
r
s
ums
commit
|
commitdiff
|
tree
2007-06-04
Sven Ve
r
doolaege
do
c
:
t
y
po
commit
|
commitdiff
|
tree
2007-05-30
Sven
Verdool
a
eg
e
doc: rep
e
at Matthias' sto
p
ped B
a
r
vi
n
ok exp
e
rim
e
nt
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sv
e
n Verdoolaege
add ba
r
vinok_su
m
m
a
t
e
to sum a
quasi
-
p
olynomial o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
ev
a
lue_read: fix
f
or top-leve
l
f
r
actio
n
a
l part
commit
|
commitdiff
|
tree
2007-05-14
S
v
en Verdoola
e
ge
ber
n
o
u
l
l
i
.
c: Bernoul
l
i_sum_evalue
:
reduce r
e
sulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
b
ernoulli
.
c: perform
n
ested sums approximation
depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdool
a
e
g
e
add poly
n
o
mial ap
p
roximation
b
a
sed
on nested sums
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdool
a
ege
util
.
c:
e
xtract for_each_
l
o
wer_upper
_
bound f
r
o
m P
a
ramLine_
L
en
g
t
h
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Ve
r
doolaege
decomposer: use NTL to inv
e
rt m
a
tr
i
x rath
e
r than conve
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verd
o
olaege
lattice
_
po
i
nt
.
cc: allow
r
ays an
d
v
ertex to ha
v
e been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
c
ounter: optimize summing
over
p
oints i
n
fund
a
piped
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
lattice_point
.
cc:
avoid conve
r
s
i
on b
e
tween NTL
and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verd
o
olae
g
e
c
o
n
version
.
cc: remove rays2ma
t
r
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdool
a
ege
eva
l
ue
.
c: evalue_
p
o
l
ynomial
extracted from barvi
n
o
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
ev
a
lue
.
c:
add evalue_neg
a
te
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ver
d
o
o
laege
doc: a
n
ote on the c
o
nnection b
e
tw
e
en Todd polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdo
o
laege
doc
:
points in funda
p
iped: fix t
y
po
commit
|
commitdiff
|
tree
2007-05-10
Sven
V
erdoolaege
barvi
n
o
k
.
c
c
:
s
im
p
lify dpoly_n co
n
structor
commit
|
commitdiff
|
tree
2007-05-10
S
v
e
n
V
er
d
oolaege
R
e
move "normalization"
o
r powers in denominato
r
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
ven
Verd
o
olaege
d
ecomposer
.
cc: pass opti
o
ns
t
o
triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
S
v
e
n
Verdool
a
ege
barvinok_count:
o
ptionally use exponent
i
al substitut
i
o
n
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
laege
count
e
r
.
cc:
e
xtracte
d
from ba
r
v
i
n
ok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
olaege
d
p
oly::div: avoid computation with
r
ati
o
n
al numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly: us
e
Value instead o
f
ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
add te
s
t
for
l
attice point comput
a
tion
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ver
d
ool
a
ege
evalue_r
e
ad
.
c: add evalue_re
a
d_fro
m
_str for read
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
evalue_r
e
ad
_
from_file: do
n
't modif
y
var
_
l
i
s
t argument
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdool
a
ege
eval
u
e
_re
a
d: read
m
ore general evalues
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdool
a
ege
e
v
alue_convert
.
c
c:
ad
d
mi
s
sing
incl
u
de
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ver
d
oolaege
conversion
.
h: gen
e
ral
i
ze rays2matrix2 to
zz
2
matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattic
e
_point
.
h: make self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doo
l
a
ege
evalue_read: extract from ma
x
imize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdo
o
laege
enumerator
:
suppo
r
t primal
(
h
a
lf-
o
pen
)
d
ecompositio
n
s
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
erdoolaege
enu
m
erator:
h
andle
(dual) stopped Barvinok
d
e
c
omposition
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoola
e
ge
lattice_point
.
cc
:
remove unused PD a
r
g
u
ment
commit
|
commitdiff
|
tree
2007-05-02
S
ven
Verdoo
l
a
ege
lattice_point
.
cc: e
x
t
ract coset generation
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoola
e
ge
l
a
ttice_p
o
int
.
c
c
: rename ceil_mod to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
lattice_p
o
int
.
cc: use some
helper functio
n
s t
o
simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
lattice_point
.
cc: implement look
u
p-table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
move more l
a
ttice point computations to
latt
i
ce_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
a
e
g
e
barvinok
.
cc: lattice_point: remove
a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
doc:
inte
g
er
p
o
i
nts in f
u
n
d
amental parallelepiped
:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ut
i
l
.
c: ex
p
ort M
a
trix_Tr
a
nsposition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ve
r
doola
e
ge
u
t
i
l
.
c:
expo
r
t Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
ool
a
ege
scale
.
c: move Para
m
_Ver
t
ex_Common_D
e
nominator to param
_
util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
evalue
.
c:
add e
v
alue_add_consta
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
evalue
.
c: affine2evalue: skip zero coeff
i
ci
e
nts
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Verd
o
olaeg
e
evalue
.
c: em
u
l_po
l
y: efficien
t
l
y
hand
l
e case of multip
l
icati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
doc: u
p
d
ate o
p
tio
n
s a
n
d some functio
n
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolaege
doc: docum
e
nt volu
m
e computati
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
d
o
c:
m
ore repo
r
ts explai
n
ing parts
o
f bar
v
inok
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
o
o
laege
bernstein: bum
p
v
e
rsion
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
r
doolaege
doc: tr
a
nsformation of para
m
eter d
o
main to
hav
e
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
V
erdo
o
l
a
ege
ba
r
v
inok
.
cc: barvino
k
_
c
o
unt_
f
: avoid
w
arning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoo
l
aege
util
.
c: unimodular_com
p
lete: handle c
o
mpl
e
tion of mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
r
do
o
l
a
ege
barvinok_enumer
a
te
.
c
c: handle all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoolaeg
e
b
a
rvinok_enum
e
r
a
te
.
cc: series
:
plug
m
emory leak
commit
|
commitdiff
|
tree
2007-04-26
S
ven
Ver
d
ool
a
ege
d
o
c: do
c
ument left
_
in
v
e
r
se
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoolae
g
e
doc: remove
r
ef
e
rence to old
b
arvinok_series application
commit
|
commitdiff
|
tree
2007-04-26
S
v
en
V
erdoolaeg
e
doc: up
d
ate
e
value
_
bernstein
_
coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
barvin
o
k/option
s
.
h: put
s
tats first in ba
r
vino
k
_
o
ptio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolaege
b
a
rvinok_maximize: read_evalue:
support re
l
ations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bernstei
n
.
cc: evalue
_
bernstein_coefficien
t
s: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolae
g
e
barvinok_maximize: evalue_r
e
ad:
a
l
low identi
f
iers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bar
v
inok_maximize:
m
ove
-
-(
b
e
rnstein-)recu
r
se option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoolaege
l
i
b/argp: fix logic in hol_
c
l
uster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
o
laege
barv
i
nok_maximize: allow spe
c
ific
a
tion of
t
h
e
variables
.
.
.
commit
|
commitdiff
|
tree
next