From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 29 Jun 2019 14:18:32 +0000 (-0400)
Subject: eja: de-implement characteristic_polynomial for irregular elements.
X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=79dcbc10c34380e5a1404037d0ab5e7aa36a82a1;hp=a09a7e14df9b7dcae39fe558d42a6d74fb1c52b0;p=sage.d.git

eja: de-implement characteristic_polynomial for irregular elements.
---

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index 1281a02..a55b7e3 100644
--- a/mjo/eja/euclidean_jordan_algebra.py
+++ b/mjo/eja/euclidean_jordan_algebra.py
@@ -127,7 +127,18 @@ class FiniteDimensionalEuclideanJordanAlgebra(FiniteDimensionalAlgebra):
 
 
         def characteristic_polynomial(self):
-            return self.matrix().characteristic_polynomial()
+            """
+            Return my characteristic polynomial (if I'm a regular
+            element).
+
+            Eventually this should be implemented in terms of the parent
+            algebra's characteristic polynomial that works for ALL
+            elements.
+            """
+            if self.is_regular():
+                return self.minimal_polynomial()
+            else:
+                return NotImplementedError('irregular element')
 
 
         def is_nilpotent(self):