Rename solid_quotient() to solid_restriction().

diff --git a/mjo/cone/tests.py b/mjo/cone/tests.py
index 33e5687a599a944ad2b46535780493998f9dae5a..5a910f0e255e4feefd485fdc5514f28576b1e8ee 100644 (file)
--- a/mjo/cone/tests.py
+++ b/mjo/cone/tests.py
@@ -291,7 +291,7 @@ result). Test all four parameter combinations::
     ....:                 strictly_convex=False,
     ....:                 solid=False)
     sage: K_S = _restrict_to_subspace(K, K.span())
-    sage: K_S2 = K.solid_quotient()
+    sage: K_S2 = K.solid_restriction()
     sage: _look_isomorphic(K_S, K_S2)
     True
     sage: K_SP = _restrict_to_subspace(K_S.dual(), K_S.dual().span()).dual()
@@ -315,7 +315,7 @@ result). Test all four parameter combinations::
     ....:                 strictly_convex=False,
     ....:                 solid=True)
     sage: K_S = _restrict_to_subspace(K, K.span())
-    sage: K_S2 = K.solid_quotient()
+    sage: K_S2 = K.solid_restriction()
     sage: _look_isomorphic(K_S, K_S2)
     True
     sage: K_SP = _restrict_to_subspace(K_S.dual(), K_S.dual().span()).dual()
@@ -339,7 +339,7 @@ result). Test all four parameter combinations::
     ....:                 strictly_convex=True,
     ....:                 solid=False)
     sage: K_S = _restrict_to_subspace(K, K.span())
-    sage: K_S2 = K.solid_quotient()
+    sage: K_S2 = K.solid_restriction()
     sage: _look_isomorphic(K_S, K_S2)
     True
     sage: K_SP = _restrict_to_subspace(K_S.dual(), K_S.dual().span()).dual()
@@ -363,7 +363,7 @@ result). Test all four parameter combinations::
     ....:                 strictly_convex=True,
     ....:                 solid=True)
     sage: K_S = _restrict_to_subspace(K, K.span())
-    sage: K_S2 = K.solid_quotient()
+    sage: K_S2 = K.solid_restriction()
     sage: _look_isomorphic(K_S, K_S2)
     True
     sage: K_SP = _restrict_to_subspace(K_S.dual(), K_S.dual().span()).dual()
@@ -432,12 +432,12 @@ all parameter combinations::
     True
 
 Ensure that ``__restrict_to_subspace(K, K.span())`` and
-``K.solid_quotient()`` are actually equivalent::
+``K.solid_restriction()`` are actually equivalent::
 
     sage: set_random_seed()
     sage: K = random_cone(max_ambient_dim=8)
     sage: K1 = _restrict_to_subspace(K, K.span())
-    sage: K2 = K.solid_quotient()
+    sage: K2 = K.solid_restriction()
     sage: _look_isomorphic(K1,K2)
     True