Hilbert–Samuel_function loading ...