Simplicial cone (source code)

= Simplicial cone

Realization of the simplicial construction produces the corresponding <topological cone>.

The simplicial cone $v*K$ adjoins a new vertex $v$ to every simplex of $K$ and is contractible.