constructive-algebra-0.1.3: A library of constructive algebra.

Algebra.Structures.Field

Synopsis

Documentation

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