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