Trac #34294: SimplicialComplex: Add method is_subcomplex

... in analogy to cubical and polyhedral complexes

(from #33586)

URL: https://trac.sagemath.org/34294
Reported by: mkoeppe
Ticket author(s): John Palmieri
Reviewer(s): Matthias Koeppe

Author: Release Manager

src/sage/topology/simplicial_complex.py

@@ -2785,6 +2785,35 @@ def remove_faces(self, faces, check=False):
         for f in faces:
             self.remove_face(f, check=check)
 
+    def is_subcomplex(self, other):
+        """
+        Return ``True`` if this is a subcomplex of ``other``.
+
+        :param other: another simplicial complex
+
+        EXAMPLES::
+
+            sage: S1 = simplicial_complexes.Sphere(1)
+            sage: S1.is_subcomplex(S1)
+            True
+            sage: Empty = SimplicialComplex()
+            sage: Empty.is_subcomplex(S1)
+            True
+            sage: S1.is_subcomplex(Empty)
+            False
+
+            sage: sorted(S1.facets())
+            [(0, 1), (0, 2), (1, 2)]
+            sage: T = S1.product(S1)
+            sage: sorted(T.facets())[0] # typical facet in T
+            ('L0R0', 'L0R1', 'L1R1')
+            sage: S1.is_subcomplex(T)
+            False
+            sage: T._contractible_subcomplex().is_subcomplex(T)
+            True
+        """
+        return all(f in other for f in self.facets())
+
     def connected_sum(self, other, is_mutable=True):
         """
         The connected sum of this simplicial complex with another one.