GeneratorSymbol -- variables for the subductionQuotientRing

Description

i1 : R = QQ[x,y];

i2 : S = subring({x^2, y^2, x*y}, GeneratorSymbol => f)

o2 = QQ[f_1..f_3], subring of R

o2 : Subring

See also

• Subring -- The type of all subrings
• subring -- Constructs a subring of a polynomial ring.
• generators(Subring) -- A generating set of a subring
• ambient(Subring) -- The ambient ring of a subring
• numgens(Subring) -- The number of generators of a subring
• net(Subring) -- Short summary of a subring

Functions with optional argument named GeneratorSymbol :

• "subring(...,GeneratorSymbol=>...)" -- see subring -- Constructs a subring of a polynomial ring.