import scas.residue.GaloisField
import scas.base.
import .given

val r = GaloisField("2")("α")
val List(α) = r.generators
import r.given
r.update(1αα2)

assert (α\2 >< 1α)