Stavros Macrakis wrote:
> PS I think there's a good argument to be made for having Maxima do
> something similar with inf/minf it generates, making each one
> distinct. I know that someone (Raymond?) is also working on having
> the simplifier not do inf-inf=>0, but there are lots of places other
> than the general simplifier which need to be changed (rat
> representation, compare, etc.).
I've kind of stopped working on it. It seems to be working, but there
are several places in the code where inf-inf is generated and returning
0 works but returning inf causes problems.
I believe Barton has a simplus simplifier and he's run into similar issues.
Ray