- sage: K = random_cone(max_dim = 8, strictly_convex=False, solid=False)
- sage: K_S = rho(K)
- sage: P = rho(K_S.dual()).dual()
- sage: P.is_proper()
- True
- sage: P = rho(K_S, K_S.dual())
- sage: P.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: P = rho(K_S.dual()).dual()
- sage: P.is_proper()
- True
- sage: P = rho(K_S, K_S.dual())
- sage: P.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: P = rho(K_S.dual()).dual()
- sage: P.is_proper()
- True
- sage: P = rho(K_S, K_S.dual())
- sage: P.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: P = rho(K_S.dual()).dual()
- sage: P.is_proper()
- True
- sage: P = rho(K_S, K_S.dual())
- sage: P.is_proper()
- True
-
- Test the proposition in our paper concerning the duals, where the
- subspace `W` is the span of `K^{*}`::
-
- sage: set_random_seed()
- sage: K = random_cone(max_dim = 8, solid=False, strictly_convex=False)
- sage: K_W = rho(K, K.dual())
- sage: K_star_W_star = rho(K.dual()).dual()
- sage: basically_the_same(K_W, K_star_W_star)
- True
-
- ::
-
- sage: set_random_seed()
- sage: K = random_cone(max_dim = 8, solid=True, strictly_convex=False)
- sage: K_W = rho(K, K.dual())
- sage: K_star_W_star = rho(K.dual()).dual()
- sage: basically_the_same(K_W, K_star_W_star)