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
barvinok_maximize: fix handling of UNIONs in domains.
2007-02-28
Sve
n
Verdoolaege
ba
r
vinok_maxim
i
ze
:
fi
x
han
d
l
in
g
of UNI
O
Ns in domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sve
n
Verdoolaege
ber
n
stein_coefficients: skip emp
t
y subdo
m
ains
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdool
a
ege
b
a
rvinok
_
maximize: fix detection o
f
end of d
o
main specification
commit
|
commitdiff
|
tree
2007-02-27
Sv
e
n
V
erdoolaege
barvinok
_
max
i
m
i
ze:
add inpu
t
conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven
V
erdoolaeg
e
ev
a
lue_co
n
ve
r
t
: e
x
tracted
f
rom barvinok_
e
numerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven V
e
rdoolaege
util
.
c
: move
P
ol
y
hedron_is_unbound
e
d from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Ve
r
doolaege
bern
s
tein_c
o
eff
i
cients:
s
k
ip infinite
(
sub)domain
s
commit
|
commitdiff
|
tree
2007-02-26
Sven Ve
r
do
o
laege
b
arvinok_maximi
z
e: let
u
se
r
specify variables
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein_coefficients: skip computations if
domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdoolaege
barvinok_
m
aximize:
f
ix access
to f
r
eed memory
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstei
n
/
p
iecewise
_
lst
.
cpp: add minimi
z
e()
m
e
t
hod
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
r
d
o
olaege
b
a
rvinok_ma
x
i
miz
e
: re
a
d domains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
S
v
en
V
e
r
d
oola
e
ge
u
s
e
GiNaC c
f
la
g
s an
d
libs
commit
|
commitdiff
|
tree
2007-02-23
Sven
Verdoolaege
barvinok_maximiz
e
: option
a
lly call evalu
e
_split_peri
o
d
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Ve
r
do
o
lae
g
e
e
v
al
u
e
.
c
: add evalu
e
_split_
p
e
r
iods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
laege
util
.
c:
value_lcm
:
mark arguments
const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c
: polynomial_projection: allo
w
NULL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
e
v
al
u
e
.
c: extract fi
d
d
l
i
ng with co
e
fficients out
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
S
v
e
n
V
erdoola
e
ge
ev
a
lu
e
_be
r
nstein_coefficient
s
: handle each cose
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
ba
r
vinok
_
maximize: read
e
v
alues wit
h
periodics
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n
V
e
r
doolae
g
e
evalue_bernstei
n
_coeff
i
c
ients
:
handle periodi
c
s in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
v
en
V
er
d
oolaege
bernste
i
n: bernsteinEx
p
an
s
ion: ac
c
ep
t
l
i
st of polynomial
s
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdo
o
laege
barvino
k
_
m
aximiz
e
:
make evalue
pa
r
se a
l
itt
l
e
bit
m
ore
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
ven Ver
d
oolaeg
e
barvinok_enumerate*: be less chatty by
d
e
f
au
l
t
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n V
e
rdoolaege
count/e
n
umerat
e
: war
n
if input is a union
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
Doma
i
nIncludes: detect more cases + ada
p
t docum
e
ntation
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoolaege
evalue_b
e
r
n
stei
n
_coeffici
e
nts: handle
f
ractionals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_ber
n
ste
i
n
_coeffi
c
ients: handle
f
looring
s
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven V
e
rdoolaege
barvinok_maximize: new
t
ool for maxi
m
izing
p
iecew
i
se
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
S
v
en V
e
rdoolae
g
e
evalue
.
c: evalue_frac2polynom
i
a
l
: i
m
prove
a
ccurac
y
commit
|
commitdiff
|
tree
2007-02-16
S
v
en V
e
rd
o
o
l
aege
evalue
.
c:
add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
a
ege
evalue
.
c: add function fo
r
checking ne
s
ting o
f
an
e
value
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoola
e
ge
eva
l
ue
.
c:
a
dd missing
te
r
ms reo
r
derings in evalue_range_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdool
a
eg
e
eval
u
e
.
c: make argum
e
nts of e
e
qual and evalue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
barvinok_enume
r
ate_e
:
add --verbose option
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
bernstein: mark argument
of
v
a
lue2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
aege
be
r
nst
e
i
n
.
cc: add (optional) options
a
rgum
e
nt to e
v
alue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolae
g
e
add
m
i
ss
i
ng vi
r
tual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Ver
d
oolaege
genfu
n
.
c
c: renam
e
s
t
ruct c
o
ne to avoid con
f
lict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
ol
a
e
g
e
do
c
:
inte
g
er points in the
fundamental parallele
p
iped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
v
e
ri
f
_ehrhart
.
c: cl
e
an up indentatio
n
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
verif_ehrhart:
o
ptional
l
y co
n
tinue o
n
e
rror
commit
|
commitdiff
|
tree
2007-02-14
Sven
Ver
d
oola
e
ge
verif_ehrhart:
combi
n
e c
h
eck_p
o
ly fr
o
m
b
arvinok_
e
numerate
_
e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
v
erif_ehrhart
.
c:
c
heck
lower and up
p
er polynomial approximations
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n
V
erdool
a
ege
verify
.
h:
mov
e
barvinok_o
p
tions into
verify_op
t
ions
commit
|
commitdiff
|
tree
2007-02-14
S
ve
n
V
e
rdoolaege
ba
r
vinok_enumer
a
te: pass
p
aram
e
ter names
t
o chec
k
_poly
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
barvino
k
_
en
u
merate: more
polynommia
l
approx
i
ma
t
i
o
ns
commit
|
commitdiff
|
tree
2007-02-14
S
v
en
V
erdoolae
g
e
ev
a
lue
.
c: add evalue_frac2polynomi
a
l
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
d
o
olaege
eval
u
e
.
c
:
extract evalue_split_d
o
mai
n
s_into_orthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
polysign
.
c
:
fix
c
d
d_
p
olyhedron_affin
e
_sign
p
rototype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n V
e
rdoolaege
Make
f
ile: onl
y
check le
x
min if it has bee
n
compiled
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
ad
d
Param_Poly
h
e
d
ro
n
_Scale_Integer p
r
ototy
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven
Ve
r
do
o
laege
la
t
tice_point
.
c
c: add sani
t
y check for
index
o
f
cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
t
est
:
init
i
alize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Ve
r
do
o
laege
barvinok
_
enu
m
erate: op
t
ionally compute a p
o
lyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Provi
d
e replacement for new Po
l
yLib funct
i
on Pa
r
am_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add eva
l
ue_d
i
v (adapte
d
f
rom PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
tes
t
: simp
l
e t
e
st for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
Makefile
.
am: add dependencies for
checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoo
l
a
eg
e
genfun
.
c
c: short_rat::norma
l
i
ze: micro-optimizati
o
ns
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdool
a
ege
QQ: canoni
c
alize on read and mul
t
ipl
i
c
a
tion
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoo
l
a
ege
doc:
b
arvinok_s
e
ries requires
p
olyhe
d
r
o
n to have
*
rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Makef
i
le
.
a
m: chec
k
barvin
o
k_enumer
a
te
-
-series d
u
ri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
t
e
st all s
p
eci
a
li
z
ation algorithms d
u
ring make check
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoolaege
p
ass opt
i
ons t
h
rough to barvinok_count in barvinok_enu
m
erate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
ven Verdoolaege
Handle non-unimodular cones in dual decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoolaege
barvi
n
ok
_
sta
t
s: rename
u
n
i
mod
u
lar_con
e
s t
o
base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Ve
r
dool
a
ege
reduce
r
.
cc: extra s
a
nity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
Han
d
le n
o
n-unim
o
dular cones with a specified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sv
e
n
Verdool
a
eg
e
decomposer
.
cc: decompo
s
e: min
o
r
clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdo
o
laege
barvinok_options: i
n
clude poin
t
er to barvi
n
o
k_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
doolaege
a
dd barvino
k
_
o
ptions_fre
e
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_
e
nume
r
ate:
collect stats on number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoolaege
d
e
compo
s
er
.
cc
:
polar_decompose: remove com
m
o
n
divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdool
a
ege
p
a
rtial_reducer: sp
e
c
i
a
lize
l
i
st version of base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdo
o
laege
re
d
uc
e
r::reduce
:
bette
r
ha
n
dling of terms with com
m
on
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer::redu
c
e:
c
o
m
bine numerator
s
w
i
th equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sv
e
n
V
e
rdoolaege
QQ: add opera
t
or for
multipl
i
cation of vector
b
y
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
r
e
ducer::reduce: take a l
i
s
t
of numer
a
to
r
s as input
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoo
l
aege
gen_fu
n
::re
a
d
:
read gen_fun from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add ge
n
_
f
u
n
::add(sh
o
rt_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdool
a
ege
NTL_QQ
.
cc:
s
upport
reading from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoo
l
aege
gen_fu
n
: add o
p
erator fo
r
printing to
s
tream
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ve
r
do
o
laeg
e
genfun
.
cc: add sh
o
rt_r
a
t copy construc
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
d
poly_r: m
i
cro
-
optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
doolaege
dpoly: mark some
m
ore arguments/meth
o
ds
c
o
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolae
g
e
s
h
o
rt_rat::ad
d
: mark
s
hort_rat argument con
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoo
l
ae
g
e
NTL
_
QQ: attempt to speed-up +=
op
e
rator
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoola
e
ge
dp
o
ly: add some documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
d
p
o
l
y: add some
m
ore operations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
ba
r
vinok/genfun
.
h
: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoola
e
ge
a
dd
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
V
er
d
oolaege
QQ: add operat
o
r f
o
r multiplicati
o
n by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makef
i
le
.
am: c
h
e
ck-se
r
ie
s
: check
-
-primal as
we
l
l
commit
|
commitdiff
|
tree
2007-01-16
S
v
en Verdoolae
g
e
Mak
e
fil
e
.
am: in
s
tall (som
e
) binaries
commit
|
commitdiff
|
tree
2007-01-15
S
ven Verdo
o
laege
undefine CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
S
v
en Verd
o
o
l
aege
b
arvinok_
e
numerate:
h
andle l
i
ne
s
in i
n
p
u
t polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven
V
erdoo
l
aege
util
.
c: mo
v
e lef
t
_inver
s
e from
l
exmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
gen_fun::coefficient:
m
o
v
e
pri
n
t
i
ng to
s
hort_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
g
e
gen_fun::coeffic
i
e
n
t: new ve
r
s
i
o
n
returning ZZ
commit
|
commitdiff
|
tree
next