Numeric.Ring.Division
Documentation
class (Division r, Ring r) => DivisionRing r Source
Instances
(Division r, Ring r) => DivisionRing r |
algebra-2.0: Constructive abstract algebra
Numeric.Ring.Division
class (Division r, Ring r) => DivisionRing r Source
Instances
(Division r, Ring r) => DivisionRing r |