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

Re: A Level 2 query

I am unclear as to whether you are excluding from consideration as standard-conforming the following compiler 
"optimization":

let  y :=   ...some explicit polynomial P in the interval variable x.
The compiler recognizes P as a polynomial, computes (at compile time) locations and values at 
 its relative maxima and minima, and at run-time uses this information to
compute inf(y) and sup(y) on the interval x entirely without dependency slop. 
And perhaps with great speed compared to evaluating P.

RJF


On 6/20/2013 6:05 AM, John Pryce wrote:

Ian, Jürgen, P1788

What I get from these replies is that the T -> T operation *should* be mandatory. Ian's comments are important but they apply to expressions. Those are a language issue and we IMO
(a) *should not* make requirements about expression-evaluation (beyond containment);
(b) *should* make recommendations on the lines Ian proposes.
Actually, thinking about it, I'm less sure about (a).



<snip>