Finitely generated cone (source code)

= Finitely generated cone
{title2=$C=\{\sum_{j=1}^r\lambda_j a_j:\lambda_j\geq0\}$}

A <finitely generated cone> is a <conic hull> of a finite set of vectors. Every point admits a representation using linearly independent active generators, by eliminating dependence while keeping coefficients nonnegative.