Math.Algebra.Field.Extension

data UPoly a

x

showUP

toUPoly

(<+>)

(<*>)

convert

deg

lt

monomial

quotRemUP

modUP

extendedEuclidUP

class PolynomialAsType k poly

data ExtensionField k poly

(/>)

embed

polys

data ConwayF4

type F4

f4

a4

data ConwayF8

type F8

f8

a8

data ConwayF9

type F9

f9

a9

data ConwayF16

type F16

f16

a16

data ConwayF25

type F25

f25

a25

data ConwayF27

type F27

f27

a27

data ConwayF32

type F32

f32

a32

frobeniusAut

degree

data Sqrt a

type QSqrt2

sqrt2

type QSqrt3

sqrt3

type QSqrt5

sqrt5

type QSqrt7

sqrt7

type QSqrtMinus1

i

type QSqrtMinus2

sqrtminus2

type QSqrtMinus3

sqrtminus3

type QSqrtMinus5

sqrtminus5

conjugate