FUNCTION: BnaNormal - normalize an element of a Bn-algebra

CALLING SEQUENCE:

BnaNormal(e)

BnaNormal(e, m)

BNA[BnaNormal](e)

BNA[BnaNormal](e, m)

PARAMETERS:

e = any element of a Bn-algebra

m = any positive integer denoting the degree of a Bn-group

SYNOPSIS:

• The BnaNormal function reduces each code inside an expression to the minimum Bn-group containing it (Bn is contained in Bn+1 by addition of one 0 to the right).

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

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

EXAMPLES:

> with(BNA):
> BnaNormal(a*B[0,1,2] - b^2*B[1,0,4,0,0]);
 
                       2
                    - b  B[1, 0, 4] + a B[0, 1, 2]
 
> BnaNormal(a*B[0,1,2] - b^2*B[1,0,4,0,0], 4);
 
                   2
                - b  B[1, 0, 4, 0] + a B[0, 1, 2, 0]