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