Steps To Reproduce

sage: K.<z> = PowerSeriesRing(QQ,default_prec=10)
sage: R.<x> = PowerSeriesRing(K,default_prec=6)
sage: 1/(1-z)
1 + z + z^2 + z^3 + z^4 + z^5 + z^6 + z^7 + z^8 + z^9 + O(z^10)
sage: x*(1/(1-z))
(1 + z + z^2 + z^3 + z^4 + z^5 + z^6 + z^7 + z^8 + z^9 + O(z^10))*x
sage: x/(1-z)
...
AttributeError: 'PowerSeriesRing_over_field_with_category' object has no attribute '_pseudo_fraction_field'

Expected Behavior

x/(1-z) should work similarly to x*(1/(1-z)).

Actual Behavior

It errors out.

Additional Information

The code works fine in Sage 10.2, and so it was broken some time recently.

Environment

• OS: 10.6.beta7
• Sage Version: Ubuntu 24.04.2 LTS

Checklist

• I have searched the existing issues for a bug report that matches the one I want to file, without success.
• I have read the documentation and troubleshoot guide