1. はじめに 有名なBirch and Swinnerton-Dyer conjectureによると、 上の楕円曲線 の有理点群の rank と の 関数 の における零点の位数(analytic rank)は等しい。つまり、有理点群の rank を , analytic rank を と記すと である。 sagemathには、rank や analytic rank を求める関数が存在するが、その関数によって得られた値は必ずしも正しいとは限らないらしい。 analytic_rank(algorithm='pari', leading_coefficient=False) Return an…