Reversion is computed using reversion. Minimal polynomial is computed using procedure climinpoly . Basis in the graded tensor product is defined with gbasis . Multiplication in the graded tensor product of Clifford algebras is accomplished with gradedprod . Octonion multiplication is done with omul .
Octonionic norm is computed with onorm .
Conversion from the Clifford basis to the Grassmann basis is accomplished with clieval . Conversion from the Grassmann basis to the Clifford basis is accomplished with cliexpand . Multiplication procedure climul extends Clifford product to the Clifford basis.