FUNCTION: NcaMult - multiplication of two elements of the nilCoxeter algebra

CALLING SEQUENCE:

NcaMult(e_1, e_2)

NCA[NcaMult](e_1, e_2)

PARAMETERS:

e_1, e_2 = any elements of the nilCoxeter algebra

SYNOPSIS:

• The NcaMult function multiplies two elements of the nilCoxeter algebra.

• One can use instead the operator &@*.

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

EXAMPLES:

> with(NCA):
> a:=q+s/t*A[3,1,2]:
> b:=t*A[2,1,3]-A[1,3,2]:
> NcaMult(a, b);
 
                                                 s A[3, 2, 1]
                 q t A[2, 1, 3] - q A[1, 3, 2] - ------------
                                                       t
 
> a &@* a;
 
                        2                q s A[3, 1, 2]
                       q  A[1, 2, 3] + 2 --------------
                                                t