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
polytope_scan: use argp for argument parsing
2007-07-11
S
ven Verdoolaege
polytope_scan
:
use argp for a
r
gument
par
s
i
n
g
commit
|
commitdiff
|
tree
2007-07-05
Sv
e
n Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2007-07-04
Sven Ve
r
doolaege
configure
.
i
n
:
allow speci
f
i
c
atio
n
of defaul
t
prefix
.
.
.
commit
|
commitdiff
|
tree
2007-07-03
Sven Verdoo
l
a
e
ge
c
ons
o
lidate
c
a
l
ls to Po
l
yh
e
dron2P
a
ra
m
_Domain
commit
|
commitdiff
|
tree
2007-07-03
Sve
n
Verdoolaege
vol
u
me
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2007-07-01
S
ven Verdoo
l
a
ege
Makefile
.
am:
add $(EXEEXT) for cy
g
win
commit
|
commitdiff
|
tree
2007-07-01
Sv
e
n Verdoolaege
Make
f
i
le
.
a
m
:
f
or
c
e rebuild
libra
r
ie
s
in subdirs
if
.
.
.
commit
|
commitdiff
|
tree
2007-07-01
S
v
e
n
Verdoolaege
only test barvin
o
k_maximize
i
f it has been/can be c
r
eate
d
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
g
e
bar
v
i
nok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
testlib
.
cc: work around incom
p
lete name
s
pac
e
s
u
p
p
or
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoo
l
aege
scale
.
c: enume
r
ate_narr
o
w_
f
lated: don't s
i
mplify c
o
nstra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
V
erdool
a
ege
d
e
clare variables at
st
a
rt of code block
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
erdoolaege
d
o
c: update documen
t
atio
n
of options and so
m
e
functions
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdool
a
e
g
e
Polyhedron_
S
ample: f
a
ctor polyhe
d
ron if possi
b
l
e
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
Polyhedron_
S
a
mple: compute vertices of 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Poly
h
edron_Sampl
e
: remove all
e
qualitie
s
from
poly
h
e
d
ron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoo
l
aege
add possib
i
lity to use G
L
PK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sa
m
ple: postpone removal
of rays unt
i
l we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
Verdo
o
laege
Poly
h
e
d
ron_Sample: us
e
lp
s
olver
for findi
n
g range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n V
e
rdoolaege
lexmin: move choi
c
e of lp
s
o
lver
t
o
us
e
o
utsi
d
e basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
d
o
olae
g
e
p
olysign
.
h
:
u
se corre
c
t name of
PL
_
poly
h
edron_affine_s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
barvinok_enumerate: plug memory leak in Bernou
l
li approximati
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
barvinok_enumerate_e
_
r: don
'
t as
s
u
m
e AddCon
s
traints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
e
v
alue_frac2p
o
l
ynomial: reche
c
k eva
l
ue afte
r
eval
u
e_split_d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
ut
i
l
.
c: Line_
L
e
n
gth: don't
g
et
c
onf
u
sed by positivi
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Makefile
.
a
m
: stop after
first fail
e
d
t
est
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
o
o
laege
b
ernstein:
car
r
y through vari
a
ble renaming to debuggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
oolaege
bernstein: don
'
t assume input polynomial has
b
een expanded
commit
|
commitdiff
|
tree
2007-06-27
Sv
e
n
Verdoolaege
evalu
e
_read
.
c
:
correct constness of
name in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n Verdoolaege
evalue
_
read: accept constant multip
l
e
of variable
witho
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sve
n
Ver
d
ool
a
ege
eva
l
u
e
.
c: evalue_sum:
b
etter handling of
neg
a
tive
values
commit
|
commitdiff
|
tree
2007-06-15
S
v
en Verdoolaege
evalue
.
c
: reo
r
d
e
r_t
e
r
m
s:
fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sv
e
n Ve
r
doolaege
eva
l
ue:
de
c
lare first argument
o
f
e
mul const
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erd
o
olaege
evalue
.
c: emul: d
o
n
'
t
u
s
e e
x
p
lici
t
_complemen
t
on arguments
commit
|
commitdiff
|
tree
2007-06-14
Sve
n
Verdoolaege
add a test for
evalue
_
split_perio
d
s
commit
|
commitdiff
|
tree
2007-06-12
Sven
Verdoolaege
evalue
.
c: e
v
alue
_
s
p
lit_period
s
: make su
r
e sele
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
e
v
alue
.
c: polynomial_
p
roje
c
tion: use evalue_extract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdo
o
laege
add a tes
t
for bar
v
i
nok_maximize
a
n
d
barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
S
ven
V
erdoolaege
barvinok_s
u
mmate: support verification of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oolaege
evalue
.
c:
evalue_s
u
m: split into orthants + som
e
refa
c
tori
n
g
commit
|
commitdiff
|
tree
2007-06-10
Sve
n
V
e
rdoolaege
bar
v
inok_union: use ar
g
p
f
or
a
r
gument parsin
g
commit
|
commitdiff
|
tree
2007-06-09
Sve
n
Verdoolaege
barvinok_enum
e
rate_union_series_wit
h
_options: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolae
g
e
ba
s
is_reduction_cdd
.
cc: get correct dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoola
e
ge
basis
_
reduction_glpk
.
c: correct
l
y set type o
f
rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Verdoolaege
basis_re
d
uction_glpk
.
c: check
f
o
r
sanity of solution
commit
|
commitdiff
|
tree
2007-06-06
S
ven Verdoola
e
ge
options: m
e
ntion
d
efault and av
a
ilable solv
e
rs for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Verdoolaege
p
ol
y
hedron_sample
:
take options
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoolaege
d
o
c: more about
po
w
e
r
sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdo
o
l
aege
doc: ty
p
o
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdool
a
ege
doc: rep
e
at
Matthias' stoppe
d
B
arvinok experi
m
ents
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sv
e
n Verdoolaege
add
barvin
o
k_
s
ummate to s
u
m a quasi-polynomial ove
r
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
evalue_read: fix
f
or top-lev
e
l
fract
i
on
a
l pa
r
t
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n Verdo
o
laege
bernoulli
.
c: Bernoulli_sum_e
v
a
l
ue
:
reduce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
ven Verdoolaeg
e
b
e
r
noulli
.
c: perform nested sums approximatio
n
dep
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
do
o
la
e
ge
add polynomial approximation based
o
n
neste
d
sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
util
.
c: extract for_each_low
e
r_upper_bound from ParamLine_
L
engt
h
commit
|
commitdiff
|
tree
2007-05-13
Sven
Ver
d
ool
a
ege
decomposer:
u
se NTL to invert matrix rather th
a
n convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_point
.
cc:
a
l
low r
a
ys and vertex to
h
av
e
been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
o
l
ae
g
e
counter: optimize
s
umming over points in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
lattice
_
po
i
nt
.
cc:
a
v
oid convers
i
on between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolae
g
e
co
n
v
e
r
s
ion
.
cc:
r
emove rays2m
a
tri
x
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
e
value
.
c: evalue_polynomial ex
t
racted from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolae
g
e
evalue
.
c: add e
v
alu
e
_n
e
gate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
doc: a note
o
n the c
o
nnec
t
io
n
between Todd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdo
o
laege
doc: po
i
nts in fundapi
p
e
d:
fix
typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Ve
r
dool
a
e
ge
b
arvinok
.
c
c
: si
m
plify dpoly_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoola
e
ge
Remove
"
n
o
rm
a
lizatio
n
" or powers in denom
i
nator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sve
n
Verdoo
l
aege
decomposer
.
cc: pass options to triangulate_c
o
ne
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolaege
barvinok_
c
ount
:
optionally use e
x
pone
n
tial sub
s
titution
commit
|
commitdiff
|
tree
2007-05-08
Sven V
e
rdoolaege
counter
.
cc: extracted fr
o
m barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly:
:
d
iv: avoid computati
o
n with rat
i
o
nal numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dp
o
ly: use Value instead o
f
Z
Z
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoola
e
ge
doc:
fix
t
ypo
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
add test for lattice point com
p
utation
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n V
e
rdool
a
e
g
e
evalue
_
rea
d
.
c
: add eva
l
ue
_
r
e
ad
_
fr
o
m_str
for
reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
ev
a
l
ue
_
read_from
_
file: d
o
n't modify var_
l
i
s
t argum
e
nt
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
e
v
a
l
ue_re
a
d: read m
o
re g
e
ne
r
a
l evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdool
a
ege
evalue_conve
r
t
.
cc
:
add missing include
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoo
l
aege
c
o
nversion
.
h: generalize rays2mat
r
ix2 to zz2mat
r
ix
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ver
d
oolaege
lattic
e
_poin
t
.
h
: make self-cont
a
ined
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoola
e
ge
eva
l
ue_read
:
extract from maximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaeg
e
e
numerato
r
: support primal (
h
alf-open
)
d
ecompositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
enumerator:
handle (dua
l
) st
o
p
p
ed Barvinok
decompositi
o
n
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Verdool
a
ege
lattice_po
i
nt
.
cc: remove
unused PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lat
t
ice
_
poin
t
.
cc: extract cose
t
g
e
neration
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
do
o
l
aege
lattice_p
o
i
n
t
.
cc: r
e
n
ame ceil_mod to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lat
t
ice_p
o
int
.
cc: use some he
l
p
e
r funct
i
o
n
s to
simpli
f
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
e
ge
lattice_poin
t
.
c
c
:
implement look
u
p-table version
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
mov
e
more lattice
point compu
t
ation
s
to latti
c
e_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
barvinok
.
cc:
lattice_point: remove
a special case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
do
c
: integer points in fundamental parallele
p
iped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ol
a
e
g
e
util
.
c: export Matrix_Trans
p
osition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
u
t
il
.
c
: export Vector
_
Oppos
e
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
er
d
oolaege
scale
.
c: move Param_Vertex_Common_Denominator to
p
a
ram_u
t
il
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
dool
a
ege
evalue
.
c:
a
dd evalue_add
_
constant
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Ve
r
doolaege
evalue
.
c: affine2ev
a
lue: skip zero coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
lue
.
c: emul_poly: e
f
fic
i
ently
handle case
of mult
i
plicat
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
doc: upda
t
e o
p
tions
and some function
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n Ver
d
o
o
lae
g
e
doc: document
volume co
m
pu
t
atio
n
commit
|
commitdiff
|
tree
next