Berlekamp_Zassenhaus.Factorization_External_Interface