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.
+8. Check that our field is a subring of RLF.