baseRing
QuotientRing
UnivariateQuotientRing