constructive-algebra-0.1.6: A library of constructive algebra.
Algebra.Structures.Field
Synopsis
module Algebra.Structures.IntegralDomain
class IntegralDomain a => Field a whereSource
Definition of fields.
Methods
inv :: a -> aSource
Instances
propField :: (Field a, Eq a) => a -> a -> a -> PropertySource
Specification of fields. Test that the multiplicative inverses behave as expected and that it satisfies the axioms of integral domains.
(</>) :: Field a => a -> a -> aSource
Division