Addition gives rise to an Abelian group
Domain of the ring
Conversion of an integer term to a ring term
Test whether a ring element represents an integer number.
Difference between two terms
Multiplication gives rise to an Abelian monoid
The one element of this ring
Conversion of a ring term to an integer term.
num * s
The zero element of this ring