login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A293654 Integers not represented by cyclotomic binary forms. 14

%I #48 Apr 06 2024 15:00:46

%S 1,2,6,14,15,22,23,24,30,33,35,38,42,44,46,47,51,54,56,59,60,62,66,69,

%T 70,71,77,78,83,86,87,88,92,94,95,96,99,102,105,107,110,114,115,118,

%U 119,120,123,126,131,132,134,135,138,140,141,142,143,150

%N Integers not represented by cyclotomic binary forms.

%H Michel Waldschmidt, <a href="/A293654/b293654.txt">Table of n, a(n) for n = 1..249</a>

%H Étienne Fouvry, Claude Levesque, Michel Waldschmidt, <a href="https://arxiv.org/abs/1712.09019">Representation of integers by cyclotomic binary forms</a>, arXiv:1712.09019 [math.NT], 2017.

%p g := 1;

%p for m from 1 to 1000 do

%p for n from 3 to 50 do

%p for x from -50 to 50 do

%p for y from -50 to 50 do

%p if (F[n] = m, max(abs(x), abs(y)) > 1

%p then r[g] := m; m := m+1; n := 3;

%p x := -50; y := -50; g := g+1

%p fi;

%p od; od; od; od;

%p for t to 519 do print(r[{t}] = r[t]) od;

%p s[1] := 1; s[2] := 2; g := 2;

%p for i from 1 to 518 do

%p for j from r[i]+1 to r[i+1]-1 do

%p g := g+1; s[g] := j

%p od; od;

%p for t to 481 do s[t] od;

%t isA296095[n_] := If[n<3, Return[False], logn = Log[n]^1.161; K = Floor[ 5.383*logn]; M = Floor[2*(n/3)^(1/2)]; k = 3; While[True, If[k == 7, K = Ceiling[4.864*logn]; M = Ceiling[2*(n/11)^(1/4)]]; For[y = 2, y <= M, y++, p[z_] = y^EulerPhi[k]*Cyclotomic[k, z]; For[x = 1, x <= y, x++, If[n == p[x/y], Return[True]]]]; k++; If[k>K, Break[]]]; Return[False]];

%t Select[Range[150], !isA296095[#]&] (* _Jean-François Alcover_, Jun 21 2018, after _Peter Luschny_ *)

%o (Sage)

%o def A293654list(upto):

%o return [n for n in (1..upto) if not isA296095(n)]

%o print(A293654list(150)) # _Peter Luschny_, Feb 25 2018

%Y Complement of A296095.

%K nonn

%O 1,2

%A _Michel Waldschmidt_, Feb 16 2018

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 23 05:20 EDT 2024. Contains 371906 sequences. (Running on oeis4.)