eja: add eja_minimal_polynomial() function.

[sage.d.git] / mjo / eja / euclidean_jordan_algebra.py

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index 7611fe7eef371058bd201dc5888fa63eb58881bd..be281bfb99d0ef86e73fa7d4a2d3643f54d605e3 100644 (file)
--- a/mjo/eja/euclidean_jordan_algebra.py
+++ b/mjo/eja/euclidean_jordan_algebra.py
@@ -7,6 +7,13 @@ what can be supported in a general Jordan Algebra.
 
 from sage.all import *
 
+def eja_minimal_polynomial(x):
+    """
+    Return the minimal polynomial of ``x`` in its parent EJA
+    """
+    return x._x.matrix().minimal_polynomial()
+
+
 def eja_rn(dimension, field=QQ):
     """
     Return the Euclidean Jordan Algebra corresponding to the set