diff --git a/src/sage/symbolic/relation.py b/src/sage/symbolic/relation.py index d18f7a1e587..63343ecd09e 100644 --- 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_()