gbasis.html

Function: GTP[gbasis] - define a standard basis in the graded tensor product of n Clifford algebras Cl(B1), Cl(B2),..., Cl(Bn)

Calling Sequence:

gbasis(L1,L2,..,Ln);
gbasis(L$n);

Parameters:

L1, L2,...,Ln - lists of basis elements in Cl(B1), Cl(B2),..., Cl(Bn)
L - one list of basis elements in Cl(B) replicated n times in the call gbasis(L$n)
n - rank of the graded tensor product of Cl(B) &t Cl(B) &t ... &t Cl(B), n>=2

Description:

Procedure 'gbasis' writes a basis for a graded tensor product GTP[`&t`] of n Clifford algebras Cl(B1), Cl(B2),..., Cl(Bn) where each Clifford algebra Cl(Bi) is over a real vector space Vi endowed with a bilinear form Bi.

The input may consist of a sequence of n lists L1, L2,...,Ln where each list Li, 1<=i<=n, contains a canononical basis for Cl(Bi) obtained with a help of Cliff5[cbasis] . Note that n must be at least 2.

If all lists are the same, then a shorter input is possible of the form 'L$n' where L is a basis for Cl(B) and n is the rank of the desired graded tensor product.

It returns a list of elements of type GTP[`type/tensorprod`] .

For more information, see also makealiases .

Examples:

> restart:with(Cliff5):with(GTP):eval(makealiases(4)):

Warning, new definition for init

> L:=cbasis(2);L1:=cbasis(2);L2:=cbasis(3);