Hilbert_polynomial loading ...