Data.SBV.Examples.Polynomials.Polynomials
type GF28
gfMult
multUnit
multComm
multAssoc
polyDivMod
testGF28