WIP: factorization of polynomials over algebriac number fields

fix typo