sage: z_cone.linear_subspace() == lls
True
+ 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
"""
# Matrices are not vectors in Sage, so we have to convert them
# to vectors explicitly before we can find a basis. We need these