Comments

1

The name QQ is not an intrinsic property of the field of rational numbers. It's just that for convenience, the default toplevel environment has the binding QQ=RationalField(). You cannot really let the Rational Field depend on it. For the bug you're referring to: You cannot assume rings have a "short, globally defined name". There are infinitely many possible finite fields and number fields already, in different representations.