#4803 limit(1+zerob), numer : true vs limit(1+zeroa), numer : true;

[Barton Willis]

These are okay:

(%i2) limit(1+1/inf), numer : false;
(%o2)                                  1

(%i3) limit(1+1/inf), numer : true;
(%o3)                                  1

(%i4) limit(1+zeroa), numer : true;
(%o4)                                  1

This is inconsistent with %o4

(%i5) limit(1+zerob), numer : true;
(%o5)                                 1.0

I say this is a bug.

[David Scherfgen]

Tracing shows that $trigreduce is the culprit here:

(%i1) trigreduce(1+1/x), numer;
(%o1) 1/x+1

(%i2) trigreduce(1-1/x),numer;
(%o2) 1-1.0/x