]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
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)
We generally orthonormalize things now, but having an orthonormal
basis is not the same as having a basis in RREF form.


No differences found