File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed
src/sage/rings/function_field/drinfeld_modules Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -2082,9 +2082,9 @@ def frobenius_relative(self, n=1):
2082
2082
Return the `n`-th iterate relative Frobenius of this Drinfeld module.
2083
2083
2084
2084
By definition, the relative Frobenius is the isogeny represented by
2085
- the Ore polynomial `tau^d` where `d` is the degree of the characteristic
2085
+ the Ore polynomial `\ tau^d` where `d` is the degree of the characteristic
2086
2086
of this Drinfeld module (which is also the degree of `\gamma(T)` over
2087
- `\mathbb F_q`, where `\gamma` is the base morphism `\mathbb F_q[T] \to F `).
2087
+ `\mathbb F_q`, where `\gamma` is the base morphism `\mathbb F_q[T] \to K `).
2088
2088
2089
2089
INPUT:
2090
2090
@@ -2107,7 +2107,7 @@ def frobenius_relative(self, n=1):
2107
2107
To: Drinfeld module defined by T |--> (3*z^2 + 1)*τ^2 + (3*z^2 + 1)*τ + 1
2108
2108
Defn: τ^2
2109
2109
2110
- If `F ` is finite and `n` is the degree of `F ` over `\FF_q (\gamma(T))`,
2110
+ If `K ` is finite and `n` is the degree of `K ` over `\mathbb F_q (\gamma(T))`,
2111
2111
we obtain the Frobenius endomorphism::
2112
2112
2113
2113
sage: phi.frobenius_relative(3) == phi.frobenius_endomorphism()
You can’t perform that action at this time.
0 commit comments