SP::x2X
--
from the basis of monomials to X Schubert basis
SP::x2X(pol)
pol | - | any expression in the basis of monomials |
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.
>> 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)
MuPAD Combinat, an open source algebraic combinatorics package