| 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 |