Diagnostics of non-field behaviour: threeform, associator, commutator
threeform(x1, x2, x3) associator(x1, x2, x3) commutator(x1, x2)
Returns an octonionic vector.
onionic vectors
Robin K. S. Hankin
The threeform is defined as Re(x1 * (Conj(x2) * x3) - x3 * (Conj(x2) * x1))/2;
Re(x1 * (Conj(x2) * x3) - x3 * (Conj(x2) * x1))/2
the associator is (x1 * x2) * x3 - x1 * (x2 * x3);
(x1 * x2) * x3 - x1 * (x2 * x3)
the commutator is x1 * x2 - x2 * x1.
x1 * x2 - x2 * x1
x <- roct(7) ; y <- roct(7) ; z <- roct(7) associator(x,y,z)
Run the code above in your browser using DataCamp Workspace