Index of /~maseap/progs/intpoint

 Name                    Last modified       Size  Description

 Parent Directory        11-Mar-2016 15:56      -  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.