[Axiom-developer] Re: Clifford Algebra examples:

[Martin Baker]

Bertfried,

Thanks this looks very useful.

Can I ask about the definitions of the involutions:

gradeInvolution == reversion? sign=(-1)^(d(d-1)/2) symbol= ~
Cliplus clirev == ? symbol=multiply by pseudoscalar? symbol=
Clifford conjugation: scalar part minus non-scalar part? symbol=

I know these are wrong but I just made a guess!

I expect I had better ignore the Spinors for now although I am curious about 
how they should be added on later. Upto now I have thought of spinors as an 
even subalgebra of Clifford algebras? (rotation by 2*pi multiplies by -1) but 
this does not seem to be the case here? Would spinors require a new type of 
multiplication or a new domain?

Martin