FUNCTION: HekaNormal - normalize an element of the Hecke algebra

CALLING SEQUENCE:

HekaNormal(e)

HekaNormal(e, m)

HEKA[HekaNormal](e)

HEKA[HekaNormal](e, m)

PARAMETERS:

e = any element of the Hecke algebra

m = any positive integer denoting the degree of a symmetric group

SYNOPSIS:

• The HekaNormal function reduces each permutation inside an expression to the minimum symmetric group containing it (Sn is contained in Sn+1 by addition of the fixed point n+1).

• If a parameter m has been specified, the minimum is choosen to be m.

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

EXAMPLES:

> with(HEKA):
> HekaNormal(a*A[3,1,2] - b^2*A[2,1,3,4]);
 
                            2
                         - b  A[2, 1] + a A[3, 1, 2]
 
> HekaNormal(a*A[3,1,2] - b^2*A[2,1,3,4], 3);
 
                           2
                        - b  A[2, 1, 3] + a A[3, 1, 2]