I = symmetricAlgebraIdeal J
Uses the built-in function symmetricAlgebra. The function returns J an ideal in a new ring, with generators corresponding to those of th eideal or module I. The name of the new generators may be set, for example to T, with the form
symmetricAlgebraIdeal(J, VariableBaseName =>"T")
The object symmetricAlgebraIdeal is a method function with options.