fix unexpected behaviour of symbolic zero

sagemath · Jul 26, 2014 · c79c0fb · c79c0fb
1 parent 169b80c
commit c79c0fb
Showing 1 changed file with 8 additions and 13 deletions.
diff --git a/src/sage/rings/polynomial/multi_polynomial_element.py b/src/sage/rings/polynomial/multi_polynomial_element.py
@@ -1347,30 +1347,25 @@ def lt(self):
 
     def __eq__(self,right):
         """
+        EXAMPLES::
 
+            sage: x = PolynomialRing(RealField(42), 'x', 2).gens()
+            sage: x[0]^2 - x[1]^2 == SR(0)
+            x0^2 - x1^2 == 0
         """
         if not isinstance(right,MPolynomial_polydict):
-            # we want comparison with zero to be fast
-            if right == 0:
-                if self._MPolynomial_element__element.dict()=={}:
-                    return True
-                else:
-                    return False
             return self._richcmp_(right,2)
         return self._MPolynomial_element__element == right._MPolynomial_element__element
 
     def __ne__(self,right):
         """
+        EXAMPLES::
 
+            sage: x = PolynomialRing(RealField(42), 'x', 2).gens()
+            sage: x[0]^2 - x[1]^2 != SR(0)
+            x0^2 - x1^2 != 0
         """
         if not isinstance(right,MPolynomial_polydict):
-            # we want comparison with zero to be fast
-            if right == 0:
-                if self._MPolynomial_element__element.dict()=={}:
-                    return False
-                else:
-                    return True
-            # maybe add constant elements as well
             return self._richcmp_(right,3)
         return self._MPolynomial_element__element != right._MPolynomial_element__element