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`
HomologyGroup
​
HomologyGroup
[sc,n]
computes the
n
th
homology group of
sc
.
​
​
HomologyGroup
[sc]
computes all homology groups of
sc
.
​
​
HomologyGroup
[sc,sub,n]
computes the
n
th
homology group of
sc
relative to
sub
.
​
​
HomologyGroup
[sc,sub]
computes all homology groups of
sc
relative to
sub
.
​
Details and Options
▪
Both
sc
and
sub
should be
SimplicialComplex
objects.
▪
A direct product of groups in the output is represented as
G
1
⊕
G
2
⊕…
.
▪
The following options can be given:
"Reduced"
False
whether to calculate reduced homology
"Coefficients"
Integers
coefficients over which to calculate homology
▪
"Coefficients" option takes the following values:
Integers
integers
Rationals
rational numbers
p
elements of finite field
p
​
Examples  
(13)
Basic Examples  
(4)
Calculate a homology group of a space:
In[1]:=
HomologyGroup

SimplicialComplex
["Circle"],0
Out[1]=

In[2]:=
HomologyGroup

SimplicialComplex
["Circle"],1
Out[2]=

In[3]:=
HomologyGroup

SimplicialComplex
["Circle"],2
Out[3]=
0
​
th
0
Homology group of two disjoint points demonstrating the number of connected components:
In[1]:=
HomologyGroup

SimplicialComplex
[{{1},{2}}],0
Out[1]=
2

Their reduced homology group:
In[2]:=
HomologyGroup

SimplicialComplex
[{{1},{2}}],0,"Reduced"True
Out[2]=

​
Calculate homology of a contractible complex:
In[1]:=
HomologyGroup

SimplicialComplex
["DunceHat"]
Out[1]=
0,10,20
​
Examples of spaces whose homology have torsion:
In[1]:=
HomologyGroup

SimplicialComplex
["RealProjectivePlane"]
Out[1]=
0,1

2
,20
In[2]:=
HomologyGroup

SimplicialComplex
["KleinBottle"]
Out[2]=
0,1⊕

2
,20
Scope  
(2)

Options  
(2)

Applications  
(1)

Properties & Relations  
(3)

Neat Examples  
(1)

SeeAlso
SimplicialComplex
 
▪
BettiNumber
RelatedGuides
▪
SimplicialHomology
""

© 2026 Wolfram. All rights reserved.

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