Algebra.IntegralDomain
class C a
divModZero
divides
sameResidueClass
divChecked
safeDiv
even
odd
divUp
roundDown
roundUp
decomposeVarPositional
decomposeVarPositionalInf
propInverse
propMultipleDiv
propMultipleMod
propProjectAddition
propProjectMultiplication
propUniqueRepresentative
propZeroRepresentative
propSameResidueClass