The purpose of this magma code is to find a pair of twisted derived equivalent K3 surfaces, such that one has a non-trivial Brauer Manin obstruction to the Hasse principle, and the other has Q-points. Our algorithm ensures that the coefficients of the defining equations are kept low enough to find Q-points.

Back to home