sage: actual = lyapunov_rank(K)
sage: K_S = project_span(K)
sage: P = project_span(K_S.dual()).dual()
- sage: l = K.linear_subspace().dimension()
+ sage: l = lineality(K)
sage: codim = K.lattice_dim() - K.dim()
sage: expected = lyapunov_rank(P) + K.dim()*(l + codim) + codim**2
sage: actual == expected
m = K.dim()
n = K.lattice_dim()
- l = K.linear_subspace().dimension()
+ l = lineality(K)
if m < n:
# K is not solid, project onto its span.