]> gitweb.michael.orlitzky.com - sage.d.git/commit
eja: begin generalizing the charpoly-over-QQ optimizations.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 10 Nov 2020 03:19:20 +0000 (22:19 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 10 Nov 2020 03:19:20 +0000 (22:19 -0500)
commitad25c5b8995a1cacefbf4d677316b9e7069521ff
treed93afe613aa442dbedd8cc1faa2ab7e37b451a90
parent3e46389a46db107db3fe36ace6fe5f2c2b52f815
eja: begin generalizing the charpoly-over-QQ optimizations.

As a very simple first step, encode the fact that HadamardEJA and
BilinearFormEJA have rational bases within the type system. This
allows us to compute their charpolys over the rationals instead of
whatever their user-given base ring is.
mjo/eja/eja_algebra.py