-- -*- M2-comint -*- hash: 7199837769384685767

i1 : A = GF(3,2,Variable=>b);

i2 : ambient A

        ZZ
        --[b]
         3
o2 = ----------
      2
     b  - b - 1

o2 : QuotientRing

i3 : b^8

o3 = 1

o3 : A

i4 : b^4

o4 = -1

o4 : A

i5 : K = GF 8

o5 = K

o5 : GaloisField

i6 : a^3+a

o6 = 1

o6 : K

i7 : A = ZZ/5[a]/(a^3-a-2)

o7 = A

o7 : QuotientRing

i8 : B = GF A

o8 = B

o8 : GaloisField

i9 : C = ZZ/5[b]/(b^3+1+3*b^2+b)

o9 = C

o9 : QuotientRing

i10 : D = GF C

o10 = D

o10 : GaloisField

i11 : map(B,D,{a^2})

                   2
o11 = map (B, D, {a })

o11 : RingMap B <-- D

i12 : 
