Schoof's algorithm: Difference between revisions

Revision as of 14:20, 31 December 2017

Revision as of 14:21, 31 December 2017

Line 90:

</math>

Here, it seems not right, we throw away <math>x^{q^{2}}-x_{\bar{q}}</math>?

Now if <math>X \equiv x^{q} _ {\bar{t}}\bmod \psi_l(x)</math> for one <math>\bar{t}\in [0,(l-1)/2]</math> then <math>\bar{t}</math> satisfies