algebra-4.3: Constructive abstract algebra
Numeric.Field.Class
class (Euclidean d, Division d) => Field d Source #
Instances