]> gitweb.michael.orlitzky.com - sage.d.git/commit
eja: remove an impossible TODO.
authorMichael Orlitzky <michael@orlitzky.com>
Sat, 13 Mar 2021 15:44:51 +0000 (10:44 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sat, 13 Mar 2021 15:44:51 +0000 (10:44 -0500)
commitc56bfc80980e381a62cbb964c4c7e1200d9c839c
treec4abf8eadff917375adbb34f60c2fcdef81169f8
parentec0cbae9fc7a437c2632abfa6f76f1ce5ae45674
eja: remove an impossible TODO.

We can't use the _rational_algebra to get minimal polynomials like we
do with characteristic ones. The secret with the charpolys is that the
(irrational) coordinates of the element are hidden behind polynomial
variables. With the minimal polynomial, we'd need to operate on them
directly... but we can't, in a rational algebra.
mjo/eja/TODO