X-Git-Url: https://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Fcone%2Fcone.py;h=61914fa84189f9ba37a0bc3401ff3d6bd2e46461;hb=a96fd3b734f5819bfa8f408f0a682fec286a380c;hp=f5371d6d803cdbc97fe4ba41cb26f0ee691f1a2a;hpb=4418c497a443fb1f5cb068ced5a2ddd5a9a0ad05;p=sage.d.git diff --git a/mjo/cone/cone.py b/mjo/cone/cone.py index f5371d6..61914fa 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.