Affine semigroup of a rational cone (source code)

= Affine semigroup of a rational cone
{title2=$\sigma^\vee\cap M$}

For a rational cone $\sigma$, the lattice points $\sigma^\vee\cap M$ form a finitely generated additive monoid.