cyclotomic factorization