The representation of the ring structure.

# 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) |

propRing :: (Ring a, Eq a) => a -> a -> a -> PropertySource

Specification of rings. Test that the arguments satisfy the ring axioms.

(*>) :: Ring a => Int -> a -> aSource

Multiply from left with an integer; n *> x means x + x + ... + x, n times.

productRing :: Ring a => [a] -> aSource

Product