Ask Your Question

Revision history [back]

click to hide/show revision 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)