X-Git-Url: http://gitweb.michael.orlitzky.com/?p=sage.d.git;a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=38cff88c1584b5be8c6a6ce7e90a47b8350adce3;hp=529f70fd633bf36275c63282a05614f1109a7df0;hb=2eead94218aad1f63faec9cdeacc30171a880438;hpb=d9b0659df5d8ad61f457674e009180618dffef67 diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 529f70f..38cff88 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -2,24 +2,7 @@ 2. Profile (and fix?) any remaining slow operations. -3. Every once in a long while, the test - - sage: set_random_seed() - sage: x = random_eja().random_element() - sage: x.is_invertible() == (x.det() != 0) - - in eja_element.py returns False. Example: - - sage: J1 = ComplexHermitianEJA(2) - sage: J2 = TrivialEJA() - sage: J = cartesian_product([J1,J2]) - sage: x = J.from_vector(vector(QQ, [-1, -1/2, -1/2, -1/2])) - sage: x.is_invertible() - True - sage: x.det() - 0 - -4. When we take a Cartesian product involving a trivial algebra, we +3. When we take a Cartesian product involving a trivial algebra, we could easily cache the identity and charpoly coefficients using the nontrivial factor. On the other hand, it's nice that we can test out some alternate code paths...