Berlekamp_Zassenhaus.Polynomial_Record_Based