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