]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
Add a comment to is_lyapunov_like().
authorMichael Orlitzky <michael@orlitzky.com>
Sun, 31 Jan 2016 14:33:39 +0000 (09:33 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sun, 31 Jan 2016 14:33:39 +0000 (09:33 -0500)
mjo/cone/cone.py

index 3d74b5f17adc095dc43c7e421f511ab84308c4ac..666140274eae2095299f340d4f1b342b3c45dec5 100644 (file)
@@ -10,6 +10,12 @@ def is_lyapunov_like(L,K):
     ``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.