First time here? Check out the FAQ!
10 0 Different algorithms for has_rational_point return different answers. ( 2020-07-31 11:09:27 +0200 )