TESTS:
- The face generated by a set should be a face::
+ The face generated by <whatever> should be a face::
sage: set_random_seed()
sage: K = random_cone(max_ambient_dim=8, max_rays=10)
sage: F.is_face_of(K)
True
- The face generated a set should always contain that set::
+ The face generated by a set should always contain that set::
sage: set_random_seed()
sage: K = random_cone(max_ambient_dim=8, max_rays=10)