This function computes the postulation number of M which is defined as the largest degree at which the Hilbert function of the graded module M is not equal to the hilbertPolynomial





The object postulationNumber is a method function.