Piecewise linear ball (source code)

= Piecewise linear ball
{title2=$B^n$}

A piecewise linear ball is a <simplicial complex> admitting a <homeomorphism> to an $n$-<simplex> that is linear on the <simplexes> of suitable finite <simplicial subdivisions>. Its <boundary> is a piecewise linear <sphere>.