1 | initial version |
Starting from Sage 9.8, you can simply write .frobenius_endomorphism()
to construct the Frobenius endomorphism (over the .base_field()
of the curve) as a "normal" isogeny which can be evaluated, composed, and so on.
With the variables from your example:
sage: pi = TestCurve.frobenius_endomorphism()
sage: pi(P)
(5*x : 6*x : 1)