Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Function: GTP:-`&t` -graded tensor product Calling Sequence
 

Summary: Function: GTP:-`&t` - graded tensor product
Calling Sequence:
&t(p1,p2,...,ps);
p1 &t p2 &t ... &t ps
Parameters:
p1 - expression of type GTP:-`type/tensorprod` or `type/clipolynom`.
p2, ..., ps - polynomials of type `type/clipolynom`.
Description:
Procedure '`&t`' is a place-holder for the basis elements in the graded tensor product Cl(B1) &t Cl(B2) &t ... &t Cl(Br) of r
Clifford algebras Cl(B1), Cl(B2), ... , Cl(Br). In that case each pi is of 'tensorrrank' r (see GTP:-tensorrank).
This procedure is multi-linear and it is left-associative.
To simplify notation, one may enter '1' instead of 'Id' to denote the identity element in any Clifford algebra.
Examples:
> restart:with(Clifford):with(GTP):
> B:=linalg[diag](1,1,1,1,1):eval(makealiases(5)):
> &t(e1,e2,e3);type(%,tensorprod);
Cliplus has been loaded. Definitions for type/climon and type/clipolynom now include &C and &C[K]. Type
?cliprod for help.
( )e1 &t e2 &t e3
true

  

Source: Ablamowicz, Rafal - Department of Mathematics, Tennessee Technological University

 

Collections: Mathematics