Summary: Function: GTP:-`type/gradedmonom` - define a type 'gradedmonom'
p - element of one of these types: `*`, function, algebraic.
· 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`.
> type(e1 &t e1,gradedmonom),type(Pi*(e1we2 &t e1 &t
Cliplus has been loaded. Definitions for type/climon and type/clipolynom now in
clude &C and &C[K]. Type ?cliprod for help.