| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GaloisField
Synopsis
- class (Eq k, Fractional k, Show k) => GaloisField k where
Documentation
class (Eq k, Fractional k, Show k) => GaloisField k where Source #
Galois fields GF(p^q) for p prime and q non-negative
Instances
| KnownNat p => GaloisField (PrimeField p) Source # | Prime fields are Galois fields |
Defined in PrimeField Methods char :: PrimeField p -> Integer Source # | |
| (GaloisField k, IrreducibleMonic k im) => GaloisField (ExtensionField k im) Source # | Extension fields are Galois fields |
Defined in ExtensionField Methods char :: ExtensionField k im -> Integer Source # | |