-- -*- M2-comint -*- {* hash: 1732244806 *}

i1 : conwayPolynomial 125

      3
o1 = a  - 2a - 2

     ZZ
o1 : --[a]
      5

i2 : GF 125

o2 = GF 125

o2 : GaloisField

i3 : ambient oo

        ZZ
        --[a]
         5
o3 = -----------
      3
     a  - 2a - 2

o3 : QuotientRing

i4 : map(GF 125^2, GF 125)

                             5    4    3    2
o4 = map(GF 15625,GF 125,{- a  + a  - a  - a  - 2a - 2})

o4 : RingMap GF 15625 <--- GF 125

i5 : isWellDefined oo

o5 = true

i6 :