- type Z = Integer
- class CommutativeRing a => IntegralDomain a
Documentation
class CommutativeRing a => IntegralDomain a Source
Definition of integral domains.
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) |