cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A320985 Complement of A092855.

Original entry on oeis.org

1, 4, 6, 8, 9, 10, 11, 12, 14, 15, 20, 21, 24, 25, 28, 29, 37, 38, 42, 47, 48, 51, 52, 54, 55, 57, 58, 59, 60, 62, 63, 64, 66, 69, 70, 72, 78, 81, 82, 83, 85, 86, 89, 92, 93, 96, 100, 102, 104, 106, 107, 109, 111, 113, 119, 121, 122, 128, 129, 130, 134, 136, 139
Offset: 1

Views

Author

Jianing Song, Oct 27 2018

Keywords

Comments

Positions of 0 in the binary expansion of sqrt(2) after the radix point. With a prepended 0, A092855 gives the positions of 1.

Examples

			In binary, sqrt(2) is read as 1.0110101000001001111001... The 1st, 4th, 6th and 8th digits after the radix are 0's, so the first four terms are 1, 4, 6 and 8.
		

Crossrefs

Programs

  • Mathematica
    PositionIndex[First[RealDigits[Sqrt[2], 2, 200, -1]]][0] (* Paolo Xausa, Aug 27 2024 *)
  • PARI
    default(realprecision, 150); x=sqrt(2); for(n=1, 150, if(!(floor(x*2^n)%2),print1(n, ", ")))
    
  • PARI
    Vec(select(x->(x==0), binary(sqrt(2))[2], 1)) \\ Michel Marcus, Oct 29 2018