This defines a Field with the operations +,-,*,/ More...
Source file:
Inheritance diagram for Loyc.Math.IField< T >:
Remarks
This defines a Field with the operations +,-,*,/
Axioms that have to be satisified by the operations: The group axioms for + The group axioms for * Associativity: a * (b*c) = (a*b) * c 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) |
| Public Member Functions inherited from Loyc.Math.IMultiplicationGroup< T > | |
| T | Div (T a, T b) |
| T | Shl (T a, int amount) |
| T | Shr (T a, int amount) |
| T | MulDiv (T a, T mulBy, T divBy) |
