Hilbert basis may refer to