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

Re: Motion 52: final "Expressions" text for vote



Bill Walster wrote:
> What about asin([1/2,3/2]) and acos([1/2,3/2])?

What about them?  In decorated interval mode, they will reflect
that part of the input was out-of-domain, and the interval part
will be as if the input upper bound was 1.

So asin would return an enclosure of [pi/6, pi/2]
and acos would return an enclosure of [0, pi/3].

This is as defined for the interval extensions of the point
functions as defined in Table 9.1.

Perhaps you were thinking of what P1788 calls "reverse operations"
on pages 30 and 31 (clause 10.6.6):
   revsin([1/2,3/2], [-pi,+pi]) would return [+pi/6,+5pi/6]
   revcos([1/2,3/2], [-pi,+pi]) would return [-pi/3,+pi/3]

Michel.
---Sent: 2013-11-26 23:56:06 UTC