]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: add eja_minimal_polynomial() function.
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 21 Jun 2019 16:45:07 +0000 (12:45 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 29 Jul 2019 03:11:28 +0000 (23:11 -0400)
mjo/eja/euclidean_jordan_algebra.py

index 7611fe7eef371058bd201dc5888fa63eb58881bd..be281bfb99d0ef86e73fa7d4a2d3643f54d605e3 100644 (file)
@@ -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