add doctest for #16031

sagemath · Feb 7, 2023 · 73b4146 · 73b4146
1 parent 66b319b
commit 73b4146
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/sage/symbolic/expression.pyx b/src/sage/symbolic/expression.pyx
@@ -3464,6 +3464,12 @@ cdef class Expression(Expression_abc):
 
             sage: bool(x^2 + 2*x + 1 != (x + 1)^2)
             False
+
+        Check that :trac:`16031` is fixed::
+
+            sage: expr = reduce(lambda u, v: 1/u -v, [1/pi] + list(continued_fraction(pi)[:20]))
+            sage: expr.is_zero()
+            False
         """
         if self.is_relational():
             # constants are wrappers around Sage objects, compare directly