setPolynomialRing for QQ -- Set Polynomial Ring for QQ given Variables and their Weights

Synopsis

• Usage:

  setPolynomialRing(v,w)

• Inputs:
  • v, a list of variables
  • w, a list of weights corresponding tov
• Outputs:
  • a polynomial ring

The function setPolynomialRing generates the polynomial ring kk[v] with the monomial order with respect to weights w over the variables v. The elements in w should be positive and mutually prime. The numbers of elements in v and w coincide. The variable PR keeps the polynomial ring. The monomial order is specific in Miura. For example, for an elliptic curve, it is based on the pole order 2i+3j for x^iy^j

i1 : setPolynomialRing({x,y}, {2,3})

o1 = PR

o1 : PolynomialRing