IsMonomial
core
incr
ER
ESCA
EmbedQ
UnitOfRing
ZeroOfRing
insUnknownsMat
brst
inv
ER
EmbedQ
UnitOfRing
ZeroOfRing
isInteger
Rational
isZero
Rational