FUNCTION: x2XfixScal - from the basis of monomials to X Schubert basis of the ring of polynomials as a free module over Sym

CALLING SEQUENCE:

x2XfixScal(pol)

FM[x2XfixScal](pol)

PARAMETERS:

pol = any expression in the basis of monomials

SYNOPSIS:

• The x2XfixScal function converts any expression from the basis of monomials to the X Schubert basis of the ring of polynomials as a free module over symmetric polynomials by computing scalar products with the adjoint basis of the X Schubert basis.

• All Schubert polynomials are indexed by permutations in the symmetric group of degree _FMn. Coefficients are symmetric polynomials expressed in the Schur basis.

• This function is quite efficient for small values of _FM: for instance, _FM <= 5.

• The result is not expanded but collected.

• Whenever there is a conflict between the function name x2XfixScal and another name used in the same session, use the long form FM['x2XfixScal'].

EXAMPLES:

> with(FM):
> FM_n(4);
 
                                      4
 
> x2XfixScal(q*x2^2*x4 - x3^3*x4);
 
   (s[2, 2] - q s[1, 1, 1]) X[1, 2, 3, 4] - X[1, 2, 4, 3] s[2, 1]
 
 + (- q s[1] - s[1, 1]) X[2, 3, 1, 4] + (s[2] + s[1, 1]) X[1, 3, 4, 2]
 
 + s[1, 1] X[1, 4, 2, 3] + (- s[1] + q) X[2, 3, 4, 1]
 
 - q s[1] X[3, 1, 2, 4] + X[3, 4, 1, 2] + (- q - s[1]) X[1, 4, 3, 2]
 
 + q X[3, 1, 4, 2] + X[2, 4, 3, 1] + q s[1, 1] X[1, 3, 2, 4]
 
 + q X[4, 1, 2, 3] + q X[2, 4, 1, 3]