Index of /staff/H.R.Gallegos-Ruiz/programs/sintegral

      Name                    Last modified       Size  Description


[DIR] Parent Directory        09-Dec-2010 22:45      -  Parent
[TXT] MW.m                    09-Dec-2010 22:46     4k  
[TXT] proof.txt               09-Dec-2010 22:46   662k  Text file
[TXT] sintpoints.m            09-Dec-2010 22:45     4k  
[TXT] upperbounds.m           09-Dec-2010 22:45     7k  

This folder contains MAGMA programs related to my paper
S-integral points on hyperelliptic curves,
To appear in The International Journal of Number Theory.

The file upperbounds.m contains programs to compute upper bounds for
the size of the S-integral points on a given curve 
a y2 = f(x)

The file MW.m contains programs to perform the Mordell-Weil sieve as
explained in the paper by Bugeaud, Mignotte, Siksek, Stoll and Tengely
Integral points on hyperelliptic curves.

The file sintpoints.m contains the necessary computations to find the
S-integral points on the curve
Y2 - Y = X5 - X,
where S is the set of the first 22 rational primes.
This file needs upperbounds.m and MW.m in order to run.

The file proof.txt contains the output of sintpoints.m
This proves Theorem 1.1 of my paper.