coherent output type for polynomial.degree()

[videlec]

Some methods expect a Sage integer from the degree method but this is not consistent accross sage polynomials

sage: R1 = PolynomialRing(Zmod(3), 'x', implementation='NTL')
sage: type(R1.an_element().degree())
<type 'int'>
sage: R2 = PolynomialRing(Zmod(3), 'x', implementation='FLINT')
sage: type(R2.an_element().degree())
<type 'sage.rings.integer.Integer'>

As a consequence

sage: GF(next_prime(2^63)^6)
Traceback (most recent call last):
...
AttributeError: 'int' object has no attribute 'divisors'

Initial report on sage-support.

CC: @JohnCremona

Component: algebra

Author: Vincent Delecroix

Branch/Commit: c485d4c

Reviewer: Frédéric Chapoton, John Cremona

Issue created by migration from https://trac.sagemath.org/ticket/25182

[videlec]

Commit: 76561b7

[videlec]

Branch: u/vdelecroix/25182

[videlec]

New commits:

76561b7

fix output type of degree method of polynomials

[JohnCremona]

comment:2

Looks good to me. Positive review if the patchbots go green!

[sagetrac-git]

Changed commit from 76561b7 to c485d4c

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

c485d4c

docfix

[fchapoton]

Reviewer: Frédéric Chapoton

[fchapoton]

comment:4

Let it be.

[fchapoton]

Changed reviewer from Frédéric Chapoton to Frédéric Chapoton, John Cremona

[videlec]

comment:6

Merci :-)

[vbraun]

Changed branch from u/vdelecroix/25182 to c485d4c