Convex polytope (source code)

= Convex polytope
{wiki}

A convex polytope is a bounded intersection of finitely many closed half-spaces, equivalently the convex hull of finitely many points.