algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

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 #

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