octonions: use Hurwitz subclass for the matrix algebra.

diff --git a/mjo/octonions.py b/mjo/octonions.py
index 289c46a69b075f22409b69f827d7c8efbfee375d..fb4b83396ea4d8bcac0bd058eae6406381b0eccc 100644 (file)
--- a/mjo/octonions.py
+++ b/mjo/octonions.py
@@ -7,7 +7,7 @@ from sage.rings.all import AA, ZZ
 from sage.matrix.matrix_space import MatrixSpace
 from sage.misc.table import table
 
 from sage.matrix.matrix_space import MatrixSpace
 from sage.misc.table import table
 

-from mjo.matrix_algebra import MatrixAlgebra
+from mjo.matrix_algebra import HurwitzMatrixAlgebra

 
 class Octonion(IndexedFreeModuleElement):
     def conjugate(self):
 
 class Octonion(IndexedFreeModuleElement):
     def conjugate(self):


@@ -347,7 +347,7 @@ class Octonions(CombinatorialFreeModule):
 
 
 
 
 
 

-class OctonionMatrixAlgebra(MatrixAlgebra):
+class OctonionMatrixAlgebra(HurwitzMatrixAlgebra):

     r"""
     The algebra of ``n``-by-``n`` matrices with octonion entries over
     (a subfield of) the real numbers.
     r"""
     The algebra of ``n``-by-``n`` matrices with octonion entries over
     (a subfield of) the real numbers.