i1 : F = GF(25,Variable=>a) o1 = F o1 : GaloisField
i2 : ambient F ZZ --[a] 5 o2 = ----------- 2 a - 2a - 1 o2 : QuotientRing