Polyhedron_base.interior: Handle the empty polyhedron correctly

sagemath · Jun 12, 2021 · c085d30 · c085d30
1 parent 6ab5677
commit c085d30
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/sage/geometry/polyhedron/base.py b/src/sage/geometry/polyhedron/base.py
@@ -8425,7 +8425,15 @@ def interior(self):
             sage: P_lower.interior()
             The empty polyhedron in ZZ^2
 
+        TESTS::
+
+            sage: Empty = Polyhedron(ambient_dim=2); Empty
+            The empty polyhedron in ZZ^2
+            sage: Empty.interior() is Empty
+            True
         """
+        if self.is_open():
+            return self
         if not self.is_full_dimensional():
             return self.parent().element_class(self.parent(), None, None)
         return self.relative_interior()