20755: Add doctest

sagemath · Aug 21, 2019 · eb0ad68 · eb0ad68
1 parent 7d561d8
commit eb0ad68
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/sage/symbolic/expression.pyx b/src/sage/symbolic/expression.pyx
@@ -11507,6 +11507,15 @@ cdef class Expression(CommutativeRingElement):
             sage: solve((z^3-1)^3, z, multiplicities=True)
             ([z == 1/2*I*sqrt(3) - 1/2, z == -1/2*I*sqrt(3) - 1/2, z == 1], [3, 3, 3])
 
+        TESTS:
+
+        Check that :trac:`20755` is indeed fixed::
+
+            sage: w = x^4 - (1+3*i)*x^3 - (2-4*i)*x^2 + (6-2*i)*x - 4 - 4*i
+            sage: w.solve(x,multiplicities=True)
+            ([x == -1/2*sqrt(2*I) + 3/2*I - 1/2, x == 1/2*sqrt(2*I) + 3/2*I - 1/2, x == (-I + 1), x == (I + 1)],
+             [1, 1, 1, 1])
+
         See :func:`sage.symbolic.relation.solve` or the output of ``solve?``
         for extensive documentation.
         """