- sage: K = random_cone(max_dim = 10, strictly_convex=True)
- sage: K_W = restrict_span(intersect_span(K,K.dual()), K.dual())
- sage: K_star_W_star = restrict_span(K.dual()).dual()
- sage: j1 = unrestrict_span(K_W, K.dual())
- sage: j2 = unrestrict_span(K_star_W_star, K.dual())
- sage: j1 == j2
+ 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()