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
bernstein_coefficients: optionally optimize during recursive computation
2007-03-01
Sven Verdoolaege
bernstein_c
o
efficients: optional
l
y optimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n
Ve
r
doolaeg
e
berns
t
ein
_
c
o
efficien
t
s
:
f
a
ctorize domain if possible
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n
Verdool
a
ege
Polyhedron_Factor: optionally retu
r
n relation be
t
w
ee
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein: ex
p
ort replaceVariablesInPo
l
y
n
omial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein
.
cc: evalue2ex: rep
r
e
sent fract
i
onal by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Ve
r
doolaege
barvinok_maximize: fix handli
n
g
o
f
UNION
s
in domains
.
commit
|
commitdiff
|
tree
2007-02-28
S
ven
V
er
d
oolaege
bernstein_coefficients:
s
kip
e
mpty subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven Ve
r
doolaege
bar
v
inok_maximize:
f
ix
d
e
te
c
tion
of end of
d
omai
n
specifica
t
i
o
n
commit
|
commitdiff
|
tree
2007-02-27
Sve
n
Verdo
o
laege
ba
r
vinok
_
maximize:
a
dd in
p
ut conve
r
sion
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdoolaege
evalu
e
_convert: extracted from bar
v
inok_enumerate
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
S
v
e
n Verdoolaege
util
.
c: move Polyhedron_is_unbound
e
d from bernst
e
in
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoo
l
ae
g
e
bernstein_coefficients:
s
kip infi
n
i
te (sub)d
o
mains
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoola
e
ge
ba
r
vinok_
m
aximize: let user s
p
e
c
ify variables
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdoolaege
bernstein_coeffic
i
ents: skip com
p
u
t
ations if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
S
v
en Verdoola
e
ge
barvi
n
ok_maximize
:
fix access t
o
fre
e
d
m
emory
commit
|
commitdiff
|
tree
2007-02-26
Harald Dev
o
s
min
i
mize as option of barvinok_maxi
m
iz
e
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdoolaege
bernstein
/
pi
e
cewis
e
_l
s
t
.
cp
p
: add minimize() metho
d
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdoolaege
barvi
n
ok_maximize: read d
o
mains with UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
u
s
e
G
iNaC cflags and li
b
s
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
lae
g
e
b
a
rvin
o
k_maximize:
o
ptionally call e
v
alue_split_peri
o
d
s
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
e
rdoolaeg
e
eva
l
ue
.
c: add evalue_
s
plit
_
per
i
ods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoola
e
ge
ut
i
l
.
c: va
l
ue_lcm:
m
ar
k
argume
n
ts const
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erdo
o
l
a
ege
ev
a
l
ue
.
c: polynomial
_
pro
j
e
c
t
ion: al
l
ow NULL
R
argument
commit
|
commitdiff
|
tree
2007-02-23
Sv
e
n Verd
o
olaege
evalu
e
.
c
:
extr
a
ct f
i
d
d
ling with
coeffici
e
nts
o
ut of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoolaege
eva
l
u
e
_bernstei
n
_co
e
fficien
t
s:
h
andle each coset o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n Verdoolaege
barvin
o
k_maxim
i
z
e:
rea
d
e
values w
i
th
periodics
commit
|
commitdiff
|
tree
2007-02-21
S
ven Verdo
o
lae
g
e
eval
u
e_bernstein_coefficien
t
s: handle
p
eriodics
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
v
en Verdoolaege
bernstein: b
e
r
n
s
t
einExpansion: accept list of
polyno
m
ials
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Ve
r
doolaege
barvinok_m
a
ximize: make evalue parse a
lit
t
le bit more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven V
e
rdoo
l
aege
b
arvin
o
k_enumerate*: be less chatty by de
f
ault
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoolaege
count/
e
numera
t
e
: w
a
rn if
i
nput
i
s a
union
commit
|
commitdiff
|
tree
2007-02-19
Sven Ver
d
o
o
l
aege
Dom
a
inI
n
cludes: detect
m
ore c
a
ses +
adapt docu
m
entation
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolae
g
e
e
value
_
bernstein_coefficients: h
a
ndle fract
i
onals in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sve
n
Verdool
a
e
ge
evalue_bernstein_coefficients: handle
floorings
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sv
e
n Verdoolaege
b
arvinok_maximize: new tool f
o
r maximi
z
i
n
g piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdoolaeg
e
evalue
.
c: eval
u
e
_
frac2polynomial: improve a
c
curacy
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
do
o
laeg
e
evalue
.
c:
a
dd comm
e
nt
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolaege
eval
u
e
.
c: a
d
d function for checking nes
t
in
g
of an
e
v
alue
commit
|
commitdiff
|
tree
2007-02-16
S
v
en Verdoolaeg
e
evalue
.
c: add missing terms reord
e
rings
in
evalue_range_red
u
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
eval
u
e
.
c: make arguments of eeq
u
al and eval
u
e_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven
V
erdoolaege
barvinok_enumerate_e
:
add --ve
r
bose op
t
ion
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoo
l
aege
bernstein: mark
a
rgument
o
f valu
e
2numeri
c
const
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n Ve
r
d
o
olaege
b
e
rnstein
.
cc: add (optional) options arg
u
ment t
o
e
value_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdool
a
ege
add missing virtual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdool
a
ege
genf
u
n
.
cc
:
ren
a
me struct co
n
e
t
o avoi
d
conflic
t
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdo
o
laege
d
o
c: integer poi
n
t
s
i
n the fund
a
m
e
ntal p
a
rallelepip
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
aege
verif_ehrhart
.
c
: c
l
ean up indentation
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
a
e
ge
verif_ehrhart:
o
ptionally continue
on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
doola
e
g
e
ver
i
f
_
ehrhart: co
m
bine
c
heck_poly fr
o
m barvinok_enum
e
rate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n Verdoola
e
ge
verif_ehr
h
art
.
c: che
c
k lower and upper polynomial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
verify
.
h: move b
a
r
v
inok
_
opt
i
ons into verify
_
options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
barvino
k
_en
u
merate: pa
s
s parameter names to check_p
o
ly
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdoolaege
ba
r
v
inok_enume
r
ate: more polyno
m
mial approximations
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolae
g
e
evalue
.
c: add evalue
_
f
r
ac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
o
laeg
e
evalue
.
c
:
e
x
t
ract
e
v
alue_split_do
m
ains_into_or
t
hant
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
ool
a
ege
pol
y
sig
n
.
c: fix cdd_polyhedro
n
_affine_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
M
akefile: only check lexmi
n
if it ha
s
b
een
c
ompiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
ad
d
P
a
ram_Polyh
e
dron_S
c
ale
_
Integer protot
y
pe
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoola
e
ge
l
a
tti
c
e_point
.
c
c
:
add sanity check for index of cone
commit
|
commitdiff
|
tree
2007-02-12
S
v
en V
e
rdoola
e
g
e
test:
initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
barvinok_enumerate
:
optiona
l
ly compute
a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Provide re
p
lacement
for new Po
l
yLib f
u
nction Par
a
m_Polyhe
d
ro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoola
e
g
e
ad
d
evalue_div
(
adapted from Poly
L
i
b
)
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Ver
d
ool
a
ege
t
est: si
m
ple test for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
Makef
i
le
.
am: add dep
e
n
d
encies f
o
r ch
e
cks
commit
|
commitdiff
|
tree
2007-02-11
Sv
e
n Ver
d
oolaege
genfun
.
cc:
s
hort_r
a
t:
:
normalize: micro-optimiza
t
ions
commit
|
commitdiff
|
tree
2007-02-11
Sv
e
n Ver
d
o
olaege
QQ
:
c
a
nonicalize on
read and
multiplicat
i
on
commit
|
commitdiff
|
tree
2007-02-09
Sven
V
er
d
oolaege
doc: barvinok_series req
u
ires po
l
y
h
edr
o
n to have
*
rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdool
a
ege
Make
f
i
l
e
.
a
m:
check barvi
n
ok_enu
m
er
a
te
-
-s
e
ries durin
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Ver
d
ool
a
ege
barvinok_enumerate: compute series of polyh
e
dra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdoolaege
test all
s
pecialization algor
i
thms dur
i
ng make check
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verd
o
olaeg
e
pass options through t
o
ba
r
vino
k
_
c
o
unt in
b
arvinok_e
n
umer
a
te
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Ve
r
d
o
olaege
Ha
n
d
l
e
non-uni
m
odular
c
o
nes in d
u
al decomp
o
sit
i
on
commit
|
commitdiff
|
tree
2007-02-08
Sven V
e
rdoolaeg
e
barv
i
nok_stats: rename unimodu
l
ar_cones
t
o base_co
n
e
s
commit
|
commitdiff
|
tree
2007-02-08
Sven Ver
d
oola
e
ge
reducer
.
c
c: extr
a
sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdoolaege
Handle
n
on-unimo
d
u
l
ar cone
s
with a
s
pecified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaeg
e
d
e
com
p
oser
.
c
c
: decompose: minor clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoola
e
ge
barvinok_options: include pointer to
barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
d
o
olaege
a
d
d barvino
k
_
options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_enumer
a
te: co
l
lect stats on number of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
d
oolaege
d
ecomposer
.
cc
:
p
olar_d
e
compo
s
e: re
m
ove com
m
on divis
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdool
a
ege
part
i
al_reducer: specialize
list version o
f
base
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
r
educer::reduce:
b
etter han
d
ling of terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven
Verd
o
o
l
aege
r
e
ducer::re
d
uce: combine numerators wi
t
h
e
q
ua
l
unredu
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sve
n
Ver
d
oolaege
QQ
:
add operator for mul
t
iplic
a
tio
n
of vecto
r
b
y
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
r
educer
:
:
r
e
d
u
ce: take
a
list of numerat
o
rs as input
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
gen_fun::read: read gen
_
f
u
n from fi
l
e
d
escriptor
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaeg
e
add g
e
n_
f
un::add(short_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aeg
e
N
TL_QQ
.
cc: support reading from st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
gen_fun:
a
d
d
operator for printing to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
genfun
.
cc: add short_
r
at copy
constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaeg
e
dp
o
ly_r:
micro-opt
i
mization
s
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
dpoly:
m
ark some mo
r
e argum
e
nts/meth
o
ds co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n V
e
rdoolaege
s
h
ort
_
r
a
t
::add: mark short_rat argum
e
nt
c
on
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
o
laege
NTL
_
QQ:
a
ttem
p
t to speed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n
V
e
rdoolaege
d
poly: add some
docume
n
tat
i
o
n
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ver
d
oolaege
dpoly: add some more o
p
erations
commit
|
commitdiff
|
tree
2007-02-02
Sven
Ver
d
oolaege
ba
r
vinok/g
e
n
fun
.
h
: fix c
o
mment
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add
.
gi
t
ignore
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
er
d
o
o
laege
QQ: add opera
t
or for multipl
i
cation by a scalar (ZZ)
commit
|
commitdiff
|
tree
next