More fixes from review

Author: jplab

src/sage/geometry/fan.py

@@ -2472,6 +2472,15 @@ def is_polytopal(self):
             sage: mother(epsilon).is_polytopal()
             True
 
+        TESTS::
+
+            sage: cone = Cone([(1,1), (2,1)])
+            sage: F = Fan([cone])
+            sage: F.is_polytopal()
+            Traceback (most recent call last):
+            ...
+            ValueError: to be polytopal, the fan should be complete
+
         .. SEEALSO::
 
             :meth:`is_projective`.

src/sage/geometry/polyhedron/base5.py

@@ -664,7 +664,7 @@ def deformation_cone(self):
         Return the deformation cone of ``self``.
 
         Let `P` be a `d`-polytope in `\RR^r` with `n` facets. The deformation
-        cone is a polyhedron in `\RR^n` who points are the right-hand side `b`
+        cone is a polyhedron in `\RR^n` whose points are the right-hand side `b`
         in `Ax\leq b` where `A` is the matrix of facet normals of ``self``, so
         that the resulting polytope has a normal fan which is a coarsening of
         the normal fan of ``self``.
@@ -707,15 +707,15 @@ def deformation_cone(self):
 
         REFERENCES:
 
-            For more information, see Section 5.4 of [DLRS2010]_ and Section
-            2.2 of [ACEP2020].
+        For more information, see Section 5.4 of [DLRS2010]_ and Section
+        2.2 of [ACEP2020].
         """
         from .constructor import Polyhedron
         m = matrix([ineq.A() for ineq in self.Hrepresentation()])
         m = m.transpose()
         m_ker = m.right_kernel_matrix(basis='computed')
         gale = tuple(m_ker.columns())
-        collection = [f.ambient_H_indices() for f in self.faces(0)]
+        collection = (f.ambient_H_indices() for f in self.faces(0))
         n = len(gale)
         c = None
         for cone_indices in collection: