Algebra.Structures.Field

Documentation

module Algebra.Structures.IntegralDomain

class IntegralDomain a => Field a where

Definition of fields.

Methods

inv :: a -> a

Instances

(GCDDomain a, Eq a) => Field (FieldOfFractions a)

(Prime n True, Nat n) => Field (Zn n)

propField :: (Field a, Eq a) => a -> a -> a -> Property

Specification of fields. Test that the multiplicative inverses behave as expected and that it satisfies the axioms of integral domains.

(</>) :: Field a => a -> a -> a

Division