Ring [...] -- the standard way to make a polynomial ring

Ring [...] -- the standard way to make a polynomial ring

R[...] -- produces the monoid ring from a ring R and the ordered monoid specified by [...].

This is the customary way to make a polynomial ring.

Optional arguments (placed inside the array):

MonomialOrder -- monomial ordering

MonomialSize -- specify maximum exponent size

Degrees -- specify the degrees

Weights -- specify monomial ordering by weights

Inverses -- specify whether generators are invertible

WeylAlgebra -- make a Weyl algebra

VariableBaseName -- base name for variables

SkewCommutative -- make a skewcommutative (alternating) ring

Variables -- specify the variable names

See also:

Synopsis of use:

Operator:

Class of argument 1: Ring

Class of argument 2: Array

Class of typical returned value: PolynomialRing

Code:

     -- ../m2/orderedmonoidrings.m2:312
     Ring Array := PolynomialRing => (R,variables) -> use R monoid variables