X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Fcone%2Fcone.py;h=2d84337fda1cb5275add8171ba8e982559dc1853;hb=a2ad3efc39da8dbcc497c0ac861e1df200c6de5e;hp=61914fa84189f9ba37a0bc3401ff3d6bd2e46461;hpb=a96fd3b734f5819bfa8f408f0a682fec286a380c;p=sage.d.git diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py index 61914fa..2d84337 100644 --- a/mjo/cone/cone.py +++ b/mjo/cone/cone.py @@ -174,14 +174,6 @@ def rho(K, K2=None): sage: K_S.lattice_dim() == K.dual().dim() True - This function has ``unrestrict_span()`` as its inverse:: - - sage: set_random_seed() - sage: K = random_cone(max_dim = 8, solid=True) - sage: J = restrict_span(K) - sage: K == unrestrict_span(J,K) - True - This function should not affect the dimension of a cone:: sage: set_random_seed()