FUNCTION: FreeNormal - normalize an element of the free algebra

CALLING SEQUENCE:

FreeNormal(free)

FREE[FreeNormal](free)

PARAMETERS:

free = any element of the free algebra

SYNOPSIS:

• The FreeNormal function normalizes an element by essentially collecting coefficients. In particular, the empty word w[] is added when necessary.

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

EXAMPLES:

> with(FREE):
> FreeNormal(w[2,1] + q + 1 + q*w[1,2] + w[2,1]);
 
                    (1 + q) w[] + q w[1, 2] + 2 w[2, 1]