Simplicial pseudomanifold (source code)

= Simplicial pseudomanifold

The geometric realization is a <pseudomanifold> without boundary in the convention used here.

A pure $n$-dimensional simplicial complex is a pseudomanifold when every codimension-one simplex belongs to exactly two top-dimensional simplices and the top simplices are connected through shared codimension-one faces.