Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Potential well and decorations



On 07/04/2011 12:51 PM, Nate Hayes wrote:
Dominique Lohez wrote:
Nate Hayes a écrit :
Dominique Lohez wrote:
.
.
.

If for example we have the interval extension

P(X) = U(X) \union V(X)

with

U(X) = sqrt((|X| \intersect [roundDown(sqrt(a)),+Inf])^2-a)
V(X) = -sqrt(a-(|X| \intersect [0,roundUp(a)]))


If I encountered a function like Dan's, that is,

if (abs(x) > sqrt(a))
    y = sqrt(x^2-a);
else
    y = - sqrt(a-x^2);
end

in a set of computations involving it, rather than
programming it as above, I might, depending on priorities
and relative importance, program it directly in terms of,
say, truncated series, and supply the appropriate
decoration upon return from my "user-supplied" function,
so the arithmetic system would view it as an atomic
operation.  Would that lessen the burden on the
requirements of a decoration scheme?  In any case,
many users may not have the luxury of going down
such a route.

Baker

--

---------------------------------------------------------------
Ralph Baker Kearfott,   rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------