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.c: evalue_frac2polynomial: properly handle relations
2007-03-31
Sv
e
n
Verdool
a
e
g
e
evalue
.
c: e
v
a
l
u
e_frac2p
o
l
y
nomial: properly handle relat
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
barvinok_en
u
merate: suppor
t
ap
p
roximat
i
on by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
s
c
ale
.
c: avoid
s
i
mplifi
c
atio
n
of cons
t
raints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
o
olaege
barvinok/util
.
h
:
add POL_UNS
E
T macro for uns
e
tting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en V
e
r
d
o
ol
a
ege
scale
.
c: Param_Poly
h
edron_Scale_Integer_Fast: igno
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
m
ove P
a
ram_Polyhedron_Sc
a
le_Integer to
s
cale
.
c
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
use separate flags optio
n
for
scale approx
i
mation method
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
Verd
o
olaege
barv
i
n
ok
.
cc: mo
v
e scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Ve
r
doolaege
scale
.
c: correct
extract_latt
i
c
e in case of r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sv
e
n V
e
rdoolaege
d
o
c: update CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoola
e
ge
verif_ehr
h
a
r
t
.
c:
r
ound inexact evaluation up
o
r
d
own
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
v
en Verd
o
olaeg
e
ver
i
f_ehrhar
t
.
c: optionally use ex
a
ct
evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
v
en Verdo
o
l
a
ege
evalue
.
c: ad
d
evalue_eval for exact eval
u
a
tion of evalu
e
commit
|
commitdiff
|
tree
2007-03-25
Sven
Verdoolaege
evalue
.
c: fix evalue_frac2p
o
lynomial
f
or n
e
ga
t
ive
v
alue
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verd
o
ol
a
ege
barvin
o
k_enumerate: perform
slow
scal
i
ng approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven
V
e
r
doolaege
f
i
x
Param_Po
l
yh
e
dron_Scale_I
n
teger
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoo
l
aege
barvi
n
o
k
_enumerate: more acc
u
rate polynomial approximat
i
on
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoola
e
ge
reorganize
poly
n
omial
a
pproxim
a
tion options
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
util
.
c: Param
_
Polyh
e
dron_Print: actually
use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdo
o
l
ae
g
e
fix merge o
f
check_p
o
l
y
from ve
r
if_ehrha
r
t
.
c an
d
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
ven Verdoolaege
doc: upda
t
e Koep
p
e
-
Verdoolaeg
e
reference
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
barvinok_maximize: support verification
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
mer
g
e check_p
o
ly
f
r
om verif_e
h
rhart
.
c
a
n
d
le
x
mi
n
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
evalue
.
c: make
som
e
evalue ar
g
uments const
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdo
o
la
e
ge
eval
u
e_frac2floor2: also con
v
ert no
n
-partit
i
on if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdool
a
ege
verify
.
c
: change verif
y
_options_se
t
_range prototype
commit
|
commitdiff
|
tree
2007-03-17
S
v
en V
e
rdoo
l
aege
bernstein: piecew
i
se_l
s
t
:
:evaluate:
support differe
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n
Ver
d
oolaege
verify
.
c: turn
o
ff cont
i
nue_on_error by defa
u
lt
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
bernstein:
export numeric2
v
alue
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
d
o
c
:
proof of existenc
e
of suitable y for
primal decomposit
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
d
o
c: fix proof
of exis
t
ence of suitable
y
for prim
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
cc:
b
ernst
e
i
n
_c
o
efficients: cr
e
ate
signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdo
o
lae
g
e
b
arvinok_
m
axim
i
ze:
o
pti
o
n
a
lly use recurs
i
ve be
r
n
s
tein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolae
g
e
ber
n
s
t
ein
.
cc: bernstein_c
o
effic
i
ents
:
s
upport
g
e
n
eral
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
berns
t
e
in
.
cc: refac
t
o
r
berns
t
e
i
n
_
coe
f
ficients_p
r
o
duct
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein: pi
e
cewi
s
e_lst: add sign and remove redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolae
g
e
bernstein: add
r
emov
e
_red
u
ndants method
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laege
d
oc:
p
rimal d
e
c
omposition:
typo fixes + clarificati
o
n
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
d
oc: fi
x
prim
a
l decomposition exam
p
le
+
clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
D
ocument primal decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Verdoolaege
barvinok
.
cc: barvinok_enumerate:
f
ix lo
w
er bo
u
nd appr
o
ximati
o
n
commit
|
commitdiff
|
tree
2007-03-07
S
v
e
n Verdoola
e
ge
evalue_split_per
i
ods:
g
racefully handl
e
zero
e
values
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoo
l
a
ege
barvinok_maximize:
ha
n
dle zero inp
u
t
commit
|
commitdiff
|
tree
2007-03-07
Sven
Verdo
o
la
e
g
e
ba
r
vinok_enumerate_e: clean up allocation of o
p
tions
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaeg
e
barvino
k
.
cc: han
d
le ca
s
e where noth
i
ng is left aft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoo
l
ae
g
e
e
v
alue_conver
t
: s
u
pport printing a quasi-poly
n
omialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en V
e
rdoolaege
lattice_point
.
h: make se
l
f-
c
ontained
commit
|
commitdiff
|
tree
2007-03-02
S
ven Verdoolaege
evalue
.
c:
e
xtract
e
value_ext
r
act_af
f
ine from bernste
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-02
S
ven Verd
o
olaeg
e
bernstei
n
.
cc: ber
n
stei
n
_coefficients_product: no
need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein_coefficients: optional
l
y opt
i
mize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n Verdoolaege
berns
t
ein_c
o
effici
e
n
t
s: facto
r
iz
e
domain if poss
i
ble
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Ver
d
o
o
l
a
ege
Po
l
yhedron_Fact
o
r
:
optionally re
t
urn relation
between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Verdoolaege
bernstein: expor
t
rep
l
aceVariab
l
esInPolynomial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
b
e
rnstein
.
cc: evalue2ex:
represent fracti
o
nal
b
y scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
S
ven Verdoola
e
ge
barvinok_maximize: f
i
x handling of UNIONs in
dom
a
ins
.
commit
|
commitdiff
|
tree
2007-02-28
Sv
e
n
V
erdoo
l
aege
bernstei
n
_coefficients: skip empty sub
d
omains
commit
|
commitdiff
|
tree
2007-02-28
Sven Ver
d
o
o
laege
barvi
n
ok_ma
x
imize: fix dete
c
t
i
on o
f
end of dom
a
in specificat
i
on
commit
|
commitdiff
|
tree
2007-02-27
Sven
V
erdoolaeg
e
barvinok_maximize: add input conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Ver
d
oolaege
evalue_c
o
nvert
:
e
x
tracted f
r
om barvino
k
_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoo
l
aege
u
til
.
c:
move Polyhedron_is_unbou
n
ded from b
e
rnstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verd
o
olaege
bernst
e
in_c
o
efficients: skip i
n
finite (sub
)
domains
commit
|
commitdiff
|
tree
2007-02-26
S
ven Verdoo
l
aege
barvinok_ma
x
i
m
i
ze: let user specify variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdoolaeg
e
b
e
r
nstein_coe
f
f
icients: skip com
p
utations
if do
m
ain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolae
g
e
barvinok_maximize:
fix access to freed memory
commit
|
commitdiff
|
tree
2007-02-26
Harald Devos
minimize as op
t
ion of
b
arvinok_maximize
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein/piecewise_lst
.
cpp: ad
d
mini
m
ize() method
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdoola
e
ge
b
a
rvinok_max
i
mize
:
read domain
s
with
UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
lae
g
e
use GiNaC c
f
lags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoo
l
aege
barv
i
nok
_
max
i
mi
z
e: o
p
tiona
l
l
y call e
v
alue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
oolae
g
e
eval
u
e
.
c: add evalue_split
_
periods
commit
|
commitdiff
|
tree
2007-02-23
Sven V
e
rdoolaege
uti
l
.
c: v
a
lu
e
_
l
c
m:
mark
a
rg
u
m
e
nts con
s
t
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalu
e
.
c: polynomial_projection: all
o
w NULL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
eval
u
e
.
c:
e
xtra
c
t fiddl
i
ng wit
h
coefficient
s
out
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdo
o
laeg
e
evalu
e
_
bernstein
_
coefficients: handle each cos
e
t
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdool
a
ege
b
a
rvin
o
k_max
i
mi
z
e: read evalu
e
s with periodic
s
commit
|
commitdiff
|
tree
2007-02-21
Sve
n
Verdo
o
laege
evalue_bernstein_coeffici
e
nts: handle periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
bernstei
n
: berns
t
einExpansion: accept l
i
st o
f
polyno
m
ials
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
ba
r
vinok_maximize: make evalue par
s
e a li
t
tle
b
i
t more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaeg
e
barvin
o
k_enumerat
e
*:
b
e less chat
t
y by
d
efault
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdool
a
ege
c
o
unt/
e
numerat
e
:
w
ar
n
if input is a
u
nion
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaeg
e
DomainIn
c
lu
d
es: detect more cases + adapt d
o
c
ument
a
tion
commit
|
commitdiff
|
tree
2007-02-19
S
ven Verdoolaege
e
value_bernstein_coefficients: handle fractionals
in
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
S
v
en Verdoo
l
aege
evalue_bernstein_co
e
fficient
s
: handl
e
floor
i
ngs
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven V
e
rdoola
e
ge
barvin
o
k_ma
x
imize: new too
l
for maximiz
i
ng piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
Sven Verdo
o
laege
evalu
e
.
c: e
v
alue_fra
c
2polyn
o
mial: improve accuracy
commit
|
commitdiff
|
tree
2007-02-16
Sven
Ver
d
oolae
g
e
evalue
.
c:
add commen
t
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoo
l
aege
evalue
.
c
:
add functi
o
n fo
r
checking nesting o
f
an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c: add
missi
n
g t
e
rms reorderings in
e
v
alue_range_re
d
u
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
ven Verdoolaege
e
value
.
c
:
m
ake ar
g
ume
n
ts of
ee
q
ual and e
v
a
l
ue_d
e
nom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoo
l
a
ege
barvinok_enumerate_e
:
a
d
d
-
-
v
erbos
e
o
ption
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
bern
s
tein: mark
a
rgument of value2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaeg
e
bernste
i
n
.
cc: add (opt
i
onal) options argument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven V
e
rdo
o
l
a
ege
add missing virtual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
genfun
.
cc:
rename s
t
r
u
c
t cone to avoid conflict
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
e
r
doolaege
do
c
: integer points in the fundamental p
a
rall
e
l
e
piped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
v
en
V
erdoo
l
ae
g
e
verif_ehrh
a
rt
.
c: cle
a
n up in
d
entation
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
lae
g
e
verif_ehrhart: optionally conti
n
ue
on e
r
ro
r
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verd
o
o
laeg
e
verif
_
ehrhart
:
c
o
mb
i
ne chec
k
_
p
o
l
y f
r
om ba
r
vinok_enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoolaege
v
e
rif_ehrha
r
t
.
c: c
h
eck lower a
n
d
u
pper pol
y
nomial
a
pproximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
olaege
verif
y
.
h: m
o
ve barvinok_optio
n
s i
n
to verify_op
t
ion
s
commit
|
commitdiff
|
tree
next