algebra-4.1: Constructive abstract algebra

Safe HaskellSafe-Inferred

Numeric.Decidable.Associates

Documentation

isAssociateIntegral :: (Eq n, Num n) => n -> n -> BoolSource

isAssociateWhole :: Eq n => n -> n -> BoolSource