| This interface represents an algebraic structure with two binary operations
addition and multiplication (+ and ·), such that (R, +) is an abelian group,
(R, ·) is a monoid and the multiplication distributes over the addition.
author: Jean-Marie Dautelle version: 3.0, February 13, 2006 See Also:
* Wikipedia: Mathematical Ring |