sage: K_S.lattice_dim() == K.dual().dim()
True
- This function has ``unrestrict_span()`` as its inverse::
-
- sage: set_random_seed()
- sage: K = random_cone(max_dim = 8, solid=True)
- sage: J = restrict_span(K)
- sage: K == unrestrict_span(J,K)
- True
-
This function should not affect the dimension of a cone::
sage: set_random_seed()