X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feuclidean_jordan_algebra.py;h=be281bfb99d0ef86e73fa7d4a2d3643f54d605e3;hb=83f719b66100fdb5bf5035355c48b5337be6b11e;hp=7611fe7eef371058bd201dc5888fa63eb58881bd;hpb=92c3da0a3c2f4c7a7d1f9a6a5507957719368062;p=sage.d.git 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