GAP code for matrix octonion algebras, studied in the paper

octonion.gap | defines the octonion algebra |

Minusplusalg.gap | given an algebra \(A\), constructs its "minus" algebra (with multiplication \([a,b] = ab - ba\), and "plus algebra" (with multiplication \(a \circ b = \frac 12 (ab + ba)\) |

matrix-octonion.gap | defines algebras of Hermitian and skew-Hermitian matrices over octonions |

Created: Wed Jun 29 2022

Last modified: Thu Sep 15 13:48:56 CEST 2022

Last modified: Thu Sep 15 13:48:56 CEST 2022