Enhanced C#
Language of your choice: library documentation

This defines a Field with the operations +,,*,/ More...
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) 