Implement factoring of Dedekind zeta functions.