GeneratorSymbol -- variables for the presentationRing

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

i3 : (x+y)^4 // S

      2    2                     2
o3 = f  + f  + 4f f  + 4f f  + 6f
      1    2     1 3     2 3     3

o3 : QQ[f ..f ]
         1   3

See also

• Subring -- The type of all subrings
• subring -- Constructs a subring of a polynomial ring.
• presentationRing -- returns the presentation ring of a subring

Functions with optional argument named GeneratorSymbol:

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