Cyclotomic_polynomial loading ...