[Maxima-discuss] simpinf & infsimp

[Barton W. <wi...@un...>]

I've been looking at https://sourceforge.net/p/maxima/bugs/4619/

Maxima has two functions simpinf and infsimp that simplify expressions that involve the extended real numbers (minf, zerob, zeroa, ind, inf, infinity, and und).  The function simpinf handles more cases than does infsimp.

The one argument limit function generally calls first calls simpinf, I think, but then it sometimes also calls infsimp. I'm not sure what kinds of expressions infsimp is supposed to be able to handle.

It seems like simpinf and infsimp should be blended. Does anybody know exactly what kinds of expressions infsimp should be able to handle?

I collected all 59,000 (approx.) calls to infsimp from the testsuite.  My guess is that all the inputs are affine expressions in minf or inf, but there are a few exceptions, for example exp(minf).

Having both function names simpinf and infsimp is an accident waiting to happen.

--Barton