i1 : k = GF(8) o1 = k o1 : GaloisField
i2 : x = k_0 o2 = GF$a o2 : k
i3 : x+x^2 2 o3 = GF$a + GF$a o3 : k