lc
IPolynomialRing
MultivariateRing
MultivariateRingZp64
PolynomialCfOps
QuotientRing
UnivariateQuotientRing
ltIdeal
Ideal