Hilbert basis (linear programming): Difference between revisions