-----maxima-bounces at math.utexas.edu wrote: -----
>I'm not sure what is implemented, but the following sequence:
>
>x: inf;
>x-x;
>could result in zero, because it is the same infinity.
Consider:
x : limit(t,t,inf),
y : limit(s,s,inf).
If x & y are tagged as distinct infinities, x - y --> und, not 0.
Maxima would need a database of all infinites; searching the database
for an existing infinity wouldn't be easy (dummy variables). Getting
all this to work is harder than just tagging infinities with
unique identifiers, I think.
Barton