hilbert basis theorem

Input interpretation

Hilbert basis theorem