[math-fun] cyclotomic factorization