Enhanced C#
Language of your choice: library documentation

This defines a Group with the operation *, the neutral element One, the inverse Inverse and an operation / that is defined in terms of the inverse. More...
This defines a Group with the operation *, the neutral element One, the inverse Inverse and an operation / that is defined in terms of the inverse.
Axioms that have to be satisified by the operations: Commutativity of multiplication: Multiply(a,b)=Multiply(b,a) for all a,b in T Associativity of multiplication: Multiply(Multiply(a,b),c)=Multiply(a,Multiply(b,c)) Inverse of multiplication: Multiply(a,Inverse(a))==One for all a in T Divison: Divide(a,b)==Multiply(a,Inverse(b)) for all a in T Neutral element: Multiply(One,a)==a for all a in T
ShiftLeft and ShiftRight operations are commonly thought of as binary operations, but some algorithms need to multiply numbers by powers of two and want to do so efficiently, while still supporting floatingpoint types. Therefore it makes sense to offer ShiftLeft ("multiply by a power of two") and ShiftRight ("divide by a power of two") operators as part of the multiple/divide interface, not just IBinaryMath{T}. Even floatingpoint types can support these two operations efficiently by directly modifying the exponent part of the floatingpoint representation.
Public Member Functions  
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) 
Public Member Functions inherited from Loyc.Math.IMultiply< T >  
T  Mul (T a, T b) 
Additional Inherited Members  
Properties inherited from Loyc.Math.IOneProvider< T >  
T  One [get] 
Returns the "one" or identity value of this type. More...  