7. When field=RDF, subalgebra construction is failing because the
inner product isn't associative? Actually, it's the combination
of field=RDF and orthonormalize=True.
+
+8. Set check_axioms=False for element-subalgebras outside of once or
+ twice in the test suite.