+ The Z-property is possessed by every Z-transformation::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_ambient_dim = 6)
+ sage: Z_of_K = Z_transformation_gens(K)
+ sage: dcs = K.discrete_complementarity_set()
+ sage: all([(z*x).inner_product(s) <= 0 for z in Z_of_K
+ ....: for (x,s) in dcs])
+ True
+
+ The lineality space of Z is LL::
+
+ sage: set_random_seed()
+ sage: K = random_cone(min_ambient_dim = 1, max_ambient_dim = 6)
+ sage: lls = span([ vector(l.list()) for l in K.lyapunov_like_basis() ])
+ sage: z_cone = Cone([ z.list() for z in Z_transformation_gens(K) ])
+ sage: z_cone.linear_subspace() == lls
+ True
+
+ """
+ # Matrices are not vectors in Sage, so we have to convert them
+ # to vectors explicitly before we can find a basis. We need these
+ # two values to construct the appropriate "long vector" space.
+ F = K.lattice().base_field()
+ n = K.lattice_dim()
+
+ # These tensor products contain generators for the dual cone of
+ # the cross-positive transformations.
+ tensor_products = [ s.tensor_product(x)
+ for (x,s) in K.discrete_complementarity_set() ]
+
+ # Turn our matrices into long vectors...
+ W = VectorSpace(F, n**2)
+ vectors = [ W(m.list()) for m in tensor_products ]
+
+ # Create the *dual* cone of the cross-positive operators,
+ # expressed as long vectors..
+ Sigma_dual = Cone(vectors, lattice=ToricLattice(W.dimension()))
+
+ # Now compute the desired cone from its dual...
+ Sigma_cone = Sigma_dual.dual()
+
+ # And finally convert its rays back to matrix representations.
+ # But first, make them negative, so we get Z-transformations and
+ # not cross-positive ones.
+ M = MatrixSpace(F, n)
+ return [ -M(v.list()) for v in Sigma_cone.rays() ]