Implement is_square for Laurent series ring #41221
Description
Problem Description
make the following work
sage: R.<x> = LaurentSeriesRing(QQ)
sage: (x^2).is_square()
Proposed Solution
PowerSeriesRing already have an implementation of is_square and sqrt, it suffices to check that the base ring is an integral domain (actually, ring with zero nilradical suffices), the valuation is even, and the .valuation_zero_part() is a square.
Alternatives Considered
Additional Information
No response
Is there an existing issue for this?
- I have searched the existing issues for a bug report that matches the one I want to file, without success.