symmetricAlgebra -- the symmetric algebra of a module

symmetricAlgebra -- the symmetric algebra of a module

symmetricAlgebra M -- produces the symmetric algebra of a module M.

Bugs: uses symbols from the beginning of the alphabet as variables in the new ring; makes a quotient ring when it doesn't have to.

Ways to use symmetricAlgebra :

Optional arguments :

symmetricAlgebra(..., Adjust) -- adjust the multi-degree

symmetricAlgebra(..., Degrees) -- specify the degrees

symmetricAlgebra(..., Inverses) -- specify whether generators are invertible

symmetricAlgebra(..., MonomialOrder) -- monomial ordering

symmetricAlgebra(..., MonomialSize) -- specify maximum exponent size

symmetricAlgebra(..., NewMonomialOrder => ...)

symmetricAlgebra(..., Repair) -- repair the multi-degree

symmetricAlgebra(..., SkewCommutative) -- make a skewcommutative (alternating) ring

symmetricAlgebra(..., VariableBaseName) -- base name for variables

symmetricAlgebra(..., VariableOrder)

symmetricAlgebra(..., Variables) -- specify the variable names

symmetricAlgebra(..., Weights) -- specify monomial ordering by weights

symmetricAlgebra(..., WeylAlgebra) -- make a Weyl algebra