buildERing(Ring,ZZ) -- creates a ERing from existing ERing

Synopsis

• Function: buildERing

• Usage:

  R = buildERing(S,n)

• Inputs:
  • S, a ring, a Ring built by buildERing
  • n, an integer
• Optional inputs:
  • Degrees => ..., default value {}, creates a ring to be used with other functions in the EquivariantGB package
  • MonomialOrder => ..., default value Lex, creates a ring to be used with other functions in the EquivariantGB package
• Outputs:
  • R, a ring, a Ring with the same variable structure as S, but with different index ranges.

Description

i1 : S = buildERing({symbol z}, {1}, QQ, 2)

o1 = S

o1 : PolynomialRing

i2 : vars S

o2 = | z_1 z_0 |

             1       2
o2 : Matrix S  <--- S

i3 : R = buildERing(S,5)

o3 = R

o3 : PolynomialRing

i4 : vars R

o4 = | z_4 z_3 z_2 z_1 z_0 |

             1       5
o4 : Matrix R  <--- R