DivisorLattice

The poset of divisors of $n$ ordered by divisibility, on which MoebiusFunction recovers the classical number-theoretic $\mu$.

DivisorLattice(n)the divisors of $n$ ordered by divisibility

Typed signatures

Type	Package	Applies
(integer) -> expression<DivisorLattice>	incidence	always

Domain: Incidence algebras

Examples

Basic #

live ↗

In$\mathrm{PosetElements}(\mathrm{DivisorLattice}(12))$Out$\bigl\lbrack1, 2, 3, 4, 6, 12\bigr\rbrack$

$\mu(30)=-1$

live ↗

In$\mathrm{MoebiusFunction}(\mathrm{DivisorLattice}(30), 1, 30)$Out$-1$

About

Examples	2

See also: IncidenceAlgebra, PosetElements, MoebiusFunction