- 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_star = _rho(K, J).dual()
- sage: K_star_W = _rho(K.dual(), J)
- sage: _basically_the_same(K_W_star, K_star_W)
- 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_star = _rho(K, J).dual()
- sage: K_star_W = _rho(K.dual(), J)
- sage: _basically_the_same(K_W_star, K_star_W)
- 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_star = _rho(K, J).dual()
- sage: K_star_W = _rho(K.dual(), J)
- sage: _basically_the_same(K_W_star, K_star_W)
- True
-
- ::
-
- sage: set_random_seed()
- sage: J = random_cone(max_dim = 8, solid=True, strictly_convex=True)