- EXAMPLES:
-
- Z-transformations on the nonnegative orthant are just Z-matrices.
- That is, matrices whose off-diagonal elements are nonnegative::
-
- sage: K = Cone([(1,0),(0,1)])
- sage: Z_transformation_gens(K)
- [
- [ 0 -1] [ 0 0] [-1 0] [1 0] [ 0 0] [0 0]
- [ 0 0], [-1 0], [ 0 0], [0 0], [ 0 -1], [0 1]
- ]
- sage: K = Cone([(1,0,0,0),(0,1,0,0),(0,0,1,0),(0,0,0,1)])
- sage: all([ z[i][j] <= 0 for z in Z_transformation_gens(K)
- ....: for i in range(z.nrows())
- ....: for j in range(z.ncols())
- ....: if i != j ])
- True