``K``. It is known [Orlitzky]_ that this property need only be
checked for generators of ``K`` and its dual.
+ There are faster ways of checking this property. For example, we
+ could compute a `lyapunov_like_basis` of the cone, and then test
+ whether or not the given matrix is contained in the span of that
+ basis. The value of this function is that it works on symbolic
+ matrices.
+
INPUT:
- ``L`` -- A linear transformation or matrix.