Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

SimplicialHomology

Guides

  • SimplicialHomology

Symbols

  • BettiNumber
  • HomologyGroup
  • SimplicialAutomorphismGroup
  • SimplicialComplex
  • SimplicialCone
  • SimplicialIsomorphicQ
  • SimplicialJoin
  • SimplicialLink
  • SimplicialProduct
  • SimplicialStar
  • SimplicialSuspension
  • SubComplexQ
Taggar`SimplicialHomology`
SubComplexQ
​
SubComplexQ
[
sc
1
,
sc
2
]
checks if
sc
2
is a subcomplex of
sc
1
.
​
Details and Options
▪
Both
k
1
and
k
2
must be
SimplicialComplex
es.
Examples  
(3)
Basic Examples  
(3)
Check that a simplicial complex is subcomplex of the other:
In[1]:=
SubComplexQ

SimplicialComplex
["Line"],
SimplicialComplex
["Point"]
Out[1]=
True
In[2]:=
SubComplexQ

SimplicialComplex
["Sphere"],
SimplicialComplex
["Circle"]
Out[2]=
True
​
Check that a simplicial complex is not a subcomplex of the other:
In[1]:=
SubComplexQ

SimplicialComplex
["Triangle"],
SimplicialComplex
["Torus"]
Out[1]=
False
​
A simplicial complex is always its own subcomplex:
In[1]:=
SubComplexQ

SimplicialComplex
[{{1,2},{2,4,5}}],
SimplicialComplex
[{{1,2},{2,4,5}}]
Out[1]=
True
SeeAlso
SimplicialComplex
RelatedGuides
▪
SimplicialHomology
""

© 2026 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com