Rename pointed_decomposition() to motzkin_decomposition().

diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py
index daeeb8936edb5416b269a131afe95c286da75598..c9d6a177ea75c2b3d0d5f3b8bc0fb4332d2b1e97 100644 (file)
--- a/mjo/cone/cone.py
+++ b/mjo/cone/cone.py
@@ -141,7 +141,7 @@ def random_element(K):
     return V(sum(scaled_gens))
 
 
-def pointed_decomposition(K):
+def motzkin_decomposition(K):
     """
     Every convex cone is the direct sum of a pointed cone and a linear
     subspace. Return a pair ``(P,S)`` of cones such that ``P`` is
@@ -162,7 +162,7 @@ def pointed_decomposition(K):
 
         sage: set_random_seed()
         sage: K = random_cone(max_ambient_dim=8)
-        sage: (P,S) = pointed_decomposition(K)
+        sage: (P,S) = motzkin_decomposition(K)
         sage: x = random_element(K)
         sage: P.contains(x) or S.contains(x)
         True