+ No matter which space we restrict to, the lineality should not
+ increase::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_dim = 8)
+ sage: K.lineality() >= rho(K).lineality()
+ True
+ sage: K.lineality() >= rho(K, K.dual()).lineality()
+ True
+
+ If we do this according to our paper, then the result is proper::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_dim = 8, strictly_convex=False, solid=False)
+ sage: K_S = rho(K)
+ sage: K_SP = rho(K_S.dual()).dual()
+ sage: K_SP.is_proper()
+ True
+ sage: K_SP = rho(K_S, K_S.dual())
+ sage: K_SP.is_proper()
+ True
+
+ ::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_dim = 8, strictly_convex=True, solid=False)
+ sage: K_S = rho(K)
+ sage: K_SP = rho(K_S.dual()).dual()
+ sage: K_SP.is_proper()
+ True
+ sage: K_SP = rho(K_S, K_S.dual())
+ sage: K_SP.is_proper()
+ True
+
+ ::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_dim = 8, strictly_convex=False, solid=True)
+ sage: K_S = rho(K)
+ sage: K_SP = rho(K_S.dual()).dual()
+ sage: K_SP.is_proper()
+ True
+ sage: K_SP = rho(K_S, K_S.dual())
+ sage: K_SP.is_proper()
+ True
+
+ ::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_dim = 8, strictly_convex=True, solid=True)
+ sage: K_S = rho(K)
+ sage: K_SP = rho(K_S.dual()).dual()
+ sage: K_SP.is_proper()
+ True
+ sage: K_SP = rho(K_S, K_S.dual())
+ sage: K_SP.is_proper()
+ True
+
+ Test the proposition in our paper concerning the duals and
+ restrictions. Generate a random cone, then create a subcone of
+ it. The operation of dual-taking should then commute with rho::
+
+ sage: set_random_seed()
+ sage: J = random_cone(max_dim = 8, solid=False, strictly_convex=False)
+ sage: K = Cone(random_sublist(J.rays(), 0.5), lattice=J.lattice())
+ sage: K_W = rho(K, J)
+ sage: K_star_W_star = rho(K.dual(), J).dual()
+ sage: basically_the_same(K_W, K_star_W_star)
+ True
+
+ ::
+
+ sage: set_random_seed()
+ sage: J = random_cone(max_dim = 8, solid=True, strictly_convex=False)
+ sage: K = Cone(random_sublist(J.rays(), 0.5), lattice=J.lattice())
+ sage: K_W = rho(K, J)
+ sage: K_star_W_star = rho(K.dual(), J).dual()
+ sage: basically_the_same(K_W, K_star_W_star)
+ True
+
+ ::
+
+ sage: set_random_seed()
+ sage: J = random_cone(max_dim = 8, solid=False, strictly_convex=True)
+ sage: K = Cone(random_sublist(J.rays(), 0.5), lattice=J.lattice())
+ sage: K_W = rho(K, J)
+ sage: K_star_W_star = rho(K.dual(), J).dual()
+ sage: basically_the_same(K_W, K_star_W_star)
+ True
+
+ ::
+
+ sage: set_random_seed()
+ sage: J = random_cone(max_dim = 8, solid=True, strictly_convex=True)
+ sage: K = Cone(random_sublist(J.rays(), 0.5), lattice=J.lattice())
+ sage: K_W = rho(K, J)
+ sage: K_star_W_star = rho(K.dual(), J).dual()
+ sage: basically_the_same(K_W, K_star_W_star)
+ True
+
+ """
+ if K2 is None:
+ K2 = K
+
+ # First we project K onto the span of K2. This will explode if the
+ # rank of ``K2.lattice()`` doesn't match ours.
+ span_K2 = Cone(K2.rays() + (-K2).rays(), lattice=K.lattice())
+ K = K.intersection(span_K2)
+
+ # Cheat a little to get the subspace span(K2). The paper uses the
+ # rays of K2 as a basis, but everything is invariant under linear
+ # isomorphism (i.e. a change of basis), and this is a little
+ # faster.
+ W = span_K2.linear_subspace()
+
+ # We've already intersected K with the span of K2, so every
+ # generator of K should belong to W now.
+ W_rays = [ W.coordinate_vector(r) for r in K.rays() ]
+
+ L = ToricLattice(K2.dim())
+ return Cone(W_rays, lattice=L)