X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Fcone%2Fcone.py;h=a4e327248fd47bf700dd698b63e426f16f47037c;hb=41ce22703a7948acd99917ce655e321025836858;hp=d77793550aa44f02ea7047e2049b852b40db936f;hpb=e1d68e35bb9d1408fe1ed74e15afde23b57e55fc;p=sage.d.git diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py index d777935..a4e3272 100644 --- a/mjo/cone/cone.py +++ b/mjo/cone/cone.py @@ -493,7 +493,7 @@ def lyapunov_rank(K): 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 @@ -510,7 +510,7 @@ def lyapunov_rank(K): 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.