15/08/10 05:50:25.10 RpUdGpZx.net
質問です。
いま整数 a,b,c (a != 0) とある素数 p が与えられており
(1) y^2 = ax^4 + bx^2 + c
が Q_p 上で局所解をもつかどうか判定したいとします（実際に解を求める必要はありません）。
mwrank という楕円曲線に関するプログラムのソースを読んでいたら、このとき（おそらく計算量削減
15/08/10 05:50:25.10 RpUdGpZx.net
質問です。
いま整数 a,b,c (a != 0) とある素数 p が与えられており
(1) y^2 = ax^4 + bx^2 + c
が Q_p 上で局所解をもつかどうか判定したいとします（実際に解を求める必要はありません）。
mwrank という楕円曲線に関するプログラムのソースを読んでいたら、このとき（おそらく計算量削減