|
D.3.1.29 symmetricBasis
Procedure from library matrix.lib (see matrix_lib).
- Return:
- ring, poynomial ring containing the ideal "symBasis",
being a basis of the k-th symmetric power of an n-dim vector space.
- Note:
- The output polynomial ring has characteristics 0 and n variables
named "S(i)", where the base variable name S is either given by the
optional string argument(which must not contain brackets) or equal to
"e" by default.
Example:
See also:
exteriorBasis.
|