]> gitweb.michael.orlitzky.com - sage.d.git/commit
eja: dropp the already_echelonized TODO.
authorMichael Orlitzky <michael@orlitzky.com>
Wed, 2 Dec 2020 15:04:08 +0000 (10:04 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Wed, 2 Dec 2020 15:04:08 +0000 (10:04 -0500)
commit162d7eaa821faa07e7886d8e21308b716aabd747
tree71f0415565803abb0cfc729d34481898b9b908f5
parent778835152f5d5408017c47b0c1e74db19ab70a69
eja: dropp the already_echelonized TODO.

We generally orthonormalize things now, but having an orthonormal
basis is not the same as having a basis in RREF form.
mjo/eja/TODO