- Functions and commands
- cyclotomicField -- Cyclotomic Field Construction
- cyclotomicPoly -- Cyclotomic Polynomial
- findRootPower -- Find the order of the root in the coefficients of polynomial ring over a cyclotomic field
- joinCyclotomic -- Join ideals in polynomial rings over different cyclotomic fields