X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Fcone%2Fcone.py;h=2d84337fda1cb5275add8171ba8e982559dc1853;hb=a2ad3efc39da8dbcc497c0ac861e1df200c6de5e;hp=f5371d6d803cdbc97fe4ba41cb26f0ee691f1a2a;hpb=4418c497a443fb1f5cb068ced5a2ddd5a9a0ad05;p=sage.d.git

diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py
index f5371d6..2d84337 100644
--- a/mjo/cone/cone.py
+++ b/mjo/cone/cone.py
@@ -126,28 +126,7 @@ def ips_iso(K):
     return (phi,phi_inv)
 
 
-
-def unrestrict_span(K, K2=None):
-    if K2 is None:
-        K2 = K
-
-    _,phi_inv = ips_iso(K2)
-    V_iso = iso_space(K2)
-    (W, W_perp) = V_iso.cartesian_factors()
-
-    rays = []
-    for r in K.rays():
-        w = sum([ r[idx]*W.basis()[idx] for idx in range(0,len(r)) ])
-        pair = V_iso( (w, W_perp.zero()) )
-        rays.append( phi_inv(pair) )
-
-    L = ToricLattice(W.dimension() + W_perp.dimension())
-
-    return Cone(rays, lattice=L)
-
-
-
-def restrict_span(K, K2=None):
+def rho(K, K2=None):
     r"""
     Restrict ``K`` into its own span, or the span of another cone.
 
@@ -195,14 +174,6 @@ def restrict_span(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()