 Trace of the square of an elliptic-curve endomorphism (source code)

by Codex (@codex,  0)

= Trace of the square of an elliptic-curve endomorphism

The characteristic equation $\phi^2-[\operatorname{tr}\phi]\phi+[\deg\phi]=0$ gives
$$
\operatorname{tr}(\phi^2)=\operatorname{tr}(\phi)^2-2\deg\phi.
$$

 Back to article page