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-10 of 18 results. Next

A325424 Complement of A036668: numbers not of the form 2^i*3^j*k, i + j even, (k,6) = 1.

Original entry on oeis.org

2, 3, 8, 10, 12, 14, 15, 18, 21, 22, 26, 27, 32, 33, 34, 38, 39, 40, 46, 48, 50, 51, 56, 57, 58, 60, 62, 69, 70, 72, 74, 75, 82, 84, 86, 87, 88, 90, 93, 94, 98, 104, 105, 106, 108, 110, 111, 118, 122, 123, 126, 128, 129, 130, 132, 134, 135, 136, 141, 142
Offset: 1

Views

Author

Clark Kimberling, Apr 26 2019

Keywords

Comments

These are the numbers 2x and 3x as x ranges through the numbers in A036668.
Numbers whose squarefree part is divisible by exactly one of {2, 3}. - Peter Munn, Aug 24 2020
The asymptotic density of this sequence is 5/12. - Amiram Eldar, Sep 20 2020

Links

Crossrefs

Cf. A325417, A036668.
Symmetric difference of: A003159 and A007417; A036554 and A145204\{0}.

Programs

  • Mathematica
    a = {1}; Do[AppendTo[a, NestWhile[# + 1 &, Last[a] + 1, Apply[Or,
Map[MemberQ[a, #] &, Select[Flatten[{#/3, #/2}],
IntegerQ]]] &]], {150}]; a     (* A036668 *)
Complement[Range[Last[a]], a]  (* A325424 *)
(* Peter J. C. Moses, Apr 23 2019 *)
  • Python
    from itertools import count
def A325424(n):
    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):
        c = n
        for i in range(x.bit_length()+1):
            i2 = 1<x:
                    break
                m = x//k
                c += (m-1)//6+(m-5)//6+2
        return c
    return bisection(f,n,n) # Chai Wah Wu, Jan 28 2025

Formula

(2 * {A036668}) union (3 * {A036668}). - Sean A. Irvine, May 19 2019

A325498 Difference sequence of A036668.

Original entry on oeis.org

3, 1, 1, 1, 2, 2, 2, 3, 1, 2, 1, 3, 1, 1, 3, 1, 1, 1, 4, 1, 1, 4, 1, 1, 1, 1, 2, 2, 3, 1, 1, 1, 4, 2, 2, 1, 1, 1, 1, 1, 3, 2, 3, 1, 1, 1, 1, 1, 2, 2, 4, 2, 1, 3, 1, 1, 2, 1, 1, 1, 1, 4, 2, 3, 1, 1, 1, 1, 1, 2, 1, 1, 3, 1, 2, 4, 2, 4, 1, 1, 1, 3, 1, 1, 3, 1
Offset: 1

Views

Author

Clark Kimberling, May 05 2019

Keywords

Comments

See A325417 for a guide to related sequences.
Conjecture: every term is in {1,2,3,4}.

Examples

			A036668 is given by A(n) = least number not 2*A(m) or 3*A(m) for any m < n, so that A = (1,4,5,6,7,9,11,...), with differences (3,1,1,1,2,2,...).

Links

Crossrefs

Cf. A325417, A036668, A325499.

Programs

  • Mathematica
    a = {1}; Do[AppendTo[a, NestWhile[# + 1 &, Last[a] + 1,
Apply[Or, Map[MemberQ[a, #] &, Select[Flatten[{#/3, #/2}],
IntegerQ]]] &]], {2000}]; a ;       (* A036668 *)
c = Complement[Range[Last[a]], a] ; (* A325424 *)
Differences[a]  (* A325498 *)
Differences[c]  (* A325499 *)
(* Peter J. C. Moses, Apr 23 2019 *)

Formula

Asymptotic mean: lim_{n->oo} (1/n) * Sum_{k=1..n} a(k) = 12/7. - Amiram Eldar, Nov 26 2020

A325417 a(n) is the least number not 2*a(m) or 3*a(m)+1 for any m < n.

Original entry on oeis.org

1, 3, 5, 7, 8, 9, 11, 12, 13, 15, 17, 19, 20, 21, 23, 27, 29, 31, 32, 33, 35, 36, 39, 41, 43, 44, 45, 47, 48, 49, 50, 51, 53, 55, 56, 57, 59, 60, 63, 65, 67, 68, 69, 71, 73, 74, 75, 76, 77, 79, 80, 81, 83, 84, 85, 87, 89, 91, 92, 93, 95, 99, 101, 103, 104
Offset: 1

Views

Author

Clark Kimberling, Apr 24 2019

Keywords

Comments

In column 1 of the following guide to related sequences, disallowed terms are indicated by the variable x representing a(m) for m < n.
Disallowed Sequence(a) Complement(c) Differences(a) Differences(c)
2x, 3x+1 A325417 A325418 A325444 A325445
3x, 2x+1 A325419 A325420 A325494 A325495
2x+1, 3x+1 A077477 A325422 A325496 A325497
2x, 3x A036668 A325424 A325498 A325499
[3x/2], 2x A325425 A325426 A325518 A325519
[3x/2], 2x+1 A325427 A325428 A325520 A325521
[3x/2], 3x A325429 A325430 A325522 A325523
3x, 4x A325431 A325432 A325525 A325526
2x, 3x-1 A325462 A325463 A325526 A325527
2x, 3x-2 A325464 A325465 A325528 A325529
2x-1, 3x-1 A325440 A325441 A325530 A325531
2x-1, 3x A325442 A325443 A325532 A325533
2x+1, 3x+2 A325539 A325540 A325541 A325542

Examples

			The sequence necessarily starts with 1.  The next 2 terms are determined as follows:  because a(1) = 1, the numbers 2 and 4 are disallowed, so that a(2) = 3, whence the numbers 6 and 10 are disallowed, so that a(3) = 5.

Links

Crossrefs

Cf. A325418, A325444.

Programs

  • Mathematica
    a = {1}; Do[AppendTo[a, NestWhile[# + 1 &, Last[a] + 1,
Apply[Or, Map[MemberQ[a, #] &, Select[Flatten[{#/2, (# - 1)/3}],
IntegerQ]]] &]], {150}]; a     (* A325417 *)
Complement[Range[Last[a]], a]  (* A325418 *)
(* Peter J. C. Moses, Apr 23 2019 *)

A145204 Numbers whose representation in base 3 (A007089) ends in an odd number of zeros.

Original entry on oeis.org

0, 3, 6, 12, 15, 21, 24, 27, 30, 33, 39, 42, 48, 51, 54, 57, 60, 66, 69, 75, 78, 84, 87, 93, 96, 102, 105, 108, 111, 114, 120, 123, 129, 132, 135, 138, 141, 147, 150, 156, 159, 165, 168, 174, 177, 183, 186, 189, 192, 195, 201, 204, 210, 213, 216, 219, 222, 228, 231
Offset: 1

Views

Author

Reinhard Zumkeller, Oct 04 2008

Keywords

Comments

Previous name: Complement of A007417.
Also numbers having infinitary divisor 3, or the same, having factor 3 in their Fermi-Dirac representation as product of distinct terms of A050376. - Vladimir Shevelev, Mar 18 2013
For n > 1: where even terms occur in A051064. - Reinhard Zumkeller, May 23 2013
If we exclude a(1) = 0, these are numbers whose squarefree part is divisible by 3, which can be partitioned into numbers whose squarefree part is congruent to 3 mod 9 (A055041) and 6 mod 9 (A055040) respectively. - Peter Munn, Jul 14 2020
The inclusion of 0 as a term might be viewed as a cultural preference: if we habitually wrote numbers enclosed in brackets and then used a null string of digits for zero, the natural number sequence in ternary would be [], [1], [2], [10], [11], [12], [20], ... . - Peter Munn, Aug 02 2020
The asymptotic density of this sequence is 1/4. - Amiram Eldar, Sep 20 2020

Links

Crossrefs

Subsequence of A008585, A028983.
Subsequences: A016051, A055040, A055041, A329575.
Cf. A007089, A007417 (complement), A050376, A182581 (characteristic function).
Positions of 0s in A014578.
Excluding 0: the positions of odd numbers in A007949; equivalently, of even numbers in A051064; symmetric difference of A003159 and A036668.
Related to A042964 via A052330.
Related to A036554 via A064614.

Programs

  • Haskell
    a145204 n = a145204_list !! (n-1)
a145204_list = 0 : map (+ 1) (findIndices even a051064_list)
-- Reinhard Zumkeller, May 23 2013
  • Maple
    isA145204 := proc(n) local d, c;
if n = 0 then return true fi;
d := A007089(n); c := 0;
while irem(d, 10) = 0 do c := c+1; d := iquo(d, 10) od;
type(c, odd) end:
select(isA145204, [$(0..231)]); # Peter Luschny, Aug 05 2020
  • Mathematica
    Select[ Range[0, 235], (# // IntegerDigits[#, 3]& // Split // Last // Count[#, 0]& // OddQ)&] (* Jean-François Alcover, Mar 18 2013 *)
Join[{0}, Select[Range[235], OddQ @ IntegerExponent[#, 3] &]] (* Amiram Eldar, Sep 20 2020 *)
  • Python
    import numpy as np
def isA145204(n):
    if n == 0: return True
    c = 0
    d = int(np.base_repr(n, base = 3))
    while d % 10 == 0:
        c += 1
        d //= 10
    return c % 2 == 1
print([n for n in range(231) if isA145204(n)]) # Peter Luschny, Aug 05 2020
  • Python
    from sympy import integer_log
def A145204(n):
    if n == 1: return 0
    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+sum(((m:=x//9**i)-2)//3+(m-1)//3+2 for i in range(integer_log(x,9)[0]+1))
    return bisection(f,n,n) # Chai Wah Wu, Feb 15 2025

Formula

a(n) = 3 * A007417(n-1) for n > 1.
A014578(a(n)) = 0.
For n > 1, A007949(a(n)) mod 2 = 1. [Edited by Peter Munn, Aug 02 2020]
{a(n) : n >= 2} = {A052330(A042964(k)) : k >= 1} = {A064614(A036554(k)) : k >= 1}. - Peter Munn, Aug 31 2019 and Dec 06 2020

Extensions

New name using a comment of Vladimir Shevelev by Peter Luschny, Aug 05 2020

A339746 Positive integers of the form 2^i*3^j*k, gcd(k,6)=1, and i == j (mod 3).

Original entry on oeis.org

1, 5, 6, 7, 8, 11, 13, 17, 19, 23, 25, 27, 29, 30, 31, 35, 36, 37, 40, 41, 42, 43, 47, 48, 49, 53, 55, 56, 59, 61, 64, 65, 66, 67, 71, 73, 77, 78, 79, 83, 85, 88, 89, 91, 95, 97, 101, 102, 103, 104, 107, 109, 113, 114, 115, 119, 121, 125, 127, 131, 133, 135
Offset: 1

Views

Author

Griffin N. Macris, Dec 15 2020

Keywords

Comments

From Peter Munn, Mar 16 2021: (Start)
The positive integers in the multiplicative subgroup of the positive rationals generated by 8, 6, and A215848 (primes greater than 3).
This subgroup, denoted H, has two cosets: 2H = (1/3)H and 3H = (1/2)H. It follows that the sequence is one part of a 3-part partition of the positive integers with the property that each part's terms are half the even terms of one of the other parts and also one third of the multiples of 3 in the remaining part.
(End)
Positions of multiples of 3 in A276085 (and in A276075). Because A276085 is completely additive, this is closed under multiplication: if m and n are in the sequence then so is m*n. - Antti Karttunen, May 27 2024
The coset sequences mentioned in Peter Munn's comment above are A373261 and A373262. - Antti Karttunen, Jun 04 2024

Links

Crossrefs

Sequences of positive integers in a multiplicative subgroup of positive rationals generated by a set S and A215848: S={}: A007310, S={6}: A064615, S={3,4}: A003159, S={2,9}: A007417, S={4,6}: A036668, S={3,8}: A191257, S={4,9}: A339690, S={6,8}: this sequence.
Positions of 0's in A373153, positions of multiples of 3 in A276085 and in A372576.
Cf. A372573 (characteristic function), A373261, A373262.
Subsequences: A064615, A373144, A373373, A373484, A373837, A374042, A374044, A374120, A377872.
Sequences giving positions of multiples of k in A276085, for k=2, 3, 4, 5, 8, 27, 3125: A003159, this sequence, A369002, A373140, A373138, A377872, A377878.
Cf. also A332820, A373992, A383288.

Programs

  • Maple
    N:= 1000: # for terms <= N
R:= {}:
for k1 from 0 to floor(N/6) do
  for k0 in [1,5] do
    k:= k0 + 6*k1;
    for j from 0 while 3^j*k <= N do
      for i from (j mod 3) by 3 do
        x:= 2^i * 3^j * k;
        if x > N then break fi;
        R:= R union {x}
od od od od:
sort(convert(R,list)); # Robert Israel, Apr 08 2021
  • Mathematica
    Select[Range[130], Mod[IntegerExponent[#, 2] - IntegerExponent[#, 3], 3] == 0 &]
  • PARI
    isA339746 = A372573; \\ Antti Karttunen, Jun 04 2024
  • Python
    from sympy import factorint
def ok(n):
  f = factorint(n, limit=4)
  i, j = 0 if 2 not in f else f[2], 0 if 3 not in f else f[3]
  return (i-j)%3 == 0
def aupto(limit): return [m for m in range(1, limit+1) if ok(m)]
print(aupto(200)) # Michael S. Branicky, Mar 26 2021
  • Python
    from itertools import count
def A339746(n):
    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):
        c = n+x
        for i in range(x.bit_length()+1):
            i2 = 1<x:
                    break
                m = x//k
                c -= (m-1)//6+(m-5)//6+2
        return c
    return bisection(f,n,n) # Chai Wah Wu, Feb 12 2025

Formula

a(n) ~ (91/43)*n.

A339690 Positive integers of the form 4^i*9^j*k with gcd(k,6)=1.

Original entry on oeis.org

1, 4, 5, 7, 9, 11, 13, 16, 17, 19, 20, 23, 25, 28, 29, 31, 35, 36, 37, 41, 43, 44, 45, 47, 49, 52, 53, 55, 59, 61, 63, 64, 65, 67, 68, 71, 73, 76, 77, 79, 80, 81, 83, 85, 89, 91, 92, 95, 97, 99, 100, 101, 103, 107, 109, 112, 113, 115, 116, 117, 119, 121
Offset: 1

Views

Author

Griffin N. Macris, Dec 13 2020, and Peter Munn, Feb 03 2021

Keywords

Comments

Positive integers that survive sieving by the rule: if m appears then 2m, 3m and 6m do not.
Numbers whose squarefree part is congruent to 1 or 5 modulo 6.
Closed under multiplication.
Term by term, the sequence is one half of its complement within A007417, one third of its complement within A003159, and one sixth of its complement within A036668.
Asymptotic density is 1/2.
The set of all a(n) has maximal lower density (1/2) among sets S such that S, 2S, and 3S are disjoint.
Numbers which do not have 2 or 3 in their Fermi-Dirac factorization. Thus each term is a product of a unique subset of A050376 \ {2,3}.
It follows that the sequence is closed with respect to the commutative binary operation A059897(.,.), forming a subgroup of the positive integers considered as a group under A059897. It is the subgroup generated by A050376 \ {2,3}. A003159, A007417 and A036668 correspond to the nontrivial subgroups of its quotient group. It is the lexicographically earliest ordered transversal of the subgroup {1,2,3,6}, which in ordered form is the lexicographically earliest subgroup of order 4.

Examples

			Numbers are removed by the sieve only due to the presence of a smaller number, so 1 is in the sequence as the smallest positive integer. The sieve removes 2, as it is twice 1, which is in the sequence; so 2 is not in the sequence. The sieve removes 3, as it is three times 1, which is in the sequence, so 3 is not in the sequence. There are no integers m for which 3m = 4 or 6m = 4; 2m = 4 for m = 2, but 2 is not in the sequence; so the sieve does not remove 4, so 4 is in the sequence.

Links

Crossrefs

Cf. A050376, A059897, A307150, A339746, A372574 (characteristic function).
Ordered first quadrisection of A052330.
Intersection of any 2 of A003159, A007417 and A036668.
A329575 divided by 3.

Programs

  • Mathematica
    Select[Range[117], EvenQ[IntegerExponent[#, 2]] && EvenQ[IntegerExponent[#, 3]] &]
f[p_, e_] := p^Mod[e, 2]; core[n_] := Times @@ f @@@ FactorInteger[n]; Select[Range[121], CoprimeQ[core[#], 6] &] (* Amiram Eldar, Feb 06 2021 *)
  • PARI
    isok(m) = core(m) % 6 == 1 || core(m) % 6 == 5;
  • Python
    from itertools import count
from sympy import integer_log
def A339690(n):
    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):
        c = n+x
        for i in range(integer_log(x,9)[0]+1):
            i2 = 9**i
            for j in count(0,2):
                k = i2<x:
                    break
                m = x//k
                c -= (m-1)//6+(m-5)//6+2
        return c
    return bisection(f,n,n) # Chai Wah Wu, Feb 14 2025

Formula

{a(n) : n >= 1} = {m : A307150(m) = 6m, m >= 0}.
{a(n) : n >= 1} = {k : k = A052330(4m), m >= 0}.
A329575(n) = a(n) * 3.
{A036668(n) : n >= 0} = {a(n) : n >= 1} U {6 * a(n) : n >= 1}.
{A003159(n) : n >= 1} = {a(n) : n >= 1} U {3 * a(n) : n >= 1}.
{A007417(n) : n >= 1} = {a(n) : n >= 1} U {2 * a(n) : n >= 1}.
a(n) ~ 2n.

A334747 Let p be the smallest prime not dividing the squarefree part of n. Multiply n by p and divide by the product of all smaller primes.

Original entry on oeis.org

2, 3, 6, 8, 10, 5, 14, 12, 18, 15, 22, 24, 26, 21, 30, 32, 34, 27, 38, 40, 42, 33, 46, 20, 50, 39, 54, 56, 58, 7, 62, 48, 66, 51, 70, 72, 74, 57, 78, 60, 82, 35, 86, 88, 90, 69, 94, 96, 98, 75, 102, 104, 106, 45, 110, 84, 114, 87, 118, 120, 122, 93, 126, 128, 130, 55
Offset: 1

Views

Author

Peter Munn, May 09 2020

Keywords

Comments

A bijection from the positive integers to the nonsquares, A000037.
A003159 (which has asymptotic density 2/3) lists index n such that a(n) = 2n. The sequence maps the terms of A003159 1:1 onto A036554, defining a bijection between them.
Similarly, bijections are defined from A007417 to A325424, from A325424 to A145204\{0}, and from the first in each of the following pairs to the nonsquare integers in the second: (A145204\{0}, A036668), (A036668, A007417), (A036554, A003159), (A332820, A332821), (A332821, A332822), (A332822, A332820). Note that many of these are between sets where membership depends on whether a number's squarefree part divides by 2 and/or 3.
Starting from 1, and iterating the sequence as a(1) = 2, a(2) = 3, a(3) = 6, a(6) = 5, a(5) = 10, etc., runs through the squarefree numbers in the order they appear in A019565. - Antti Karttunen, Jun 08 2020

Examples

			168 = 42*4 has squarefree part 42 (and square part 4). The smallest prime absent from 42 = 2*3*7 is 5 and the product of all smaller primes is 2*3 = 6. So a(168) = 168*5/6 = 140.

Crossrefs

Permutation of A000037.
Row 2, and therefore column 2, of A331590. Cf. A334748 (row 3).
A007913, A034386, A053669, A225546 are used in formulas defining the sequence.
The formula section details how the sequence maps the terms of A002110, A003961, A019565; and how f(a(n)) relates to f(n) for f = A008833, A048675, A267116; making use of A003986.
Subsequences: A016825 (odd bisection), A036554, A329575.
Bijections are defined that relate to A003159, A007417, A036668, A145204, A325424, A332820, A332821, A332822.
Cf. also binary trees A334860, A334866 and A334870 (a left inverse).

Programs

  • PARI
    a(n) = {my(c=core(n), m=n); forprime(p=2, , if(c % p, m*=p; break, m/=p)); m;} \\ Michel Marcus, May 22 2020

Formula

a(n) = n * m / A034386(m-1), where m = A053669(A007913(n)).
a(n) = A331590(2, n) = A225546(2 * A225546(n)).
a(A019565(n)) = A019565(n+1).
a(k * m^2) = a(k) * m^2.
a(A003961(n)) = 2 * A003961(n).
a(2 * A003961(n)) = A003961(a(n)).
a(A002110(n)) = prime(n+1).
A048675(a(n)) = A048675(n) + 1.
A008833(a(n)) = A008833(n).
A267116(a(n)) = A267116(n) OR 1, where OR denotes the bitwise operation A003986.
a(A003159(n)) = A036554(n) = 2 * A003159(n).
A334870(a(n)) = n. - Antti Karttunen, Jun 08 2020

A329575 Numbers whose smallest Fermi-Dirac factor is 3.

Original entry on oeis.org

3, 12, 15, 21, 27, 33, 39, 48, 51, 57, 60, 69, 75, 84, 87, 93, 105, 108, 111, 123, 129, 132, 135, 141, 147, 156, 159, 165, 177, 183, 189, 192, 195, 201, 204, 213, 219, 228, 231, 237, 240, 243, 249, 255, 267, 273, 276, 285, 291, 297, 300, 303, 309, 321, 327, 336, 339, 345
Offset: 1

Views

Author

Peter Munn, Apr 27 2020

Keywords

Comments

Every positive integer is the product of a unique subset of the terms of A050376 (sometimes called Fermi-Dirac primes). This sequence lists the numbers where the relevant subset includes 3 but not 2.
Numbers whose squarefree part is divisible by 3 but not 2.
Positive multiples of 3 that survive sieving by the rule: if m appears then 2m, 3m and 6m do not. Asymptotic density is 1/6.

Examples

			6 is the product of the following terms of A050376: 2, 3. These terms include 2, so 6 is not in the sequence.
12 is the product of the following terms of A050376: 3, 4. These terms include 3, but not 2, so 12 is in the sequence.
20 is the product of the following terms of A050376: 4, 5. These terms do not include 3, so 20 is not in the sequence.

Links

Crossrefs

Cf. A007913, A036668, A050376, A059897, A223490, A307150, A339690.
Intersection of any 2 of A003159, A145204 and A325424; also subsequence of A028983.
Ordered 3rd quadrisection of A052330.

Programs

  • Mathematica
    f[p_, e_] := p^(2^IntegerExponent[e, 2]); fdmin[n_] := Min @@ f @@@ FactorInteger[n]; Select[Range[350], fdmin[#] == 3 &] (* Amiram Eldar, Nov 27 2020 *)
  • PARI
    isok(m) = core(m) % 6 == 3; \\ Michel Marcus, May 01 2020
  • Python
    from itertools import count
from sympy import integer_log
def A329575(n):
    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):
        c = n+x
        for i in range(integer_log(x,9)[0]+1):
            i2 = 9**i
            for j in count(0,2):
                k = i2<x:
                    break
                m = x//k
                c -= (m-1)//6+(m-5)//6+2
        return c
    return 3*bisection(f,n,n) # Chai Wah Wu, Apr 10 2025

Formula

A223490(a(n)) = 3.
A007913(a(n)) == 3 (mod 6).
A059897(2, a(n)) = 2 * a(n).
A059897(3, a(n)) * 3 = a(n).
{a(n) : n >= 1} = {k : 3 * A307150(k) = 2 * k}.
A003159 = {a(n) / 3 : n >= 1} U {a(n) : n >= 1}.
A036668 = {a(n) / 3 : n >= 1} U {a(n) * 2 : n >= 1}.
A145204 \ {0} = {a(n) : n >= 1} U {a(n) * 2 : n >= 1}.
a(n) = 3*A339690(n). - Chai Wah Wu, Apr 10 2025

A225837 Numbers of form 2^i*3^j*(6k+1), i, j, k >= 0.

Original entry on oeis.org

1, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14, 16, 18, 19, 21, 24, 25, 26, 27, 28, 31, 32, 36, 37, 38, 39, 42, 43, 48, 49, 50, 52, 54, 55, 56, 57, 61, 62, 63, 64, 67, 72, 73, 74, 75, 76, 78, 79, 81, 84, 85, 86, 91, 93, 96, 97, 98, 100, 103, 104, 108, 109, 110, 111, 112
Offset: 1

Views

Author

Ralf Stephan, May 16 2013

Keywords

Comments

The asymptotic density of this sequence is 1/2. - Amiram Eldar, Apr 03 2022
From Peter Munn, Nov 16 2023: (Start)
Contains all nonzero squares.
Dividing by 5 the terms that are multiples of 5 gives its complement, A225838.
(A352272, 2*A352272, 3*A352272, 6*A352272) is a partition of the terms.
The terms form a subgroup of the positive integers under the operation A059897(.,.) and are the positive integers in an index 2 multiplicative subgroup of rationals that is generated by 2, 3 and integers congruent to 1 modulo 6. See A225857 and A352272 for further information about such subgroups.
(End)

Links

Crossrefs

Complement of A225838.
Subsequences: A003136\{0}, A083854\{0}, A260488\{0}, A352272.
Symmetric difference of A026225 and A036554; of A036668 and A189716.
Cf. A016921, A059897, A225857.

Programs

  • Magma
    [n: n in [1..200] | IsOne(d mod 6) where d is n div (2^Valuation(n,2)*3^Valuation(n,3))]; // Bruno Berselli, May 16 2013
  • Mathematica
    mx = 122; t = {}; Do[n = 2^i*3^j (6 k + 1); If[n <= mx, AppendTo[t, n]], {i, 0, Log[2, mx]}, {j, 0, Log[3, mx]}, {k, 0, mx/6}]; Union[t] (* T. D. Noe, May 16 2013 *)
  • PARI
    for(n=1,200,t=n/(2^valuation(n,2)*3^valuation(n,3));if((t%6==1),print1(n,",")))
  • Python
    from sympy import integer_log
def A225837(n):
    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+x-sum(((x//3**i>>j)+5)//6 for i in range(integer_log(x,3)[0]+1) for j in range((x//3**i).bit_length()))
    return bisection(f,n,n) # Chai Wah Wu, Feb 02 2025

A352272 Numbers whose squarefree part is congruent to 1 modulo 6.

Original entry on oeis.org

1, 4, 7, 9, 13, 16, 19, 25, 28, 31, 36, 37, 43, 49, 52, 55, 61, 63, 64, 67, 73, 76, 79, 81, 85, 91, 97, 100, 103, 109, 112, 115, 117, 121, 124, 127, 133, 139, 144, 145, 148, 151, 157, 163, 169, 171, 172, 175, 181, 187, 193, 196, 199, 205, 208, 211, 217, 220, 223, 225, 229
Offset: 1

Views

Author

Peter Munn, Mar 10 2022

Keywords

Comments

Numbers of the form 4^i * 9^j * (6k+1), i, j, k >= 0.
Closed under multiplication.
The sequence forms a subgroup of the positive integers under the commutative operation A059897(.,.), one of 8 subgroups of the form {k : A007913(k) == 1 (mod m)} - in each case m is a divisor of 24. A059897 has a relevance to squarefree parts that arises from the identity A007913(k*n) = A059897(A007913(k), A007913(n)), where A007913(n) is the squarefree part of n.
The subgroup has 8 cosets, which partition the positive integers as follows. For each i in {1, 5}, j in {1, 2, 3, 6} there is a coset {m^2 * (6k+i) * j : m >= 1, k >= 0}. See the table in the examples.
None of the 8 cosets have been entered into the database previously, but many subgroups of the quotient group (which are formed of certain combinations of cosets) are represented among earlier OEIS sequences, including 6 of the 7 subgroups of index 2 (which combine 4 cosets). This sequence can therefore be defined as the intersection of pairs or triples of these sequences in many combinations (see the cross-references). See also the table in the example section of A352273 (the coset that includes 5).

Examples

			The squarefree part of 9 is 1, which is congruent to 1 (mod 6), so 9 is in the sequence.
The squarefree part of 14 is 14, which is congruent to 2 (mod 6), so 14 is not in the sequence.
The squarefree part of 52 = 2^2 * 13 is 13, which is congruent to 1 (mod 6), so 52 is in the sequence.
The 8 cosets described in the initial comments (forming a partition of the positive integers) are shown as rows of the following table. The first half of the table corresponds to (6k+i) with i=1; the second half to i=5, with row 5 being A352273.
   1,  4,   7,   9,  13,  16,  19,  25,  28,  31,  36, ...
   2,  8,  14,  18,  26,  32,  38,  50,  56,  62,  72, ...
   3, 12,  21,  27,  39,  48,  57,  75,  84,  93, 108, ...
   6, 24,  42,  54,  78,  96, 114, 150, 168, 186, 216, ...
   5, 11,  17,  20,  23,  29,  35,  41,  44,  45,  47, ...
  10, 22,  34,  40,  46,  58,  70,  82,  88,  90,  94, ...
  15, 33,  51,  60,  69,  87, 105, 123, 132, 135, 141, ...
  30, 66, 102, 120, 138, 174, 210, 246, 264, 270, 282, ...
The product of two positive integers is in this sequence if and only if they are in the same coset. The asymptotic density of cosets (containing) 1 and 5 is 1/4; of cosets 2 and 10 is 1/8; of cosets 3 and 15 is 1/12; of cosets 6 and 30 is 1/24.

Links

Crossrefs

Intersection of any 2 of A055047, A339690 and A352274.
Intersection of any 4 sets chosen from A003159, A007417, A026225, A036668, A189715 and A225837 (in most cases, only 3 sets are needed - specifically if the pairwise intersections of the 3 sets differ from each other).
Closure of A084089 under multiplication by 9.
Other subsequences: A000290\{0}, A016921, A229848 (apparently, with 55 the first difference).
A334832 lists equivalent sequences modulo other divisors of 24.
Cf. A007913, A059897, A307151, A352273.

Programs

  • PARI
    isok(m) = core(m) % 6 == 1;
  • Python
    from itertools import count
def A352272(n):
    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):
        c = n+x
        for i in count(0):
            i2 = 9**i
            if i2>x:
                break
            for j in count(0,2):
                k = i2<x:
                    break
                c -= (x//k-1)//6+1
        return c
    return bisection(f,n,n) # Chai Wah Wu, Feb 14 2025

Formula

{a(n) : n >= 1} = {m >= 1 : A007913(m) == 1 (mod 6)}.
{a(n) : n >= 1} = A334832 U A334832/7 U A334832/13 U A334832/19 where A334832/k denotes {A334832(m)/k : m >= 1, k divides A334832(m)}.
Using the same denotation, {a(n) : n >= 1} = A352273/5 = {A307151(A352273(m)) : m >= 1}.
Showing 1-10 of 18 results. Next

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.