From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 11 Jan 2016 14:16:37 +0000 (-0500)
Subject: Add some more Z_transformation_gens examples.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=48a7ad09084a859da72e39e60312bfffb6b806e9;p=sage.d.git

Add some more Z_transformation_gens examples.
---

diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py
index 68fd193..a327720 100644
--- a/mjo/cone/cone.py
+++ b/mjo/cone/cone.py
@@ -513,6 +513,33 @@ def Z_transformation_gens(K):
         sage: Z_transformation_gens(K)
         []
 
+    Every operator is a Z-transformation on the ambient vector space::
+
+        sage: K = Cone([(1,),(-1,)])
+        sage: K.is_full_space()
+        True
+        sage: Z_transformation_gens(K)
+        [[-1], [1]]
+
+        sage: K = Cone([(1,0),(-1,0),(0,1),(0,-1)])
+        sage: K.is_full_space()
+        True
+        sage: Z_transformation_gens(K)
+        [
+        [-1  0]  [1 0]  [ 0 -1]  [0 1]  [ 0  0]  [0 0]  [ 0  0]  [0 0]
+        [ 0  0], [0 0], [ 0  0], [0 0], [-1  0], [1 0], [ 0 -1], [0 1]
+        ]
+
+    A non-obvious application is to find the Z-transformations on the
+    right half-plane::
+
+        sage: K = Cone([(1,0),(0,1),(0,-1)])
+        sage: Z_transformation_gens(K)
+        [
+        [-1  0]  [1 0]  [ 0  0]  [0 0]  [ 0  0]  [0 0]
+        [ 0  0], [0 0], [-1  0], [1 0], [ 0 -1], [0 1]
+        ]
+
     Z-transformations on a subspace are Lyapunov-like and vice-versa::
 
         sage: K = Cone([(1,0),(-1,0),(0,1),(0,-1)])