[GAP Forum] Thue's Lemma

[Frank Lübeck]

On Wed, Jul 27, 2016 at 03:49:39PM +0000, Sergey Shpectorov wrote:
> Hello,
> 
> Does GAP have a function for Thue's Lemma:
> 
> Given integers m>1, X>0, Y>0, such that X<=m<XY, and an integer a,
> there exist integers
> x,y such that |x|<X, 0<y<Y, and ay=x mod m.
> 
> or something equivalent?
> 
> Best,
> Sergey

Dear Sergey, dear Forum,

See the documentation of the function

?RatNumberFromModular

which is contained in the EDIM package.

Does this what you are looking for? (When I wrote that function I was not
aware that this is known under various names.)

Best regards,
   Frank
-- 
///  Dr. Frank Lübeck, Lehrstuhl D für Mathematik, Pontdriesch 14/16,
\\\                    52062 Aachen, Germany
///  E-mail: Frank.Luebeck at Math.RWTH-Aachen.De
\\\  WWW:    http://www.math.rwth-aachen.de/~Frank.Luebeck/