FUNCTION: IdcaMult - multiplication of two elements of the idCoxeter algebra

CALLING SEQUENCE:

IdcaMult(e_1, e_2)

IDCA[IdcaMult](e_1, e_2)

PARAMETERS:

e_1, e_2 = any elements of the idCoxeter algebra

SYNOPSIS:

• The IdcaMult function multiplies two elements of the idCoxeter algebra.

• One can use instead the operator &$*.

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

EXAMPLES:

> with(IDCA):
> a:=q + u/t*A[3,1,2]:
> b:=t*A[2,1,3] - A[1,3,2]:
> IdcaMult(a, b);
 
                                                        u A[3, 2, 1]
         q t A[2, 1, 3] - q A[1, 3, 2] - u A[3, 1, 2] - ------------
                                                              t
 
> a &$* b;
 
                                                        u A[3, 2, 1]
         q t A[2, 1, 3] - q A[1, 3, 2] - u A[3, 1, 2] - ------------
                                                              t