Re: [PATCH] enable basic arithmetic with infinity

[Jeroen Demeyer <jdemeyer@cage.ugent.be>]

On 2014-09-23 16:03, Bill Allombert wrote:
> Purposefully, we restricted the semantic attached to oo.
> Most of the time such operations are the symptom of a bug.
The usage quoted before [if (lambda > 2*valuation(x,p),...)] is not a 
bug, in fact it expresses something very natural and it would be a pity 
to force people to write

if (x!=0 && lambda > 2*valuation(x,p),...)

Why would you introduce t_INFINITY in the first place if you don't allow 
this? Surely, the philosophy of introducing t_INFINITY was to make code 
easier and less prone to errors. Now, on the contrary, you're making 
code more difficult.

If you really think that people should write

if (x!=0 && lambda > 2*valuation(x,p),...)

then why not raise an error for valuation(0,p)? I think that's better 
than returning a useless t_INFINITY.


Jeroen.