cartan: Cartan map between clifford algebras

In clifford: Arbitrary Dimensional Clifford Algebras

Cartan map between clifford algebras

Description

\loadmathjax

Cartan's map isomorphisms from \mjseqnCl(p,q) to \mjseqnCl(p-4,q+4) and \mjseqnCl(p+4,q-4)

Usage

cartan(C, n = 1)
cartan_inverse(C, n = 1)

Arguments

C	Object of class clifford
n	Strictly positive integer

Value

Returns an object of class clifford. The default value n=1 maps \mjseqnCl(4,q) to \mjseqnCl(0,q+4) (cartan()) and \mjseqnCl(0,q) to \mjseqnCl(4,q-4).

Author(s)

Robin K. S. Hankin

References

E. Hitzer and S. Sangwine 2017. “Multivector and multivector matrix inverses in real Clifford algebras”, Applied Mathematics and Computation. 311:3755-89

See Also

clifford

Examples

a <- rcliff(d=7)   # Cl(4,3)
b <- rcliff(d=7)   # Cl(4,3)
signature(4,3)     # e1^2 = e2^2 = e3^2 = e4^2 = +1; e5^2 = e6^2=e7^2 = -1
ab <- a*b          # multiplication in Cl(4,3)

signature(0,7)   # e1^2 = ... = e7^2 = -1
cartan(a)*cartan(b) == cartan(ab) # multiplication in Cl(0,7); should be TRUE

signature(Inf)  # restore default

clifford documentation built on Aug. 14, 2022, 1:05 a.m.