Math.Algebra.Field.Extension
data UPoly a
class PolynomialAsType k poly
data ExtensionField k poly
data ConwayF4
type F4
data ConwayF8
type F8
data ConwayF9
type F9
data ConwayF16
type F16
data ConwayF25
type F25
data ConwayF27
type F27
data ConwayF32
type F32
data Sqrt a
type QSqrt2
type QSqrt3
type QSqrt5
type QSqrt7
type QSqrtMinus1
type QSqrtMinus2
type QSqrtMinus3
type QSqrtMinus5