algebra-4.3: Constructive abstract algebra

Safe Haskell	Safe
Language	Haskell98

Numeric.Domain.GCD

Documentation

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

Methods

gcd :: d -> d -> d Source #

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

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

lcm :: d -> d -> d Source #

Instances

GCDDomain Integer Source #
Methods gcd :: Integer -> Integer -> Integer Source # reduceFraction :: Integer -> Integer -> (Integer, Integer) Source # lcm :: Integer -> Integer -> Integer Source #
GCDDomain d => GCDDomain (Fraction d) Source #
Methods gcd :: Fraction d -> Fraction d -> Fraction d Source # reduceFraction :: Fraction d -> Fraction d -> (Fraction d, Fraction d) Source # lcm :: Fraction d -> Fraction d -> Fraction d Source #

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