5. The rational_algebra() stuff doesn't really belong in classes that
don't derive from RationalBasisEJA or its as-yet-nonexistent
element class.
5. The rational_algebra() stuff doesn't really belong in classes that
don't derive from RationalBasisEJA or its as-yet-nonexistent
element class.