Various non-field diagnostics
Diagnostics of non-field behaviour: threeform, associator, commutator
threeform(x1, x2, x3) associator(x1, x2, x3) commutator(x1, x2)
x1,x2,x3
: onionic vectorsThe threeform is defined as Re(x1 * (Conj(x2) * x3) - x3 * (Conj(x2) * x1))/2
;
the associator is (x1 * x2) * x3 - x1 * (x2 * x3)
;
the commutator is x1 * x2 - x2 * x1
.
Returns an octonionic vector
Robin K. S. Hankin
dot
x <- roct(7) ; y <- roct(7) ; z <- roct(7) associator(x,y,z)