I think the following limits should all give UND
(%i1) limit(inf+minf);
(%o1) minf + inf
(%i2) limit(x+minf,x,inf);
(%o2) inf
(%i3) limit(x+inf,x,minf);
(%o3) minf
The code of limit is the only place where infinities are handled, but it should be more complete.
Dieter Kaiser
One of these has been fixed: