algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Domain.PID

Documentation

class UFD d => PID d where #

Methods

egcd :: d -> d -> (d, d, d) #

egcd :: Euclidean d => d -> d -> (d, d, d) #

Instances
PID Integer # 
Instance details

Defined in Numeric.Domain.Internal

Methods

egcd :: Integer -> Integer -> (Integer, Integer, Integer) #

GCDDomain d => PID (Fraction d) # 
Instance details

Defined in Numeric.Field.Fraction

Methods

egcd :: Fraction d -> Fraction d -> (Fraction d, Fraction d, Fraction d) #