- sage: K = random_cone(max_dim = 8, strictly_convex=True, solid=False)
- sage: K_S = restrict_span(K)
- sage: P = restrict_span(K_S.dual()).dual()
- sage: P.is_proper()
- True
- sage: P = restrict_span(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 = restrict_span(K)
- sage: P = restrict_span(K_S.dual()).dual()
- sage: P.is_proper()
- True
- sage: P = restrict_span(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 = restrict_span(K)
- sage: P = restrict_span(K_S.dual()).dual()
- sage: P.is_proper()
- True
- sage: P = restrict_span(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 = restrict_span(K, K.dual())
- sage: K_star_W_star = restrict_span(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 = restrict_span(K, K.dual())
- sage: K_star_W_star = restrict_span(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=False, strictly_convex=True)
- sage: K_W = restrict_span(K, K.dual())
- sage: K_star_W_star = restrict_span(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=True)
- sage: K_W = restrict_span(K, K.dual())
- sage: K_star_W_star = restrict_span(K.dual()).dual()
- sage: basically_the_same(K_W, K_star_W_star)