Capped simplex (source code)

= Capped simplex

The capped simplex $\{v\in\mathbb R^n:0\leq v_i\leq1,\ \sum_i v_i=k\}$ is the convex hull of the zero-one vectors having exactly $k$ entries equal to one.