2020-07-31 11:09:27 +0200 | received badge | ● Student (source) |
2020-07-31 09:14:54 +0200 | asked a question | Different algorithms for has_rational_point return different answers. There seems to be an inconsistency. Define a polynomial ring in three variables: Define a conic: Check whether the conic has rational points, using Check whether the conic has rational points, using |