positive ** positive = real (doctest only) #21940

sagemath · Nov 25, 2016 · 65e6c10 · 65e6c10
1 parent aa2bcc1
commit 65e6c10
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/sage/symbolic/expression.pyx b/src/sage/symbolic/expression.pyx
@@ -1981,6 +1981,9 @@ cdef class Expression(CommutativeRingElement):
             False
             sage: (t0*t1).is_real()
             True
+            sage: t2 = SR.symbol("t1", domain='positive')
+            sage: (t1**t2).is_real()
+            True
             sage: (t0*x).is_real()
             False