Pyramid

A pyramid is a polytope constructed by tapering a given polytope (the base) to a point along a new dimension. The facets of a pyramid include the base and the pyramids of all the base's facets.

Any CRF polytope with a circumradius of less than 1 has a CRF pyramid in the next dimension.

The regular simplex of each dimension is the pyramid of the simplex of the previous dimension.