hilbert basis