Skip to content

Commit ec6872e

Browse files
author
Release Manager
committed
sagemathgh-40575: Fix Drinfeld module frobenius_endomorphism doc
<!-- ^ Please provide a concise and informative title. --> <!-- ^ Don't put issue numbers in the title, do this in the PR description below. --> <!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method to calculate 1 + 2". --> <!-- v Describe your changes below in detail. --> <!-- v Why is this change required? What problem does it solve? --> <!-- v If this PR resolves an open issue, please link to it here. For example, "Fixes sagemath#12345". --> Fixed an atrocious typo in the description of the `frobenius_endomorphism` method of the class `DrinfeldModule_finite`. I followed the notation (the degree of `K` over `\mathbb F_q` is denoted by `n`) chosen by Xavier @xcaruso in his PR on homsets of Drinfeld modules (sagemath#40440). ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [x] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> None. URL: sagemath#40575 Reported by: Antoine Leudière Reviewer(s):
2 parents 4a95a8d + e0acc8c commit ec6872e

File tree

3 files changed

+8
-8
lines changed

3 files changed

+8
-8
lines changed

build/pkgs/configure/checksums.ini

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
tarball=configure-VERSION.tar.gz
2-
sha1=60867f7d62984944eca465d48e0fb31abde2841e
3-
sha256=4ec557fb0516afe91e097986429d4e1c65e035cee5b9a8f21b17d3c1db9212d7
2+
sha1=f700d099c8b4674e7d27e1cd380d198c93275123
3+
sha256=5672b09596de90b6302fe528b5fdd55253eb3e04d1f37a2fac589df1967e5fe7
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
858268b40010e5ed6da13488ad0f52cda4d1f70e
1+
fe2673aff0580a12db44c31abf81fc7c189286d8

src/sage/rings/function_field/drinfeld_modules/finite_drinfeld_module.py

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -230,12 +230,12 @@ def companion(order):
230230

231231
def frobenius_endomorphism(self):
232232
r"""
233-
Return the Frobenius endomorphism of the Drinfeld module as a
234-
morphism object.
233+
Return the Frobenius endomorphism of the Drinfeld module.
234+
235+
The *Frobenius endomorphism* is defined by the Ore polynomial
236+
`tau^n`, where `n` is the degree of the base field `K` over
237+
`\mathbb F_q`.
235238
236-
Let `q` be the order of the base field of the function ring. The
237-
*Frobenius endomorphism* is defined as the endomorphism whose
238-
defining Ore polynomial is `t^q`.
239239
240240
EXAMPLES::
241241

0 commit comments

Comments
 (0)