Safe Haskell | None |
---|---|
Language | Haskell98 |
Math.Algebra.Field.Extension
Documentation
Constructors
UP [a] |
extendedEuclidUP :: (Eq k, Fractional k) => UPoly k -> UPoly k -> (UPoly k, UPoly k, UPoly k) Source #
class PolynomialAsType k poly where Source #
Minimal complete definition
Instances
data ExtensionField k poly Source #
Instances
Eq k => Eq (ExtensionField k poly) Source # | |
(Eq k, Fractional k, PolynomialAsType k poly) => Fractional (ExtensionField k poly) Source # | |
(Eq k, Fractional k, PolynomialAsType k poly) => Num (ExtensionField k poly) Source # | |
Ord k => Ord (ExtensionField k poly) Source # | |
(Eq k, Show k, Num k) => Show (ExtensionField k poly) Source # | |
(FinSet fp, Eq fp, Num fp, PolynomialAsType fp poly) => FinSet (ExtensionField fp poly) Source # | |
(FiniteField k, PolynomialAsType k poly) => FiniteField (ExtensionField k poly) Source # | |
frobeniusAut :: FiniteField a => a -> a Source #
Constructors
Sqrt a |
Instances
IntegerAsType n => PolynomialAsType Q (Sqrt n) Source # | |
type QSqrtMinus1 = ExtensionField Q (Sqrt TMinus1) Source #
i :: QSqrtMinus1 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 #