# symmetricAlgebraIdeal -- Ideal of the symmetric algebra of an ideal or module

## Synopsis

• Usage:
I = symmetricAlgebraIdeal J
• Inputs:
• Optional inputs:
• VariableBaseName => ..., default value "w"
• Outputs:

## Description

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")