+ TESTS:
+
+ The projected cone should always be solid::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_ambient_dim = 8)
+ sage: _restrict_to_space(K, K.span()).is_solid()
+ True
+
+ And the resulting cone should live in a space having the same
+ dimension as the space we restricted it to::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_ambient_dim = 8)
+ sage: K_P = _restrict_to_space(K, K.dual().span())
+ sage: K_P.lattice_dim() == K.dual().dim()
+ True
+
+ This function should not affect the dimension of a cone::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_ambient_dim = 8)
+ sage: K.dim() == _restrict_to_space(K,K.span()).dim()
+ True
+
+ Nor should it affect the lineality of a cone::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_ambient_dim = 8)
+ sage: K.lineality() == _restrict_to_space(K, K.span()).lineality()
+ True
+
+ No matter which space we restrict to, the lineality should not
+ increase::
+
+ sage: set_random_seed()
+ sage: K = random_cone(max_ambient_dim = 8)
+ sage: S = K.span(); P = K.dual().span()
+ sage: K.lineality() >= _restrict_to_space(K,S).lineality()
+ True
+ sage: K.lineality() >= _restrict_to_space(K,P).lineality()
+ True