sage: S.lineality() == S.dim()
True
+ A strictly convex cone should be equal to its strictly convex component::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_ambient_dim=8, strictly_convex=True)
+ sage: (P,_) = motzkin_decomposition(K)
+ sage: K.is_equivalent(P)
+ True
+
The generators of the components are obtained from orthogonal
projections of the original generators [Stoer-Witzgall]_::