halg-core-0.6.0.0: Core types and functions of halg computational algebra suite.

Safe HaskellSafe
LanguageHaskell2010

Algebra.Field.Finite

Synopsis

Documentation

class (Field k, Characteristic k) => FiniteField k where Source #

Abstract class for finite fields.

Minimal complete definition

power, elements

Methods

power :: proxy k -> Natural Source #

elements :: proxy k -> [k] Source #

Instances
Reifies p Integer => FiniteField (F p) Source # 
Instance details

Methods

power :: proxy (F p) -> Natural Source #

elements :: proxy (F p) -> [F p] Source #

order :: FiniteField k => proxy k -> Natural Source #