Index of /~maseap/progs/intpoint
Name Last modified Size Description
Parent Directory 14-Jan-2019 06:44 - Parent
MW1.m 30-Jun-2008 10:37 86k
bicocurve.magma 30-Jun-2008 10:37 11k
MWdemo.magma 30-Jun-2008 10:37 9k
integralpoints.magma 30-Jun-2008 10:37 6k
bounds.m 30-Jun-2008 10:37 6k
MW1.sig 30-Jun-2008 10:37 1k
"Integral Points on Hyperelliptic Curves"
by Y. Bugeaud, M. Mignotte, S. Siksek, M. Stoll and Sz. Tengely
In this directory there are five MAGMA programs for verifying
the computations in the above paper:
bicocurve.magma : "computations for Theorem 2, (y choose 2)=(x choose 5)"
bounds.m : "computes Baker's bounds for log(x)"
integralpoints.magma : "computations for Theorem 1, y^2-y=x^5-x"
MW1.m : "Mordell-Weil sieves intrinsics"
MWdemo.magma : "Mordell-Weil Sieve functions"
To check the computations, load either bicocurve.magma or integralpoints.magma.
WARNING: bicocurve.magma needs at least 2GB of RAM.