SP::x2X --
from the basis of monomials to X Schubert basis
Call(s)
SP::x2X(pol)
Parameterspol | - | any expression in the basis of monomials |
Introduction
The SP::x2X function converts any expression from the basis of monomials to
X Schubert basis. It uses a different algorithm than ToX (taking the
leading monomials successively).
The result is not expanded.
One may add NoExpand just after the argument pol to choose not to
expand the expression pol before treating it.
One may add Collect just after the argument pol or just after the
argument NoExpand to collect the result.
Example 1>> muEC::SP::x2X((1+q)^5*x1*x2^2, NoExpand);
5
(q + 1) (X[2, 4, 1, 3] - X[3, 2, 1])
>> muEC::SP::x2X((1+q)^5*x1*x2^2, Collect);
2 3 4 5
X[2, 4, 1, 3] (5 q + 10 q + 10 q + 5 q + q + 1) +
2 3 4 5
X[3, 2, 1] (- 5 q - 10 q - 10 q - 5 q - q - 1)
Related FunctionsMuPAD Combinat, an open source algebraic combinatorics package