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.lueb...@math.rwth-aachen.de \\\ WWW: http://www.math.rwth-aachen.de/~Frank.Luebeck/ _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
