+ And thus, the lineality of Z is the Lyapunov rank::
+
+ sage: set_random_seed()
+ sage: K = random_cone(min_ambient_dim = 1, max_ambient_dim = 6)
+ sage: z_cone = Cone([ z.list() for z in Z_transformation_gens(K) ])
+ sage: z_cone.lineality() == K.lyapunov_rank()
+ True