Ask Your Question

GG_2001's profile - activity

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:

sage: R.<x, y, z> = QQ[]

Define a conic:

sage: C = Conic(27628*(x^2 - y^2) - 81746*x*y  - z^2)

Check whether the conic has rational points, using algorithm="local":

sage: C.has_rational_point(algorithm="local", obstruction=True)
(True, None)

Check whether the conic has rational points, using algorithm="default":

sage: C.has_rational_point(algorithm="default", obstruction=True)
(False, 17)