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
Makefile.am: check-evalue: print name of each test file
2007-07-27
Sven Verdoolaege
e
x
p
ort Pa
r
am_Inner_P
r
o
d
uct
commit
|
commitdiff
|
tree
2007-07-25
Sven V
e
rdoolaege
barvinok_en
u
merat
e
.
cc:
add
mi
n
imal check on input
commit
|
commitdiff
|
tree
2007-07-19
Sven Verdool
a
ege
more pr
o
totype cha
n
ges
to con
s
t char *
commit
|
commitdiff
|
tree
2007-07-19
S
ven Verdoolaege
e
value: pri
n
t
_evalue: make
paramet
e
r names const char*s
commit
|
commitdiff
|
tree
2007-07-11
Sven
V
erd
o
olaege
Always compile polytope_sc
a
n
commit
|
commitdiff
|
tree
2007-07-11
Sven Verdo
o
l
a
eg
e
polytop
e
_scan: use argp for ar
g
ument pa
r
sing
commit
|
commitdiff
|
tree
2007-07-05
Sven
Ve
r
doolae
g
e
doc: fix
typo
commit
|
commitdiff
|
tree
2007-07-04
S
v
en Verdool
a
ege
con
f
igure
.
in: allow specifi
c
ation
o
f defau
l
t
p
re
f
ix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoolaege
consol
i
date calls to
P
o
lyhedron2
P
ara
m
_D
o
main
commit
|
commitdiff
|
tree
2007-07-03
S
v
en Verd
o
ola
e
ge
v
o
lu
m
e
.
c: fix typo
i
n c
o
mment
commit
|
commitdiff
|
tree
2007-07-01
S
ven Verdoolaege
Ma
k
efile
.
am: add
$(EXEEXT) for cygwin
commit
|
commitdiff
|
tree
2007-07-01
Sven
Verdoolaege
Makefile
.
am:
f
or
c
e rebuild libraries in subdirs i
f
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
Sven Verdoolaege
only test barvinok_max
i
mize
i
f
it has be
e
n/c
a
n b
e
created
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdo
o
lae
g
e
b
a
rvinok
0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
testlib
.
cc: work around
incomplete nam
e
s
pace suppor
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c
:
enumerate_narro
w
_flated: do
n
'
t simplify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaeg
e
declare
variables at s
t
art of c
o
de block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
doc: upda
t
e
d
ocumentati
o
n of op
t
ions
and some functions
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
Polyhedron_Sam
p
le:
f
a
ctor polyhe
d
ron i
f
possible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sam
p
le: compute
v
ertices of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdool
a
eg
e
Polyhedron_Sampl
e
: remove all equa
l
ities from polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolae
g
e
add possibilit
y
to u
s
e GLPK as LP
s
olver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
laege
Polyhed
r
on
_
Sample: post
p
one re
m
oval of rays u
n
t
i
l
w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron
_
Sample:
u
se l
p
sol
v
er for
f
inding range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaege
lexmin: move choice of l
p
solve
r
to u
s
e outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rd
o
o
l
aeg
e
p
olysign
.
h: use correc
t
name of PL_polyhedr
o
n_affine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n
Verdo
o
laege
barvinok_enumerate: p
l
ug memory
l
eak in Berno
u
lli approximatio
n
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ve
r
do
o
laege
barvinok_en
u
merate_e_r: don't assume AddConstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdoolaege
e
v
al
u
e_
f
ra
c
2pol
y
nomial: reche
c
k evalue
a
fter
evalue_split_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
u
til
.
c
:
Li
n
e_L
e
ngth: don't get confused by
p
ositivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
g
e
Mak
e
f
ile
.
am: stop after
first faile
d
t
e
st
commit
|
commitdiff
|
tree
2007-06-27
Sven Verd
o
olaege
be
r
nst
e
i
n
: carry th
r
ou
g
h variabl
e
renaming t
o
d
e
b
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoola
e
ge
bernstein: d
o
n't assum
e
in
p
ut polynomial has
b
een expanded
commit
|
commitdiff
|
tree
2007-06-27
Sve
n
Ve
r
doolaege
e
v
al
u
e
_
r
e
ad
.
c: cor
r
ect c
o
nstness of name in pa
r
ameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_re
a
d: accept
c
ons
t
ant multipl
e
of variab
l
e without
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Ve
r
doolaege
eval
u
e
.
c
:
evalue_s
u
m
: better
h
andl
i
ng of negative values
commit
|
commitdiff
|
tree
2007-06-15
S
ven Verdoola
e
g
e
evalue
.
c: reorder_terms: fix
t
yp
o
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
evalu
e
: declar
e
first arg
u
m
e
nt of
e
mul co
n
s
t
commit
|
commitdiff
|
tree
2007-06-14
Sven Verd
o
olaege
evalue
.
c: e
m
ul: don't
u
se explici
t
_
c
omp
l
ement
on arg
u
ments
commit
|
commitdiff
|
tree
2007-06-14
Sven Verd
o
olaege
add a test
for ev
a
lue_split_period
s
commit
|
commitdiff
|
tree
2007-06-12
S
ven Verdoolaege
evalue
.
c: evalue
_
split_periods: make sure se
l
ected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: pol
y
n
omial_project
i
on: use
ev
a
lue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
add a test for barv
i
nok_maximize
and bar
v
in
o
k_summat
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdool
a
ege
b
a
r
vin
o
k_summate:
support ve
r
ification of results
commit
|
commitdiff
|
tree
2007-06-10
S
ven Ve
r
doolaege
eva
l
ue
.
c:
evalue_su
m
:
split i
n
t
o orthants + s
o
me re
f
actoring
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdo
o
la
e
g
e
ba
r
vinok_union: use argp fo
r
argu
m
ent par
s
ing
commit
|
commitdiff
|
tree
2007-06-09
Sven V
e
r
doolaege
ba
r
vi
n
ok_enumerate_union_series_with_op
t
ion
s
: f
i
x typo
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Verd
o
olaege
bas
i
s
_redu
c
tion_c
d
d
.
cc: get
c
orrect dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoola
e
g
e
basis_re
d
uction_gl
p
k
.
c: co
r
rectl
y
set type
o
f rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
bas
i
s_reduc
t
i
o
n_glpk
.
c: che
c
k for sani
t
y of solution
commit
|
commitdiff
|
tree
2007-06-06
Sven V
e
rdoolaege
options: mention default
a
n
d a
v
ailable solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
polyhedr
o
n
_sa
m
ple: take
o
pti
o
ns
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdo
o
l
a
ege
d
o
c:
m
ore ab
o
ut power
sums
commit
|
commitdiff
|
tree
2007-06-04
Sve
n
Verdool
a
eg
e
doc: t
y
po
commit
|
commitdiff
|
tree
2007-05-30
Sven
V
erd
o
olae
g
e
doc: repeat Matth
i
as' stopped Ba
r
vinok e
x
pe
r
iments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sv
e
n
Verd
o
olaege
add barvinok_summate to sum a quasi-po
l
ynomial
o
v
er
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolae
g
e
evalu
e
_read: fi
x
for top-level fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: Bernoulli_sum
_
ev
a
lu
e
: redu
c
e result
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bern
o
ulli
.
c:
perform nested sums approximation dept
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oo
l
aege
a
dd polynomial ap
p
rox
i
mat
i
on based on
n
ested
s
u
ms
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
util
.
c: extract f
o
r_each_lower_upp
e
r_bou
n
d from ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
o
o
l
aege
decom
p
os
e
r:
u
se NTL to invert matrix r
a
t
her than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Ve
r
doolaege
l
attice_point
.
c
c
: allow rays and vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
counter: optimize summing over
p
oints
i
n
fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ve
r
doolaege
l
a
ttice_point
.
cc:
a
void
c
onversion between
N
TL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoola
e
ge
conversi
o
n
.
cc: remov
e
r
a
ys2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
o
lae
g
e
evalue
.
c:
evalue
_
polyno
m
ia
l
extracted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
evalue
.
c
:
ad
d
evalue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdo
o
l
aege
doc: a note on the
conne
c
tion betwe
e
n Todd poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
doc:
p
oi
n
t
s in funda
p
i
p
e
d
: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
barvinok
.
cc: simplify dpoly_n
constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven V
e
rdo
o
l
ae
g
e
Remove
"
normalization" or power
s
in d
e
nomina
t
or on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sve
n
V
e
rdoo
l
a
ege
d
e
composer
.
cc: pass options to trian
g
ulate_cone
commit
|
commitdiff
|
tree
2007-05-08
S
ven
V
erdoola
e
ge
barvinok_count: o
p
tionally use e
x
ponential substitution
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaeg
e
counte
r
.
c
c
:
extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dp
o
ly::div: avoid computatio
n
with rational numbe
r
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Ve
r
doolaege
dp
o
l
y
: u
s
e Value
i
n
s
tead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n
V
e
rd
o
olaege
doc
:
fix typ
o
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
add test for lattice poin
t
comp
u
t
a
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_read
.
c: ad
d
eval
u
e_re
a
d_from_str for re
a
ding
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_read_f
r
om_file: d
o
n't m
o
d
i
fy var_lis
t
argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_read: rea
d
more gener
a
l
e
values
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
o
laege
evalue_c
o
nv
e
rt
.
cc
:
add missing
include
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
conversion
.
h: generalize r
a
ys2matri
x
2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Verdoolaege
lattice_po
i
nt
.
h
:
make self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verd
o
olae
g
e
evalue_read
:
e
xtract from m
a
xi
m
ize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
enumerator: support pr
i
m
a
l (hal
f
-open) decompositions
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoo
l
a
e
ge
enumerator: handle (dual) stoppe
d
Barvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n V
e
rdool
a
ege
latt
i
ce_point
.
cc
:
r
emove unused PD
a
r
g
u
m
ent
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
lat
t
ice_point
.
cc: e
x
tract
coset ge
n
eration
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_po
i
nt
.
cc: rename
c
eil_mo
d
to fractio
n
al
_
part
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdool
a
ege
l
attice_p
o
int
.
cc
:
use some helpe
r
functio
n
s to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
lattice_point
.
cc: implement lookup-table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ver
d
oolae
g
e
move
more
lattice point compu
t
ations to lattice_p
o
int
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdo
o
laege
barvino
k
.
cc: lattice_poin
t
:
r
e
move a special case
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdool
a
e
ge
doc:
i
ntege
r
po
i
nts in
f
undamental parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolae
g
e
util
.
c
:
expo
r
t
M
at
r
ix_T
r
an
s
pos
i
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
u
t
il
.
c: export
V
ector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaeg
e
scale
.
c: move Param_V
e
rtex
_
Common_Denominator to
param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eva
l
ue
.
c: a
d
d
evalue_add_constant
commit
|
commitdiff
|
tree
next