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
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