Hilbert basis of a rational cone (source code)

= Hilbert basis of a rational cone

The Hilbert basis is the unique minimal generating set of the additive monoid of lattice points in a pointed rational cone.