FUNCTION: Sga2Nabla - Nabla element of the symmetric group algebra

CALLING SEQUENCE:

Sga2Nabla(e)

SGA[Sga2Nabla](e)

PARAMETERS:

e = any element of the symmetric group algebra

SYNOPSIS:

• The Sga2Nabla function converts an element of the symmetric group algebra into a Nabla operator by replacing each A[perm] by the corresponding Nabla element of the symmetric group algebra.

• The Sga2Nabla together with the Sga2Carre functions are the building blocks of idempotents in the symmetric group algebra.

• Sga2Nabla(A[Identity]) = 0.

• Given a permutation perm, Sga2Nabla(A[perm]) is a certain product of factors of the type (SgTranspo(i,n) - 1/k) where the shifts 1/k are given by Yang-Baxter conditions.

• They are defined by the recursion: for a simple transposition si and a permutation perm, such that length(perm si) > length(perm), then Sga2Nabla(A[perm si]) = Sga2Nabla(A[perm]) &!* (si - 1/k), in which k=perm[i+1] - perm[i].

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

EXAMPLES:

> with(SGA):
> Sga2Nabla(q*A[2,3,1] + A[1,2,3]);
 
   - q A[2, 1, 3] + 1/2 q A[1, 2, 3] + A[2, 3, 1] q - 1/2 q A[1, 3, 2]