- sage: K = Cone([(1,0),(0,1)])
- sage: discrete_complementarity_set(K)
- [((1, 0), (0, 1)), ((0, 1), (1, 0))]
-
- If the cone consists of a single ray, the second components of the
- discrete complementarity set should generate the orthogonal
- complement of that ray::
-
- sage: K = Cone([(1,0)])
- sage: discrete_complementarity_set(K)
- [((1, 0), (0, 1)), ((1, 0), (0, -1))]
- sage: K = Cone([(1,0,0)])
- sage: discrete_complementarity_set(K)
- [((1, 0, 0), (0, 1, 0)),
- ((1, 0, 0), (0, -1, 0)),
- ((1, 0, 0), (0, 0, 1)),
- ((1, 0, 0), (0, 0, -1))]
-
- When the cone is the entire space, its dual is the trivial cone, so
- the discrete complementarity set is empty::
+ sage: set_random_seed()
+ sage: K = random_cone(min_ambient_dim=1, max_ambient_dim=8)
+ sage: L = identity_matrix(K.lattice_dim())
+ sage: is_lyapunov_like(L,K)
+ True
+
+ As is the "zero" transformation::
+
+ sage: K = random_cone(min_ambient_dim=1, max_ambient_dim=8)
+ sage: R = K.lattice().vector_space().base_ring()
+ sage: L = zero_matrix(R, K.lattice_dim())
+ sage: is_lyapunov_like(L,K)
+ True
+
+ Everything in ``K.lyapunov_like_basis()`` should be Lyapunov-like
+ on ``K``::
+
+ sage: K = random_cone(min_ambient_dim=1, max_ambient_dim=6)
+ sage: all([ is_lyapunov_like(L,K) for L in K.lyapunov_like_basis() ])
+ True
+
+ """
+ return all([(L*x).inner_product(s) == 0
+ for (x,s) in K.discrete_complementarity_set()])
+
+
+def motzkin_decomposition(K):
+ r"""
+ Return the pair of components in the motzkin decomposition of this cone.
+
+ Every convex cone is the direct sum of a strictly convex cone and a
+ linear subspace. Return a pair ``(P,S)`` of cones such that ``P`` is
+ strictly convex, ``S`` is a subspace, and ``K`` is the direct sum of
+ ``P`` and ``S``.
+
+ OUTPUT:
+
+ An ordered pair ``(P,S)`` of closed convex polyhedral cones where
+ ``P`` is strictly convex, ``S`` is a subspace, and ``K`` is the
+ direct sum of ``P`` and ``S``.
+
+ EXAMPLES:
+
+ The nonnegative orthant is strictly convex, so it is its own
+ strictly convex component and its subspace component is trivial::
+
+ sage: K = Cone([(1,0,0),(0,1,0),(0,0,1)])
+ sage: (P,S) = motzkin_decomposition(K)
+ sage: K.is_equivalent(P)
+ True
+ sage: S.is_trivial()
+ True
+
+ Likewise, full spaces are their own subspace components::