Cyclic octonion multiplication with e1e2 = e4 used throughout.

BACK