findRootPower -- Find the order of the root in the coefficients of polynomial ring over a cyclotomic field

• Usage:

  findRootPower R

• Inputs:
  • R, a polynomial ring over a cyclotomic field
• Outputs:
  • i, The order of the adjoined root of unity, or 2 if the coefficient field is QQ

i1 : S = cyclotomicField 5

o1 = S

o1 : PolynomialRing

i2 : T = S[x,y]

o2 = T

o2 : PolynomialRing

i3 : findRootPower T

o3 = 5