roots() # over ZZ -- use FLINT directly? x0 = x_list[0][0] c = 3*x0+s2; d = (c+s2)*x0+s4 return two_descent_by_two_isogeny_work(c, d, global_limit_small, global_limit_large, verbosity, selmer_only, proof) 后一个函数的返回值也可以检查... 代码语言:javascript 复制 sag...