From: Michael Orlitzky Date: Fri, 21 Jun 2019 16:45:07 +0000 (-0400) Subject: mjo/eja/euclidean_jordan_algebra.py: add eja_minimal_polynomial() function. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=af19802048f0fb5338a59a21626b4f2fdaa98ec3;p=sage.d.git mjo/eja/euclidean_jordan_algebra.py: add eja_minimal_polynomial() function. --- diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py index 7611fe7..be281bf 100644 --- 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