Ensure degree and total degree return Integer type for MPolynomial_polydict class

[GiacomoPope]

This is a follow up PR to #37605 which ensures that degree() and total_degree() return a sage Integer type instead of a python int for the MPolynomial_polydict class.

However, f.degrees() returns something of type sage.rings.polynomial.polydict.ETuple which has elements as int. I am loathed to change this to return Integer in case of performance regression, so the following status of MPolynomial_polydict is the following:

sage: R.<x, y> = PolynomialRing(QQbar)
sage: f = 1 + x + y^2
sage: type(f.degree())
<class 'sage.rings.integer.Integer'>
sage: type(f.degree(x))
<class 'sage.rings.integer.Integer'>
sage: type(f.degree(y))
<class 'sage.rings.integer.Integer'>
sage: type(f.total_degree())
<class 'sage.rings.integer.Integer'>
sage: type(f.degrees())
<class 'sage.rings.polynomial.polydict.ETuple'>
sage: type(f.degrees()[0])
<class 'int'>

I would like advice on how to proceed with the degrees() function. Is leaving it in it's current state OK?

Fixes #37603

[grhkm21]

Just a small change.

For future reference, I considered moving the wrapper on L685 to the underlying PolyDict, but that is not desirable since polydict is a "general" dictionary-like class and hence should be fast.

[GiacomoPope]

but that is not desirable since polydict is a "general" dictionary-like class and hence should be fast.

This is why I didnt make a patch for degrees() as well. I don't know what the right thing to do here is.

[GiacomoPope]

Thanks!

[github-actions]

Documentation preview for this PR (built with commit a866b12; changes) is ready! 🎉