[Jprogramming] When a <. _ is less than a

[Thomas Costigliola]

I see, you were referring to the "no notion of infinity" statement, not 
the statement about conversion. You are correct extended and rational 
have special values to represent infinity but they are different from 
the floating point standard so you can't just do "a < b" in C for a 
rational a and double b. The fact that rational infinity is there gets 
you no closer to implementing Dan's suggestion. Dyadic functions that 
operate on one extended argument and one double argument are not 
implemented, therefore a conversion must be done. Alternatives would be 
to: convert certain doubles to rationals (Dan's suggestion), convert all 
doubles to rationals or implement extended-double argument functions.

On 02/03/2016 04:22 PM, Raul Miller wrote:
>     1r2+x:_
> _
>     1r2<.x:_
> 1r2
>
> I do not see what "no arithmetic being done in an example" has to do
> with the implementation of rational infinity.
>