We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 85c8f1e commit e0acc8cCopy full SHA for e0acc8c
src/sage/rings/function_field/drinfeld_modules/finite_drinfeld_module.py
@@ -230,12 +230,12 @@ def companion(order):
230
231
def frobenius_endomorphism(self):
232
r"""
233
- Return the Frobenius endomorphism of the Drinfeld module as a
234
- morphism object.
+ Return the Frobenius endomorphism of the Drinfeld module.
+
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`.
238
- Let `q` be the order of the base field of the function ring. The
- *Frobenius endomorphism* is defined as the endomorphism whose
- defining Ore polynomial is `t^q`.
239
240
EXAMPLES::
241
0 commit comments