The function mobius(n) gives the Mobius function of n (lattice of divisors). It returns 1, -1, or 0 depending on the factorization of n. Note that it returns 0 if and only if n has a square factor > 1.

The command with(numtheory,mobius) allows the use of the abbreviated form of this command.