This defines a Ring with the operations +,*
More...
Source file:
Inheritance diagram for Loyc.Math.IRing< T >:
Remarks
This defines a Ring with the operations +,*
Axioms that have to be satisified by the operations: The group axioms for + Associativity of *: a * (b*c) = (a*b) * c Neutral element of *: Multiply(One,a)==a for all a in T Distributivity: a * (b+c) = (a*b) + (a*c) (a+b) * c = (a*c) + (b*c)
Additional Inherited Members | |
 Properties inherited from Loyc.Math.IZeroProvider< T > | |
| T | Zero [get] |
| Returns the "zero" or additive identity of this type. More... | |
| Properties inherited from Loyc.Math.IOneProvider< T > | |
| T | One [get] |
| Returns the "one" or identity value of this type. More... | |
| Public Member Functions inherited from Loyc.Math.IAdditionGroup< T > | |
| T | Add (T a, T b) |
| T | Add (T a, T b, T c) |
| T | Sub (T a, T b) |
| Public Member Functions inherited from Loyc.Math.IMultiply< T > | |
| T | Mul (T a, T b) |
