| | |
Summary: Function: GTP:-`type/gradedmonom` - define a type 'gradedmonom'
Calling Sequence:
type(p,gradedmonom);
Parameters:
p - element of one of these types: `*`, function, algebraic.
Description:
· Monomial (homogeneous) elements in the graded tensor product Cl(B1) &t Cl(B2) &t ... &t
Cl(Br) of r Clifford algebras Cl(Bi), where Bi are quadratic forms, 1<=i<=r, are by definition of
type 'gradedmonom'. Thus, they are either of type Clifford:-`type/tensorprod` or they are products
of two elements, one of type Clifford:-`type/tensorprod` and one of type Clifford:-`type/cliscalar`.
· See also GTP:-`type/gradedpolynom`.
Examples:
> restart:with(Clifford):with(GTP):
> type(e1 &t e1,gradedmonom),type(Pi*(e1we2 &t e1 &t
e2),gradedmonom);
Cliplus has been loaded. Definitions for type/climon and type/clipolynom now in
clude &C and &C[K]. Type ?cliprod for help.
,true true
> type(2*&t(e1,e2,e3),gradedmonom);
true
|
