From: Michael Orlitzky Date: Fri, 21 Jun 2019 16:45:07 +0000 (-0400) Subject: eja: add eja_minimal_polynomial() function. X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=83f719b66100fdb5bf5035355c48b5337be6b11e;p=sage.d.git eja: 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