pebble8888 https://blog.hatena.ne.jp/pebble8888/ Pebble Coding https://pebble8888.hatenablog.com/ Schoofアルゴリズム アルゴリズムの実際の計算をもう少し詳しくみていきます。 が成り立つかどうかの計算をみていきます。 まず、この式はがreductionの最終結果がxのみの多項式で分母と分子があるということを意味します。 lは奇数なのでにはyは入らないです。 そして、で割り切れるかどうかを調べる場合、分母は必要なく、分子の多項式だけ調べればよいです。 は２つの点を加算したものです。点の加算公式で、の場合、 です。 1つめの点は 2つめの点は したがって、 となります。 分母を揃えると、 となります。 残りはフロベニウス写像部分ですが、次のようになります。 したがって、 分母を揃えて分子だけを取り出すと次のようにな… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpebble8888.hatenablog.com%2Fentry%2F2018%2F12%2F26%2F225358" title="楕円曲線の有理点の数の求め方 schoof アルゴリズムその３ - Pebble Coding" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20x%27%20%3D%20x_j%5E%7Bq%7D%20%5Cmod%20%5Cpsi_l%28x%29 Hatena Blog https://hatena.blog 2018-12-26 22:53:58 rich https://pebble8888.hatenablog.com/entry/2018/12/26/225358 1.0 100%