From: Michael Orlitzky <michael@orlitzky.com>
Date: Sun, 31 Jan 2016 14:33:39 +0000 (-0500)
Subject: Add a comment to is_lyapunov_like().
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=82ee8be74095a072dc69e19861c7bcbab0645d2f;p=sage.d.git

Add a comment to is_lyapunov_like().
---

diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py
index 3d74b5f..6661402 100644
--- a/mjo/cone/cone.py
+++ b/mjo/cone/cone.py
@@ -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.