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_read: accept constant multiple of variable without explicit '*'
2007-06-27
Sven
V
e
rdoolaege
e
va
l
ue_
r
e
ad: accept cons
t
an
t
multi
p
le
o
f variable
w
ithout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ver
d
oolaege
e
v
alue
.
c
:
evalu
e
_sum:
better han
d
li
n
g of negative va
l
u
e
s
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolae
g
e
evalue
.
c:
reorde
r
_terms: fix ty
p
o
commit
|
commitdiff
|
tree
2007-06-14
Sven
Ve
r
d
o
olae
g
e
evalue: declare
first argumen
t
o
f e
m
ul
const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verd
o
olaege
evalue
.
c: emul: don't use
explicit_compl
e
ment on
a
rguments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
a
dd a test
for e
v
alue_
s
p
lit_periods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos@elis
.
.
.
find_fr
a
ctio
n
al_w
i
t
h_max_periods:
initi
a
lize l
o
cal
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
ven V
e
rdoolaeg
e
e
val
u
e
.
c
: e
v
alu
e
_s
p
lit_periods:
m
ak
e
sure selec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Ve
r
doolaege
ev
a
lue
.
c
:
polynomia
l
_proje
c
tion:
u
se evalue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doolaege
add a te
s
t
for barvi
n
ok_
m
axim
i
ze and
barvin
o
k_summ
a
te
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
o
l
a
ege
barvin
o
k_summate:
s
upport verifi
c
ation of
r
e
s
ults
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
ool
a
ege
evalue
.
c: evalue_sum: split
into orthant
s
+ some re
f
act
o
ring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaeg
e
barvinok_unio
n
: use a
r
g
p
for argument
p
arsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Ve
r
doolaege
barvinok_e
n
u
me
r
ate_union_se
r
ies_with_o
p
tions: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduction_cd
d
.
cc: g
e
t corr
e
ct d
u
al solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaeg
e
basi
s
_redu
c
tion_glp
k
.
c
:
correctly set type of
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
Verdoolaeg
e
ba
s
is_re
d
uction_glpk
.
c
:
c
h
ec
k
f
or sanity of s
o
lution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
o
ptions: mention defau
l
t
a
nd available solvers
f
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdoolaege
polyhe
d
ron
_
sample: t
a
ke op
t
io
n
s
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
d
oc: more
about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
Ve
r
doolaege
doc: typ
o
commit
|
commitdiff
|
tree
2007-05-30
Sven Ve
r
doolaege
d
o
c: repeat Matthias' stopped B
a
rvino
k
exper
i
m
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
V
erdoolaege
add barvinok_su
m
mate to sum a quasi-
p
olynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
Ve
r
do
o
l
a
ege
evalue_r
e
a
d: fix
for top
-
le
v
el fractio
n
al part
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Ve
r
do
o
laege
bernoulli
.
c: Bernoulli
_
s
um_ev
a
l
ue: redu
c
e
r
esulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
en
Verdoolaege
berno
u
ll
i
.
c: perform neste
d
sums approxim
a
tion depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
add polyno
m
ial approximation based on nested sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolae
g
e
util
.
c: e
x
tract for_each_lower_u
p
pe
r
_bound from ParamLine_Le
n
gth
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
d
e
composer: use NT
L
to inve
r
t matrix rath
e
r than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
lat
t
ice_
p
oint
.
cc: allow rays a
n
d ver
t
ex
t
o have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
c
o
unter: optimize summing over p
o
i
nts in fu
n
d
apiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
o
la
e
ge
lat
t
ice_point
.
cc: avoid conver
s
ion bet
w
ee
n
NTL
and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
conversion
.
cc: re
m
ov
e
rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolae
g
e
evalue
.
c: evalue_p
o
lynomial ext
r
acted
from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
evalue
.
c:
a
dd evalue_
n
egate
commit
|
commitdiff
|
tree
2007-05-13
S
ven
V
er
d
oolaege
doc
:
a note on
th
e
conne
c
tion betwe
e
n Todd polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
doc: points
in fu
n
dapiped:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verd
o
o
laeg
e
bar
v
inok
.
cc: simplify dpoly_n constru
c
to
r
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdo
o
laege
Remo
v
e
"
normal
i
zation"
o
r powers
i
n
denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoolaege
decomposer
.
cc: pass options to triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
olaege
barv
i
nok_count: o
p
tion
a
lly
u
s
e exponential
s
ubstitut
i
on
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoo
l
aege
count
e
r
.
c
c: e
x
t
r
acte
d
from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
e
rd
o
olaeg
e
dpoly::div:
a
v
o
id comp
u
tation with rati
o
n
al numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoo
l
aege
dpoly:
use Va
l
ue i
n
stead
o
f ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoolaege
doc:
fix
typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
a
dd test fo
r
lattice
p
oint c
o
mputation
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verdoolaege
evalue_read
.
c:
add e
v
al
u
e_r
e
ad_from_str for
r
e
a
ding
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
olaege
evalue_rea
d
_from
_
file: don't modify
v
a
r
_list
argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
evalue_read: read more general evalu
e
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
ola
e
ge
e
v
alue_
c
onvert
.
cc: add
mis
s
ing include
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
c
onversion
.
h: generalize ray
s
2mat
r
ix2 t
o
zz2ma
t
rix
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oo
l
aege
lattice_p
o
i
n
t
.
h
:
m
ake self-cont
a
in
e
d
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdo
o
laege
evalue
_
re
a
d: extract from maxi
m
ize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdo
o
laege
enumerator: supp
o
rt prim
a
l
(
ha
l
f-o
p
en) dec
o
mpositions
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ver
d
oola
e
ge
enumerator: handle (dual) stopped Barvinok
decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lat
t
ice
_
point
.
cc: remove unus
e
d PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
l
a
ttice
_
point
.
cc: extr
a
c
t coset generati
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ver
d
oolaege
la
t
tic
e
_point
.
cc: rename ce
i
l_mod to frac
t
ional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
latti
c
e_point
.
cc: u
s
e
som
e
help
e
r functions
to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lat
t
ice_point
.
c
c: implement lookup-
t
a
ble versio
n
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdo
o
laege
mo
v
e m
o
re lattic
e
p
o
in
t
c
omputat
i
o
n
s to l
a
ttice
_
point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
barvinok
.
cc:
l
att
i
c
e
_p
o
i
n
t: remove a s
p
ecial case
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
erdool
a
ege
doc: integer points in fundamental parallelepiped
:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
util
.
c
:
export Matrix
_
Tra
n
sposi
t
io
n
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolae
g
e
util
.
c: expo
r
t
V
ecto
r
_Oppose
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ver
d
oolaege
scale
.
c:
m
o
ve Param_Ve
r
tex_
C
o
mmon_Denominator to
p
ar
a
m
_
u
t
i
l
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ve
r
d
o
ol
a
ege
evalue
.
c: add
e
valu
e
_add
_
constant
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolae
g
e
ev
a
lue
.
c: affine2e
v
alu
e
: skip zero
c
oefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: emu
l
_poly: effici
e
ntly ha
n
dle case of multiplicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verd
o
olaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
doc:
update options
a
n
d
some func
t
io
n
commit
|
commitdiff
|
tree
2007-04-28
S
v
en
V
erdoolaege
doc
:
d
ocument volum
e
computat
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
o
c: mor
e
reports explaining parts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Ve
r
doolaege
b
e
rn
s
tein
:
bump vers
i
on
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdo
o
l
a
e
ge
doc
:
transformation of param
e
ter dom
a
in to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Ve
r
doo
l
a
e
g
e
barvinok
.
c
c: barvi
n
ok_coun
t
_f: avoid war
n
i
ng on recu
r
siv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laeg
e
ut
i
l
.
c: unimod
u
lar_complete: handle completion of mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
r
d
oolaege
barvinok_enumerate
.
cc: handle all li
n
es in --se
r
ies
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rdoo
l
a
e
ge
b
a
r
vinok_enumerate
.
cc: series: p
l
ug memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
doc: documen
t
left
_
i
n
verse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
d
oc: re
m
ove refere
n
ce to old barv
i
nok
_
serie
s
applicat
i
on
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
a
e
g
e
d
o
c:
update
evalue_bern
s
t
ein_coeffi
c
ien
t
s
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
V
e
rdo
o
laege
barvinok/options
.
h: p
u
t
stats first in barvinok
_
o
ptions
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n V
e
rdoola
e
ge
barvinok_maximize:
read
_
evalue: support relations
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n
Verdoolaege
bernstein
.
cc:
evalue_bernstein_coefficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
b
arv
i
nok_maximize: evalue_
r
ead: allow iden
t
i
f
iers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
barvinok_max
i
mize: move --
(
b
e
rnstein-)
r
e
curse
o
pt
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
ge
li
b
/argp: fix log
i
c
in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
V
e
rdool
a
ege
barvinok_maximize:
a
l
low specif
i
ca
t
ion o
f
the
v
ariab
l
es
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maxim
i
z
e
: barf on
unexpected
f
irst token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
m
ore documents
r
eferin
g
to t
h
e library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
e
valu
e
_con
v
ert
.
cc: eval
u
e_co
s
et: support relations
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
evalu
e
.
c: print_evalue
:
always pr
i
nt n
e
wline
a
t the end
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verd
o
olaege
d
o
c: mu
l
t
ivariate quasi-polynomials as
l
ists of pol
y
nomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
e
v
alue_convert
.
cc: include
"
c
o
nf
i
g
.
h" to p
i
ck up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
doc: index ad
d
itions
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n Verdool
a
ege
doc: triangulat
i
on in primal space + some typo fixe
s
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
doc: document
i
nner_po
i
nt
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
ref
e
r to Koepp
e
art
i
cle for simpler motiv
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
ve
n
Verdoolaege
d
o
c
: m
o
re p
u
b
l
ications (implicitly) refering to the
.
.
.
commit
|
commitdiff
|
tree
next