Skip to content

Commit 510ca6a

Browse files
author
Release Manager
committed
gh-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 #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 #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 (#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, --> <!-- - #12345: short description why this is a dependency --> <!-- - #34567: ... --> None. URL: #40575 Reported by: Antoine Leudière Reviewer(s):
2 parents 40d5366 + e0acc8c commit 510ca6a

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=d1acff50412940639df635db393e88169ed6576b
3+
sha256=6ab4612a12509e2ec0bbdd02c5cc5070fd3c3bf111c298c23d3db6c90e9f4a9f
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
858268b40010e5ed6da13488ad0f52cda4d1f70e
1+
543dc58c46b703172f6884c44eebad6eea20b166

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)