Jeroen Demeyer on Tue, 23 Sep 2014 17:03:48 +0200

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: [PATCH] enable basic arithmetic with infinity

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.