Documentation
Definition of rings.
Addition
Multiplication
Compute additive inverse
The additive identity
The multiplicative identity
Ring Z | |
(GCDDomain a, Eq a) => Ring (FieldOfFractions a) | |
(CommutativeRing r, Eq r) => Ring (UPoly r x) |
Definition of rings.
Addition
Multiplication
Compute additive inverse
The additive identity
The multiplicative identity
Ring Z | |
(GCDDomain a, Eq a) => Ring (FieldOfFractions a) | |
(CommutativeRing r, Eq r) => Ring (UPoly r x) |