X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feuclidean_jordan_algebra.py;h=8487e0ecea385d00f45c176bdc43b45d31d617ff;hb=0898205b7a8dc3a44e9fddd371814be6c94107bb;hp=0b6b15da68fd4404f69ce094f4f96d07ad2c6adc;hpb=4b1bdeb8c097e6c162cb0a32c07ba2740d89b1e5;p=sage.d.git

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index 0b6b15d..8487e0e 100644
--- a/mjo/eja/euclidean_jordan_algebra.py
+++ b/mjo/eja/euclidean_jordan_algebra.py
@@ -94,6 +94,16 @@ class FiniteDimensionalEuclideanJordanAlgebra(FiniteDimensionalAlgebra):
                 sage: (e0 - e1).degree()
                 2
 
+            In the spin factor algebra (of rank two), all elements that
+            aren't multiples of the identity are regular::
+
+                sage: set_random_seed()
+                sage: n = ZZ.random_element(1,10).abs()
+                sage: J = eja_ln(n)
+                sage: x = J.random_element()
+                sage: x == x.coefficient(0)*J.one() or x.degree() == 2
+                True
+
             """
             return self.span_of_powers().dimension()