FUNCTION: NcaOnXX - action of an element of the nilCoxeter algebra on a linear combination of XX[perm]

CALLING SEQUENCE:

NcaOnXX(e_1, exp)

NCA[NcaOnXX](e_1, exp)

PARAMETERS:

e_1 = any element of the nilCoxeter algebra

exp = any expression

SYNOPSIS:

• The NcaOnXX function realizes the action of an element of the nilCoxeter algebra, say e_1, on an expression exp expressed on the XX Schubert basis (double Schubert polynomials).

• The expression exp is expanded and the result is not collected.

• One may add 'noexpand' just after the argument exp to choose not to expand the expression exp before treating it.

• One may collect the result by adding a third argument: this is done by NcaOnXX(e_1, exp, 'collect'). Moreover, one can use both noexpand and collect options: for instance, NcaOnXX(e_1, exp, 'noexpand', 'collect').

• A simple divided difference Di acts on a Schubert polynomial XX[perm] by sending it to 0 if perm[i] < perm[i+1], or to XX[new_perm] where new_perm is obtained by transposing perm[i] and perm[i+1], if perm[i] > perm[i+1].

• The result is expressed on the XX Schubert basis and is not collected.

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

EXAMPLES:

> with(NCA):
> NcaOnXX(q^4*A[1,3,2] - q^3*A[2,1], z*XX[3,2,1] - XX[2,1,3]);
 
                 4                  3                3
              z q  XX[3, 1, 2] - z q  XX[2, 3, 1] + q  XX[1, 2]