Fixed #21946 and added example for #21554

sagemath · Mar 10, 2017 · ea063c3 · ea063c3
1 parent b881047
commit ea063c3
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/sage/symbolic/relation.py b/src/sage/symbolic/relation.py
@@ -449,7 +449,16 @@ def test_relation_maxima(relation):
         sage: test_relation_maxima(f1 - f2 == 0)
         True
         sage: forget()
+        
+    In case an equation is to be solved for non-integers, ''assume()''
+    is used::
     
+        sage: k = var('k')
+        sage: assume(k,'noninteger')
+        sage: solve([k^3==1],k)
+        [k == 1/2*I*sqrt(3) - 1/2, k == -1/2*I*sqrt(3) - 1/2]
+        sage: assumptions()
+        [k is noninteger]
 
     """
     m = relation._maxima_()