Regular polytope (source code)

= Regular polytope
{wiki}

TODO understand and explain definition.