Andreas Enge on Thu, 10 Apr 2014 12:37:53 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: +oo / -oo (infinity) |
On Thu, Apr 10, 2014 at 12:14:33PM +0200, Karim Belabas wrote: > It's a bit sad to "waste" a type for only two objects so far, but it was the > only sensible possibility. (I definitely didn't want to abuse one of the > existing types, e.g. taking advantage of "impossible values" for t_REAL > codewords.) It is not clear whether this would have been abuse; it could have been an extension of the reals towards the IEEE semantics, maybe even with something like 1.0/0.0=+oo. In particular for the example you give of an integral, there is a notion of "real number" behind the infinity, unlike for the polynomial degree. Andreas