7. Do we really need to orthonormalize the basis in a subalgebra?
So long as we can decompose the operator (which is invariant
under changes of basis), who cares?
+
+8. Ensure that we can construct all algebras over both AA and RR.
+
+9. Check that our field is a subring of RLF.