egb -- computes equivariant Gröbner bases

• Usage:

  G = egb F

• Inputs:
  • F, a list, a list of polynomials in a ring created by buildERing.
• Optional inputs:
  • Algorithm => ..., default value Buchberger, algorithm choice for egb
  • OutFile => ..., default value null, where to send messages
  • PrincipalSyzygies (missing documentation) => ..., default value false,
  • Symmetrize (missing documentation) => ..., default value false,
• Outputs:
  • G, a list, an equivariant Gröbner basis for the equivariant ideal generated by F.

i1 : R = buildERing({symbol x}, {1}, QQ, 2);

i2 : egb {x_0 + x_1}

o2 = {x }
       0

o2 : List