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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
