From: Michael Orlitzky Date: Fri, 30 Aug 2019 00:17:41 +0000 (-0400) Subject: eja: ensure that we can construct quaternion matrices over AA and RR. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=42e532c7a3cf00e2d6ce1e70d05435bf0d30010c;p=sage.d.git eja: ensure that we can construct quaternion matrices over AA and RR. --- diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 98314ce..51c2a33 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -18,6 +18,4 @@ So long as we can decompose the operator (which is invariant under changes of basis), who cares? -8. Ensure that we can construct all algebras over both AA and RR. - -9. Check that our field is a subring of RLF. +8. Check that our field is a subring of RLF. diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py index 359b740..430f233 100644 --- a/mjo/eja/eja_algebra.py +++ b/mjo/eja/eja_algebra.py @@ -1344,9 +1344,9 @@ class ComplexHermitianEJA(ComplexMatrixEuclideanJordanAlgebra, KnownRankEJA): In theory, our "field" can be any subfield of the reals:: - sage: ComplexHermitianEJA(2,AA) + sage: ComplexHermitianEJA(2, AA) Euclidean Jordan algebra of dimension 4 over Algebraic Real Field - sage: ComplexHermitianEJA(2,RR) + sage: ComplexHermitianEJA(2, RR) Euclidean Jordan algebra of dimension 4 over Real Field with 53 bits of precision @@ -1635,6 +1635,16 @@ class QuaternionHermitianEJA(QuaternionMatrixEuclideanJordanAlgebra, sage: from mjo.eja.eja_algebra import QuaternionHermitianEJA + EXAMPLES: + + In theory, our "field" can be any subfield of the reals:: + + sage: QuaternionHermitianEJA(2, AA) + Euclidean Jordan algebra of dimension 6 over Algebraic Real Field + sage: QuaternionHermitianEJA(2, RR) + Euclidean Jordan algebra of dimension 6 over Real Field with + 53 bits of precision + TESTS: The dimension of this algebra is `2*n^2 - n`::