HELP FOR: A package for the idCoxeter algebra.

CALLING SEQUENCE:

IDCA[<function>](args)

<function>(args)

SYNOPSIS:

• This package provides functions to work with the idCoxeter algebra. This is the algebra generated by the simple Pi operators satisfying the braid relations together with the extra relations: Pi^2 = - Pi.

• A general element is expressed as a linear combination of A[perm], where perm is a permutation, with arbitrary coefficients.

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

• The available functions are:

  Idca2Demazure	Idca2Table	IdcaAdd	IdcaMinus
  IdcaMult	IdcaNormal	IdcaOnPol	IdcaOnX
  IdcaOnXfix	IdcaYang	Rd2Idca	Table2Idca

• For help with a particular function do either ?IDCA[<function>] or ?IDCA,<function> where <function> is one from the above list.

• Instead of IdcaAdd, IdcaMinus, IdcaMult, one can use in short &$+ &$- &$*

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 A[1, 3, 2] + q t A[2, 1, 3] - ------------ - u A[3, 1, 2]
                                                t