X-Git-Url: https://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Fcone%2Fcone.py;h=c9d6a177ea75c2b3d0d5f3b8bc0fb4332d2b1e97;hb=4456d5b0a4f57318fd455a6b056efc65b114ca56;hp=daeeb8936edb5416b269a131afe95c286da75598;hpb=3da1b3bbfcc95758bcce3596a86b0697765bd177;p=sage.d.git diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py index daeeb89..c9d6a17 100644 --- 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