Numeric.Decidable.Associates

class DecidableAssociates r

isAssociateIntegral

isAssociateWhole