algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Domain.GCD

Documentation

class (IntegralDomain d, UnitNormalForm d, DecidableZero d) => GCDDomain d where #

Methods

gcd :: d -> d -> d #

gcd :: PID d => d -> d -> d #

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

lcm :: d -> d -> d #

Instances
GCDDomain Integer # 
Instance details

Defined in Numeric.Domain.Internal

Methods

gcd :: Integer -> Integer -> Integer #

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

lcm :: Integer -> Integer -> Integer #

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

Defined in Numeric.Field.Fraction

Methods

gcd :: Fraction d -> Fraction d -> Fraction d #

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

lcm :: Fraction d -> Fraction d -> Fraction d #

gcd' :: GCDDomain r => NonEmpty r -> r #