In #2450 we noticed again that change_base_ring does still the same as change_coefficient_ring for universal rings. While base_ring and coefficient_ring are distinct now. I'd vote for simply removing change_base_ring for universal rings as it is not needed for a user.
In #2450 we noticed again that
change_base_ringdoes still the same aschange_coefficient_ringfor universal rings. Whilebase_ringandcoefficient_ringare distinct now. I'd vote for simply removingchange_base_ringfor universal rings as it is not needed for a user.