diff --git a/src/sage/geometry/polyhedron/base.py b/src/sage/geometry/polyhedron/base.py index cdf98457734..ff328181047 100644 --- a/src/sage/geometry/polyhedron/base.py +++ b/src/sage/geometry/polyhedron/base.py @@ -2644,11 +2644,10 @@ def is_simple(self): """ if not self.is_compact(): return False - for v in self.vertex_generator(): - adj = [a for a in v.neighbors()] - if len(adj) != self.dim(): - return False - return True + d = self.dim() + return all(len([facet for facet in vertex.incident() + if not facet.is_equation()]) == d + for vertex in self.Vrepresentation()) def is_simplicial(self): """