Add some more Z_transformation_gens examples.

diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py
index 68fd1931e9d7a4a7fdf3a00a5636011c963e58dd..a327720132b3907562f269fc4872a2b829226a59 100644 (file)
--- 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)])