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-1 of 1 results.

A360079 Finite differences of Moebius function for the floor quotient poset.

Original entry on oeis.org

1, -2, 0, 1, 0, 1, 0, -1, 1, 0, 0, -1, 0, 0, 0, 1, 0, -2, 0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, -1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, -1, 0, 0, -1, 0, 0, 0, -1, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, 0, 0, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2
Offset: 1

Views

Author

Harry Richman, Jan 24 2023

Keywords

Comments

a(n) = mu(n) - mu(n-1), where mu(n) = A360078(n) is the Moebius function of the floor quotient poset.

Crossrefs

Programs

  • Haskell
    isFQ d n = (n `div` (n `div` d)) == d
    fqMobius 1 = 1
    fqMobius n = - sum [fqMobius d | d <- [1..(n-1)], d `isFQ` n]
    a360079 1 = 1
    a360079 n = fqMobius n - fqMobius (n-1)
    -- Harry Richman, Jun 13 2025
  • Mathematica
    LinearSolve[Table[If[Floor[i/j] > Floor[i/(j + 1)], 1, 0], {i, n}, {j, n}] . Table[If[i >= j, 1, 0], {i, n}, {j, n}], UnitVector[n, 1]]
  • PARI
    seq(n)={my(v=vector(n)); v[1]=1; for(n=2, #v, my(S=Set(vector(n-1, k, n\(k+1)))); v[n]=-sum(i=1, #S, v[S[i]])); vector(#v, i, v[i]-if(i>1, v[i-1]))} \\ Andrew Howroyd, Jan 24 2023
    
Showing 1-1 of 1 results.