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.

Showing 1-2 of 2 results.

A191257 a(n) = A067368(n)/2.

Original entry on oeis.org

1, 3, 5, 7, 8, 9, 11, 13, 15, 17, 19, 21, 23, 24, 25, 27, 29, 31, 33, 35, 37, 39, 40, 41, 43, 45, 47, 49, 51, 53, 55, 56, 57, 59, 61, 63, 64, 65, 67, 69, 71, 72, 73, 75, 77, 79, 81, 83, 85, 87, 88, 89, 91, 93, 95, 97, 99, 101, 103, 104, 105, 107, 109, 111, 113, 115, 117, 119, 120, 121, 123, 125, 127, 129, 131, 133, 135, 136, 137, 139, 141, 143
Offset: 1

Views

Author

Clark Kimberling, May 28 2011

Keywords

Comments

From Jianing Song, Sep 21 2018: (Start)
Numbers n such that A191255(n) = 0 or 3. Previous definition was numbers n such that A191255(2*n) = 1, that is, numbers of the form 2^(3t)*s where s is an odd number.
{+-a(n)} gives all nonzero cubes modulo all powers of 2, that is, nonzero cubes over the 2-adic integers. So this sequence is closed under multiplication. (End)
The old entry had the conjecture that a(n) = A067368(n)/2. Jianing Song, Sep 21 2018 showed that this is true, and gave us the simpler definition that we have now used. The conjecture is correct because {a(n)} lists the numbers of the form 2^(3t)*s, and {A067368(n)} lists the numbers of the form 2^(3t+1)*s, where s is an odd number. Note also that a(n) = A213258(n)/4.
The asymptotic density of this sequence is 4/7. - Amiram Eldar, May 31 2024

Crossrefs

Perfect powers over the 2-adic integers:
Squares: positive: A234000; negative: A004215 (negated);
Cubes: this sequence;
Fourth powers: positive: A319281; negative: A319282 (negated).

Programs

  • Mathematica
    t = Nest[Flatten[# /. {0 -> {0, 1}, 1 -> {0, 2}, 2 -> {0, 3},
          3 -> {0, 1}}] &, {0}, 9] (* A191255 *)
    Flatten[Position[t, 0]] (* A005408, the odds *)
    a = Flatten[Position[t, 1]] (* A067368 *)
    b = Flatten[Position[t, 2]] (* A213258 *)
    a/2  (* A191257 *)
    b/4  (* a/2 *)
  • PARI
    isok(n) = valuation(2*n, 2)%3==1; \\ Altug Alkan, Sep 21 2018
    
  • Python
    def A191257(n):
        def f(x): return n+x-sum(((x>>i)-1>>1)+1 for i in range(0,x.bit_length(),3))
        m, k = n, f(n)
        while m != k: m, k = k, f(k)
        return m # Chai Wah Wu, Feb 17 2025

Extensions

Name corrected by Altug Alkan, Apr 03 2018
New name from Jianing Song, Sep 21 2018

A319281 Numbers of the form 16^i*(16*j + 1).

Original entry on oeis.org

1, 16, 17, 33, 49, 65, 81, 97, 113, 129, 145, 161, 177, 193, 209, 225, 241, 256, 257, 272, 273, 289, 305, 321, 337, 353, 369, 385, 401, 417, 433, 449, 465, 481, 497, 513, 528, 529, 545, 561, 577, 593, 609, 625, 641, 657, 673, 689, 705, 721, 737, 753, 769, 784
Offset: 1

Views

Author

Jianing Song, Sep 16 2018

Keywords

Comments

{a(n)} gives all positive fourth powers modulo all powers of 2, that is, positive fourth powers over 2-adic integers. So this sequence is closed under multiplication.

Crossrefs

A158057 is a proper subsequence.
Perfect powers over 2-adic integers:
Squares: positive: A234000; negative: A004215 (negated);
Cubes: A191257;
Fourth powers: positive: this sequence; negative: A319282 (negated).

Programs

  • PARI
    isA319281(n)= n\16^valuation(n, 16)%16==1
    
  • Python
    def A319281(n):
        if n<3: return 15*n-14
        def bisection(f,kmin=0,kmax=1):
            while f(kmax) > kmax: kmax <<= 1
            kmin = kmax >> 1
            while kmax-kmin > 1:
                kmid = kmax+kmin>>1
                if f(kmid) <= kmid:
                    kmax = kmid
                else:
                    kmin = kmid
            return kmax
        def f(x): return n-1+x-sum((((x>>(i<<2))-1)>>4)+1 for i in range(x.bit_length()>>2))
        return bisection(f,n,n) # Chai Wah Wu, Feb 17 2025

Formula

a(n) = 15*n + O(log(n)).
Showing 1-2 of 2 results.