Data.SBV.Examples.Polynomials.Polynomials

type GF28

gfMult

multUnit

multComm

multAssoc

polyDivMod

testGF28