subQuotRing = subductionQuotientRing S
Given a subring S of a quotient ring Q is a polynomial ring with same coefficient ring as Q and has one variable for each generator of S. There is a natural map from the subduction quotient ring to S that sends each variable to its corresponding generator of S. Elements of the subduction quotient ring represent polynomial combinations of generators. Evaluating a combination of generators is equal to applying the aforementioned map.
The subduction quotient ring naturally arises when using RingElement // Subring, which takes an element of a subring and expresses it as a polynomial combination of its generators.








The object subductionQuotientRing is a method function.