Algebra.Z

Documentation

type Z = Integer

Type synonym for integers.

class CommutativeRing a => IntegralDomain a

Definition of integral domains.

Instances

IntegralDomain Z

IntegralDomain EllipticCurve

IntegralDomain ZSqrt5

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

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

(CommutativeRing r, Eq r) => IntegralDomain (UPoly r x)