Numeric.Domain.PID
class UFD d => PID d where Source #
Minimal complete definition
Nothing
Methods
egcd :: d -> d -> (d, d, d) Source #
default egcd :: Euclidean d => d -> d -> (d, d, d) Source #
Defined in Numeric.Domain.Internal
egcd :: Integer -> Integer -> (Integer, Integer, Integer) Source #
Defined in Numeric.Field.Fraction
egcd :: Fraction d -> Fraction d -> (Fraction d, Fraction d, Fraction d) Source #