Documentation
UP [a] |
class PolynomialAsType k poly whereSource
data ExtensionField k poly Source
Eq k => Eq (ExtensionField k poly) | |
(Num k, Fractional k, PolynomialAsType k poly) => Fractional (ExtensionField k poly) | |
(Num k, Fractional k, PolynomialAsType k poly) => Num (ExtensionField k poly) | |
Ord k => Ord (ExtensionField k poly) | |
Num k => Show (ExtensionField k poly) | |
(FiniteField k, PolynomialAsType k poly) => FiniteField (ExtensionField k poly) |
type F4 = ExtensionField F2 ConwayF4Source
type F8 = ExtensionField F2 ConwayF8Source
type F9 = ExtensionField F3 ConwayF9Source
type F16 = ExtensionField F2 ConwayF16Source
type F25 = ExtensionField F5 ConwayF25Source
type F27 = ExtensionField F3 ConwayF27Source
type F32 = ExtensionField F2 ConwayF32Source
type QSqrtMinus1 = ExtensionField Q (Sqrt TMinus1)Source
type QSqrtMinus2 = ExtensionField Q (Sqrt (M TMinus1 T2))Source
type QSqrtMinus3 = ExtensionField Q (Sqrt (M TMinus1 T3))Source
type QSqrtMinus5 = ExtensionField Q (Sqrt (M TMinus1 T5))Source
conjugate :: ExtensionField Q (Sqrt d) -> ExtensionField Q (Sqrt d)Source