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 #