Facet (source code)

= Facet
{title2=$\dim F=n-1$}
{wiki=Facet_(geometry)}

A facet of a full-dimensional <convex polytope> in $\mathbb R^n$ is a face of dimension $n-1$. Each irredundant supporting <closed half-space> defines one facet.