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