|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:
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 writePurposefully, we restricted the semantic attached to oo. Most of the time such operations are the symptom of a bug.
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.