HaskellForMaths-0.1.6

Math.Algebra.Field.Base

Documentation

newtype Q Source

Constructors

Instances

Eq Q
Fractional Q
Num Q
Ord Q
Show Q
IntegerAsType n => PolynomialAsType Q (Sqrt n)

newtype Fp n Source

Constructors

Instances

Eq (Fp n)
IntegerAsType n => Fractional (Fp n)
IntegerAsType n => Num (Fp n)
Ord (Fp n)
Show (Fp n)
IntegerAsType p => FiniteField (Fp p)

class FiniteField fq whereSource

Methods

eltsFq :: fq -> [fq]Source

basisFq :: fq -> [fq]Source

Instances

IntegerAsType p => FiniteField (Fp p)
(Num k, FiniteField k, PolynomialAsType k poly) => FiniteField (ExtensionField k poly)

type F2 = Fp T2 Source

type F3 = Fp T3 Source

type F5 = Fp T5 Source

type F7 = Fp T7 Source

type F11 = Fp T11 Source

type F13 = Fp T13 Source

type F17 = Fp T17 Source

type F19 = Fp T19 Source

type F23 = Fp T23 Source

type F29 = Fp T29 Source

type F31 = Fp T31 Source

type F37 = Fp T37 Source

type F41 = Fp T41 Source

type F43 = Fp T43 Source

type F47 = Fp T47 Source

type F53 = Fp T53 Source

type F59 = Fp T59 Source

type F61 = Fp T61 Source

type F67 = Fp T67 Source

type F71 = Fp T71 Source

type F73 = Fp T73 Source

type F79 = Fp T79 Source

type F83 = Fp T83 Source

type F89 = Fp T89 Source

type F97 = Fp T97 Source