algebra-4.3.1: Constructive abstract algebra
Numeric.Domain.PID
class UFD d => PID d where Source #
Methods
egcd :: d -> d -> (d, d, d) Source #
egcd :: Euclidean d => d -> d -> (d, d, d) Source #
Instances
egcd :: Integer -> Integer -> (Integer, Integer, Integer) Source #
egcd :: Fraction d -> Fraction d -> (Fraction d, Fraction d, Fraction d) Source #