Add a test for the lineality spaces of Z/pi-star being equal.

[sage.d.git] / mjo / symbolic.py

diff --git a/mjo/symbolic.py b/mjo/symbolic.py
index d2a13298bb74dfbcc18a15434b6427d9aaf911cf..992260efb9aaedadf187e06f4db6941d5055cb7e 100644 (file)
--- a/mjo/symbolic.py
+++ b/mjo/symbolic.py
@@ -15,15 +15,15 @@ def set_simplification_domain(d):
 
     With the default 'complex' domain, we don't simplify this::
 
-        sage: (abs(x)^2).simplify()
-        abs(x)^2
+        sage: sqrt(x^2).simplify()
+        sqrt(x^2)
 
     But in the 'real' domain, we do::
 
         sage: set_simplification_domain('real')
         'real'
-        sage: (abs(x)^2).simplify()
-        x^2
+        sage: sqrt(x^2).simplify()
+        abs(x)
         sage: set_simplification_domain('complex')
         'complex'
 
@@ -44,18 +44,3 @@ def safe_simplify(expr):
     expr = expr.simplify_factorial()
     expr = expr.simplify_log()
     return expr
-
-
-def medium_simplify(expr):
-    """
-    A reasonably-safe set of simplifications, much better than
-    simplify() and safer than simplify_full()
-
-    Uses a top-level function because we can't monkey-patch Cython
-    classes.
-    """
-    expr = expr.simplify_factorial()
-    expr = expr.simplify_trig()
-    expr = expr.simplify_rational()
-    expr = expr.simplify_log()
-    return expr