next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SubalgebraBases :: RingElement // Subring

RingElement // Subring -- subductionQuotient with respect to a subring



The result is a ring element that lies in the subductionQuotientRing that has one variable for generator of the subring $S$. A subduction quotient can be thought of as an expression of $f - (f\%S) \in S$ in terms of the generators of $S$. This function is equivalent to groebnerSubductionQuotient.

See also

Ways to use this method: