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 Verdoolaege
eva
l
ue_read:
a
ccep
t
constant mu
l
ti
p
le
o
f variabl
e
without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoolaege
evalue
.
c: evalue_sum: better ha
n
dli
n
g
o
f negativ
e
v
alues
commit
|
commitdiff
|
tree
2007-06-15
Sven Verdoolaege
e
va
l
u
e
.
c
:
reorder_terms: fix
ty
p
o
commit
|
commitdiff
|
tree
2007-06-14
Sven Ver
d
oolaege
e
v
alue: decla
r
e first
a
rgument o
f
emu
l
const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalue
.
c: emul
:
don't
u
se explicit_co
m
plemen
t
on arguments
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Verd
o
olaege
add
a test
for
e
val
u
e_split_periods
commit
|
commitdiff
|
tree
2007-06-12
Sven
V
e
r
doolaege
evalue
.
c
: e
v
alue_sp
l
it_periods:
ma
k
e sure sele
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven V
e
r
d
oolae
g
e
evalue
.
c: polynom
i
a
l
_
p
r
oject
i
on: use evalue_
e
xtract_
a
ffine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
add
a test
fo
r
barvinok_maximize and
barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
Ver
d
oo
l
ae
g
e
b
a
rvinok_summate
:
s
uppor
t
verification
of resu
l
ts
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
ool
a
ege
evalu
e
.
c: evalue_
s
um
:
split in
t
o
o
r
t
h
ants + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvinok_union: use argp for argument
p
ars
i
ng
commit
|
commitdiff
|
tree
2007-06-09
S
ven
Verdoo
l
a
ege
ba
r
v
inok_enumerate_union_
s
er
i
es_with
_
options: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven
V
er
d
o
o
laege
basis_reduction_cdd
.
cc: ge
t
c
orrect
d
u
al solution i
n
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sv
e
n
V
erdoolaege
basis_
r
eduction
_
glpk
.
c: correctly set
type of
r
o
w
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Ve
r
doolaege
basi
s
_
reduction_glpk
.
c: check for s
a
nity of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
options: mention
d
e
fault and available solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Ve
r
do
o
laege
p
olyhedron_sample:
t
ake options
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoolaege
doc: more abo
u
t p
o
w
er
sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoolaeg
e
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
S
ven V
e
rdoolaege
doc:
r
epeat
M
atthias' stopped
B
arvinok expe
r
iments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Ver
d
o
olaege
add
b
arvinok_summa
t
e to s
u
m
a quasi
-
polynomia
l
ov
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sve
n
Verdool
a
ege
evalue_re
a
d: fix fo
r
top-level frac
t
i
on
a
l part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: Berno
u
lli_sum_evalue:
r
educe resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
ven
V
erdoolaeg
e
bernoulli
.
c
:
pe
r
form
ne
s
ted sums a
p
pr
o
ximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en V
e
rdoolaege
a
d
d
polynomial ap
p
roximation
b
ased on nested su
m
s
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
d
o
o
l
aege
util
.
c
:
extra
c
t for_each_lower_u
p
per_bound from Para
m
Line_
L
e
ngth
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
dec
o
m
poser: use N
T
L to invert matrix
rath
e
r t
h
an convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
latt
i
ce_point
.
cc: allow rays and vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
r
d
ool
a
ege
counter: optim
i
ze summing over
points in
f
und
a
piped
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdool
a
ege
latt
i
ce_point
.
cc:
avo
i
d conversion between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
Verdoolaege
conver
s
ion
.
cc: r
e
move ra
y
s2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaeg
e
e
valu
e
.
c: evalue_polynomia
l
extract
e
d from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
ola
e
g
e
evalue
.
c:
add eva
l
ue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
doc: a note
o
n the conne
c
tion be
t
ween Todd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Ve
r
doolaege
doc:
p
oint
s
in fund
a
piped
:
fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sv
e
n Verdoolaege
b
arvinok
.
cc: simpli
f
y dpoly
_
n constructor
commit
|
commitdiff
|
tree
2007-05-10
S
v
en Verdoolaege
Remov
e
"
norm
a
l
ization" or pow
e
rs in denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
v
en Verdool
a
ege
deco
m
poser
.
c
c
: pass options to triang
u
late_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
barvin
o
k_count: op
t
i
o
nally us
e
e
xpo
n
enti
a
l substit
u
tion
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
count
e
r
.
cc: ext
r
acted from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
dpoly::div: avoid
computation
w
ith rat
i
onal
n
umbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
e
rdoo
l
aege
dpoly:
u
se Value inste
a
d of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
add
test f
o
r la
t
tice point com
p
u
t
a
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdool
a
e
ge
evalue_r
e
ad
.
c: add
ev
a
lue_read_from
_
str for
reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
evalu
e
_read_from_file: don't modify
v
ar_list
a
rgument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eva
l
u
e_r
e
a
d
: read more gene
r
a
l
e
v
alues
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
e
r
doolaege
e
valu
e
_conv
e
rt
.
cc: add m
i
ssing include
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
conversion
.
h: generalize ray
s
2
matrix2 t
o
z
z
2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laeg
e
lat
t
ic
e
_
p
oint
.
h:
make se
l
f-co
n
tained
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
ev
a
l
u
e
_read: extract fro
m
maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
enumer
a
tor: sup
p
ort prim
a
l
(
hal
f
-open) dec
o
mpositions
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoolaege
enumerator: han
d
l
e
(dual) stopped B
a
rvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
latt
i
ce_point
.
cc
:
remove
unused PD argume
n
t
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ver
d
oolaege
lattice_point
.
c
c
:
extract coset generation
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
lattic
e
_point
.
cc: r
e
n
ame
ceil
_
mo
d
to f
r
a
c
tional_
p
art
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
latt
i
ce_point
.
cc: use some h
e
lper functions to sim
p
lify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolae
g
e
lattice_point
.
cc: im
p
l
e
ment lookup-table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdo
o
l
aege
m
o
ve
m
ore lattice point comp
u
t
ati
o
ns to lat
t
ice
_
point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
g
e
barvino
k
.
c
c
: latt
i
ce_po
i
n
t
: remove a special case
commit
|
commitdiff
|
tree
2007-05-02
S
ven
V
e
r
d
o
olaege
d
o
c: in
t
eger point
s
i
n
f
undamental parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
ut
i
l
.
c: export Mat
r
ix_Tran
s
posit
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c: export Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdo
o
l
a
ege
scale
.
c
:
mov
e
P
aram
_
Vertex_Common_Denominator
to param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolae
g
e
evalue
.
c:
a
dd ev
a
lue_
a
dd_const
a
nt
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
ev
a
l
ue
.
c: af
f
ine2evalue:
skip zero co
e
fficients
commit
|
commitdiff
|
tree
2007-05-02
S
v
en V
e
rdoolaege
evalue
.
c:
e
m
u
l_poly: efficiently handl
e
case of mu
l
tiplicat
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaeg
e
bump ve
r
s
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoola
e
ge
doc: update options and some f
u
nction
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolae
g
e
doc
:
document volume com
p
utation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolae
g
e
doc
:
more
r
e
p
o
rts expla
i
ning
p
arts of barv
i
nok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bernstein: bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: tr
a
ns
f
orma
t
io
n
of parameter domain to have
r
evlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdo
o
l
aege
barvinok
.
cc
:
bar
v
i
nok
_
c
o
unt_f: avoid warning on recu
r
sive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolaege
util
.
c:
u
nimodula
r
_
complete: handle compl
e
t
ion o
f
more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaege
ba
r
vinok_enumerate
.
cc: handle all
l
ines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok_enu
m
erate
.
c
c
:
s
eries: plug m
e
mory leak
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaege
doc: d
o
cument left
_
inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: remove reference to old barvi
n
o
k
_se
r
ies app
l
ica
t
ion
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: update evalu
e
_ber
n
stein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok/
o
ption
s
.
h: put s
t
a
t
s fir
s
t in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verd
o
o
laeg
e
barvino
k
_maxim
i
ze: rea
d
_eval
u
e: support rela
t
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
r
d
o
olaege
berns
t
e
in
.
cc: evalue
_
bernstein_coeff
i
cients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaege
ba
r
vinok_maxim
i
ze
:
evalue
_
rea
d
: allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaeg
e
barvinok_maxi
m
ize
:
mov
e
--
(
bernstein-)recu
r
se option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
lib/argp:
f
ix l
o
gic in
hol_clu
s
ter_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize: allow
s
pecification of th
e
vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n V
e
rdool
a
ege
barvinok_maximi
z
e: barf
on unexpected first token
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoola
e
g
e
doc: mo
r
e d
o
cu
m
ents
r
eferi
n
g
to
t
he
library
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
eval
u
e_conver
t
.
cc:
e
value_c
o
set: supp
o
rt relations
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoola
e
ge
evalue
.
c:
print_
e
value: a
l
ways print newline at the e
n
d
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: multivariate quasi-polynomials as lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven
Ver
d
oolaege
evalue_convert
.
cc
:
include "config
.
h"
t
o pick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
i
ndex
a
d
d
itio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
d
o
c
:
t
riangu
l
a
t
ion
i
n prim
a
l sp
a
ce
+
some typo
fixe
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
doc: document inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc: refer to Koeppe article f
o
r simpler motiv
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c: more publ
i
cations (
i
mplic
i
tly) r
e
fering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
config
u
re
.
in:
add $(E
X
EEXT) to o
p
ti
o
nal programs f
o
r
.
.
.
commit
|
commitdiff
|
tree
next