Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 char :: PrimeField p -> Integer Source # | |
(GaloisField k, IrreducibleMonic k im) => GaloisField (ExtensionField k im) Source # | Extension fields are Galois fields |
Defined in ExtensionField char :: ExtensionField k im -> Integer Source # |