Divison Ring typeclass definition and its instances for basic types.
{ addition : AbelianGroup a
, multiplication : Group a
}
Explicit typeclass which implements division ring operations for type a
.
floatDivisionRing : DivisionRing Basics.Float
Construct real number division ring
trivialDivisionRing : DivisionRing ()
Construct trivial Division ring