Infinity*1 -> ComplexInfinity

Author: mmatera

mathics/builtin/arithmetic.py

@@ -737,7 +737,7 @@ def apply(self, items, evaluation):
 
         if not leaves:
             if infinity_factor:
-                return SymbolInfinity
+                return SymbolComplexInfinity
             return Integer(1)
 
         if len(leaves) == 1:

mathics/builtin/inout.py

@@ -1409,7 +1409,7 @@ class Check(Builtin):
 
     #> Check[1/0, err, Compile::cpbool]
      : Infinite expression 1 / 0 encountered.
-     = Infinity
+     = ComplexInfinity
 
     #> Check[{0^0, 1/0}, err]
      : Indeterminate expression 0 ^ 0 encountered.

mathics/doc/documentation/1-Manual.mdoc

@@ -140,7 +140,7 @@ The precision of numerical evaluation can be set:
 Division by zero is forbidden:
 >> 1 / 0
  : Infinite expression 1 / 0 encountered.
- = Infinity
+ = ComplexInfinity
 Other expressions involving 'Infinity' are evaluated:
 >> Infinity + 2 Infinity
  = Infinity