RingElement
RingElement
-- the class of all ring elements handled by the
engine
.
See also
PolynomialRing
.