| Portability | non-portable (ScopedTypeVariables, MultiParamTypeClasses, DeriveDataTypeable) |
|---|---|
| Stability | provisional |
| Maintainer | masahiro.sakai@gmail.com |
| Safe Haskell | None |
Data.FiniteField.PrimeField
Description
- data PrimeField p
- toInteger :: PrimeField p -> Integer
Documentation
data PrimeField p Source
Finite field of prime order Fp.
NB: Primality of p is assumed, but not checked.
Instances
| Typeable1 PrimeField | |
| Nat p => LeftModule Integer (PrimeField p) | |
| Nat p => LeftModule Natural (PrimeField p) | |
| Nat p => RightModule Integer (PrimeField p) | |
| Nat p => RightModule Natural (PrimeField p) | |
| Nat p => Bounded (PrimeField p) | |
| Nat p => Enum (PrimeField p) | |
| Eq (PrimeField p) | |
| Nat p => Fractional (PrimeField p) | |
| Nat p => Num (PrimeField p) | |
| Ord (PrimeField p) | |
| Nat p => Read (PrimeField p) | |
| Show (PrimeField p) | |
| Nat p => Field (PrimeField p) | |
| Nat p => Commutative (PrimeField p) | |
| Nat p => Ring (PrimeField p) | |
| Nat p => Characteristic (PrimeField p) | |
| Nat p => Rig (PrimeField p) | |
| Nat p => Division (PrimeField p) | |
| Nat p => Unital (PrimeField p) | |
| Nat p => Group (PrimeField p) | |
| Nat p => Multiplicative (PrimeField p) | |
| Nat p => Semiring (PrimeField p) | |
| Nat p => Monoidal (PrimeField p) | |
| Nat p => Additive (PrimeField p) | |
| Nat p => Abelian (PrimeField p) | |
| NFData (PrimeField p) |
toInteger :: PrimeField p -> IntegerSource
conversion to Integer