On 11/14/2010 5:34 PM, Richard Hennessy wrote:
> I downloaded you paper yesterday. It does not define "positive real
> interpretation" but it refers to it. Is there a precise definition of
> PRI that will not cost me another chunk of change to download?
I found the thesis at MIT, TR-95. For your convenience I am putting it
here:
http://www.cs.berkeley.edu/~fateman/papers/fateman-thesis-tr95.pdf
I looked at it a few years ago and noticed that a few pages (not
important) were missed
in scanning it.
I don't know if it was corrected.
>
> Rich
>
> -----Original Message----- From: Richard Fateman
> Sent: Sunday, November 14, 2010 8:24 PM
> To: Richard Hennessy
> Cc: Richard Fateman ; Maxima - list
> Subject: Re: [Maxima] caps complex tests
>
> On 11/14/2010 4:59 PM, Richard Hennessy wrote:
>> Speaking of interpretation. radcan(sqrt(y^2-2*y+1)) is using
>> sqrt(x^2)=x so you get y-1. Well, why not 1-y instead as your
>> example below points out?
>>
>> radcan(sqrt(y^2-2*y+1));
>> -> y-1
>>
> There is one answer which corresponds to PRI (positive real
> interpretation), which is y-1.
> That is what radcan is supposed to return.
>
> It does NOT return 1-y for sqrt((1-y)^2).
>
> because that is not the PRI. y-1 is.
>
> RJF
>
>
>
>