TESTS:
+ A random point in the cone should belong to either the pointed
+ subcone ``P`` or the subspace ``S``. If the point is nonzero, it
+ should lie in one but not both of them::
+
sage: set_random_seed()
sage: K = random_cone(max_ambient_dim=8)
sage: (P,S) = pointed_decomposition(K)