]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: change a misleading comment.
authorMichael Orlitzky <michael@orlitzky.com>
Wed, 2 Feb 2022 14:44:44 +0000 (09:44 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Wed, 2 Feb 2022 14:44:44 +0000 (09:44 -0500)
mjo/eja/eja_algebra.py

index 7fd85786fbaa46f403ebf912cabb67c70db86da5..f38128adf646c2dabcdd02cbfc26797731d472a2 100644 (file)
@@ -1800,14 +1800,13 @@ class RationalBasisEJA(FiniteDimensionalEJA):
             # Bypass the hijinks if they won't benefit us.
             return super()._charpoly_coefficients()
 
-        # Do the computation over the rationals. The answer will be
-        # the same, because all we've done is a change of basis.
-        # Then, change back from QQ to our real base ring
+        # Do the computation over the rationals.
         a = ( a_i.change_ring(self.base_ring())
               for a_i in self.rational_algebra()._charpoly_coefficients() )
 
-        # Otherwise, convert the coordinate variables back to the
-        # deorthonormalized ones.
+        # Convert our coordinate variables into deorthonormalized ones
+        # and substitute them into the deorthonormalized charpoly
+        # coefficients.
         R = self.coordinate_polynomial_ring()
         from sage.modules.free_module_element import vector
         X = vector(R, R.gens())