chg: (tr.607 - which is not a bug) documentation for hasRingCoefficientRing