Trac #12322: Add a doctest for the correct behavior introduced in tra…

…c #12737.
sagemath · Dec 20, 2013 · 55eb0aa · 55eb0aa
1 parent fbfb10b
commit 55eb0aa
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/sage/symbolic/expression.pyx b/src/sage/symbolic/expression.pyx
@@ -7818,6 +7818,17 @@ cdef class Expression(CommutativeRingElement):
             sage: original - simplified
             0
 
+        The invalid simplification from :trac:`12322` should not occur
+        after :trac:`12737`::
+
+            sage: t = var('t')
+            sage: assume(t, 'complex')
+            sage: assumptions()
+            [t is complex]
+            sage: f = (1/2)*log(2*t) + (1/2)*log(1/t)
+            sage: f.simplify_full()
+            1/2*log(2*t) - 1/2*log(t)
+
         """
         x = self
         x = x.simplify_factorial()