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
evalue.c: evalue_sum: better handling of negative values
2007-06-16
Sven Verdoolaege
e
v
alue
.
c:
e
v
alue_sum: better handl
i
ng of negative values
commit
|
commitdiff
|
tree
2007-06-15
S
v
en Verdoolaege
evalu
e
.
c: reor
d
er_terms
:
f
i
x
t
y
po
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verd
o
ol
a
ege
e
value: declare first arg
u
ment
o
f
emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven
Ve
r
d
oolaege
eva
l
ue
.
c: emul: don't use
e
xpli
c
i
t
_c
o
mplement o
n
a
r
gu
m
ent
s
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
ad
d
a t
e
st for evalue_s
p
lit_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos
@
eli
s
.
.
.
find_frac
t
iona
l
_with_max_periods: initi
a
l
ize loca
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
eval
u
e
.
c
: evalue_split_pe
r
iods: make sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
d
oolaege
ev
a
lu
e
.
c: polynom
i
al_p
r
ojection: use
e
v
alue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
olae
g
e
add a test for barvi
n
ok_maximize and
b
arvinok
_
summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
olaege
barvinok_summ
a
te: support
veri
f
ication
of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oola
e
g
e
evalue
.
c: ev
a
lue
_
su
m
:
split in
t
o ortha
n
ts +
some r
e
factoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoo
l
aege
barvinok
_
u
ni
o
n
:
us
e
argp for
argument par
s
ing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolaege
barvinok
_
enumerate_un
i
on_series_
w
ith_opti
o
ns: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
erdoolaege
basis_reduction
_
cdd
.
cc: get correct dual s
o
lution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_r
e
duction_g
l
p
k
.
c: correctly
set t
y
pe of
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Verdoolaege
basis_reduction_g
l
pk
.
c: ch
e
ck for sanity of sol
u
tion
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n
Verdoo
l
aege
o
p
t
i
ons: mentio
n
default and available
s
olvers
f
or
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoolaege
p
o
l
y
hedron_sample:
take
o
ptio
n
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Ve
r
doola
e
ge
doc: more about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sve
n
Verd
o
olaege
doc
:
typo
commit
|
commitdiff
|
tree
2007-05-30
Sven V
e
rdoola
e
ge
d
o
c
: repeat
M
atthi
a
s' stopp
e
d Barvino
k
experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdool
a
ege
add
barvinok_summate to sum
a quas
i
-poly
n
omi
a
l over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sv
e
n Verdool
a
e
ge
eva
l
ue_r
e
a
d
:
fix
f
or top-level fract
i
o
nal part
commit
|
commitdiff
|
tree
2007-05-14
Sve
n
Verdoolae
g
e
bernoulli
.
c: Bernoulli
_
sum_evalue: reduc
e
resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
ber
n
oul
l
i
.
c: perform nested
s
ums approx
i
mat
i
on
d
epth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
add polynomial approximati
o
n based on nested s
u
m
s
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
util
.
c: extract
f
or_ea
c
h_lower_uppe
r
_
bound from Pa
r
amLi
n
e_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoola
e
ge
deco
m
p
oser: use
N
TL to invert mat
r
ix rather th
a
n conver
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
lattice_poi
n
t
.
cc: allo
w
rays
a
n
d vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
c
ounter: op
t
imize sum
m
ing over points in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
l
a
ttice_poin
t
.
cc: avoid conversion b
e
tween N
T
L an
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Verdoolaege
conversion
.
cc: remove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
eval
u
e
.
c: ev
a
lue_pol
y
nomial ex
t
racted
f
rom
barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
e
g
e
eval
u
e
.
c
: add
e
value
_
negate
commit
|
commitdiff
|
tree
2007-05-13
S
v
en V
e
rdoolaege
do
c
:
a
no
t
e on the connect
i
on between
Todd polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
V
e
rdoolaege
doc: points in fundap
i
ped: f
i
x typ
o
commit
|
commitdiff
|
tree
2007-05-10
Sve
n
Verdoolaege
b
a
rvinok
.
cc
:
s
imp
l
ify
dpoly_n
c
o
nstru
c
tor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Remove "
n
ormalizat
i
on" or po
w
e
rs
in denomi
n
at
o
r on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sve
n
Verdo
o
laege
decomposer
.
cc: pass options to triangulat
e
_cone
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Ve
r
doolae
g
e
b
arvinok_count: optionally u
s
e exponential substi
t
u
t
io
n
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
doola
e
ge
counter
.
cc:
extracted
f
r
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
S
ven
V
erdoolaege
dpo
l
y::div: avoid computation with
ra
t
ional numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verdoolaege
dpoly: use
V
alue instea
d
of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
ad
d
t
est f
o
r lattice poin
t
computation
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaeg
e
evalue_read
.
c: add
e
v
alue_read_fr
o
m_str for re
a
d
ing
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n V
e
rdoolaege
eval
u
e_
r
ead_from_file: don't modif
y
var_list argu
m
ent
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalu
e
_read: read more general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoola
e
ge
eva
l
u
e_conve
r
t
.
cc: add miss
i
ng
i
nclude
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ver
d
o
olaege
conve
r
s
i
on
.
h: gen
e
ralize rays2matrix2 to zz2m
a
tr
i
x
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoola
e
ge
lattice_point
.
h: make s
e
lf
-
contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
e
value_read: extract fro
m
maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
e
n
umerator: support primal
(half-open) decompos
i
t
i
ons
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
e
n
umer
a
tor:
hand
l
e
(dual
)
st
o
pped Barvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ol
a
ege
lattice
_
point
.
cc: r
e
move unused PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
l
a
t
tic
e
_point
.
cc: extract
c
oset
generation
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
e
r
doo
l
ae
g
e
l
a
ttice
_
point
.
cc: renam
e
ceil_mod to
f
ractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
olaege
lattice_p
o
int
.
cc: use some helper fun
c
tions
t
o
s
impli
f
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
l
a
ttice_
p
oint
.
c
c:
i
m
plemen
t
lookup-table
v
ersion i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verdoolaege
move more latti
c
e point
computations to la
t
ti
c
e_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
barvi
n
o
k
.
cc: l
a
t
tice_po
i
nt
:
r
e
move a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
ge
doc: i
n
teger points in
f
undamenta
l
paralle
l
epiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
u
t
i
l
.
c: ex
p
ort Matrix_Tra
n
sposition
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
ut
i
l
.
c: export Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
o
laege
s
c
ale
.
c
:
m
o
v
e Param_Vertex_
C
ommo
n
_Denominator to param_u
t
il
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
evalue
.
c: add evalu
e
_add_
c
onstan
t
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Ver
d
o
olaege
evalue
.
c: affine
2
e
v
alu
e
: skip zero coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalu
e
.
c: emul_poly
:
eff
i
cient
l
y
handle case o
f
m
u
l
tiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolae
g
e
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verd
o
olaege
doc: update
o
ptions
and some function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: document vo
l
ume computation
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdo
o
lae
g
e
doc: m
o
re reports explainin
g
parts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
S
v
en V
e
rdoolaege
b
e
rnst
e
i
n
: bump
version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolae
g
e
doc
:
transformation of
parame
t
er domain to
h
ave rev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
Ve
r
doolae
g
e
barvinok
.
cc: bar
v
inok
_
c
ount
_
f: avoid
wa
r
ning on re
c
u
r
s
ive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
util
.
c
: unimod
u
lar_co
m
p
l
e
t
e: hand
l
e com
p
l
eti
o
n of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rd
o
olaege
barvi
n
ok_enumerate
.
cc: handle
a
ll lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoolaege
barvin
o
k_en
u
mer
a
t
e
.
cc: seri
e
s:
plug me
m
ory leak
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verd
o
ol
a
ege
doc: document left_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
lae
g
e
d
oc: r
e
mov
e
refere
n
ce to old barvinok_series
a
pplication
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdo
o
laege
doc: u
p
date evalue_b
e
r
n
stein_
c
oeffic
i
ents
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok/option
s
.
h: put sta
t
s first in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaege
barvin
o
k_maximi
z
e: read_evalue
:
suppo
r
t relations
commit
|
commitdiff
|
tree
2007-04-25
S
ve
n
V
erdoolaege
b
e
r
ns
t
ein
.
cc:
evalue_bernstein_coefficient
s
: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
V
erdoolaege
barvinok_maximize: evalue_read: allo
w
ide
n
ti
f
i
ers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Ver
d
o
ol
a
ege
barvinok_maximiz
e
: m
o
ve -
-
(be
r
nstein-)recurse opt
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n Ve
r
do
o
laege
l
i
b/argp: fi
x
logi
c
in hol_
c
lust
e
r_c
m
p
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bar
v
i
n
ok
_
maximize: allow specification
of the var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvi
n
ok_maximize: barf on unexpected first token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
:
m
ore documents refering to
the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doo
l
aege
evalue_c
o
n
ve
r
t
.
cc: evalue_coset: support relatio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
ev
a
lue
.
c
: print_evalue: al
w
a
ys
p
rint newline at
t
h
e
end
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
d
oc: multi
v
a
riat
e
quasi-p
o
lynomials as
lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
ev
a
l
ue_
c
onvert
.
cc: include "con
f
ig
.
h"
to pick up USE_F
D
STREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaeg
e
doc: i
n
dex ad
d
itio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
doc: triangulation
in primal space + s
o
me typo fixe
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c: document i
n
n
e
r_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc: refer
to
Koeppe article for simpler m
o
tivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Ve
r
d
oolaege
do
c
: more publ
i
cat
i
ons (implicit
l
y)
r
eferin
g
to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoo
l
aege
con
f
igu
r
e
.
in: a
d
d $(EXEEXT) to
optional pro
g
rams
for
.
.
.
commit
|
commitdiff
|
tree
next