Many discrete integrable systems exhibit the Laurent phenomenon. In this paper, we investigate three integrable systems: the Somos-4 recurrence, the Somos-5 recurrence, and a system related to so-called A_1 A_1-system, whose general solutions are derived in terms of Hankel determinant. As a result, we directly confirm that they satisfy the Laurent property. Additionally, it is shown that the Somos-5 recurrence can be viewed as a specified Backlund transformation of the Somos-4 recurrence. Related topics about Somos polynomials are also studied.

In this paper, we introduce a new method to avoid zero reductions in Gröbner basis computation. We call this method LASyz, which stands for Lineal Algebra to compute Syzygies. LASyz uses exhaustively the information of both principal syzygies and non-trivial syzygies to avoid zero reductions. All computation is done using linear algebra techniques. LASyz is easy to understand and implement. The method does not require to compute Gröbner bases of subsequences of generators incrementally and it imposes no restrictions on the reductions allowed. We provide a complete theoretical foundation for the LASyz method and we describe an algorithm to compute Gröbner bases for zero dimensional ideals based on this foundation. A qualitative comparison with similar algorithms is provided and the performance of the algorithm is illustrated with experimental data.

No abstract uploaded!

No abstract uploaded!

In the present paper, we prove the 2-part of Birch and Swinnerton-Dyer conjecture for an explicit infinite family of rank 0 quadratic twists of the modular elliptic curve χ_0(14), using an explicit form of the Waldspurger formula. We also give an explicit infinite family of rank 1 quadratic twists of χ_0(14) whose Tate–Shafarevich group is of odd cardinality.