faster ``gf_edf_zassenhaus`` using the Frobenius map