Enhanced C#
Language of your choice: library documentation

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