GeneralizedFiniteMoebiusFunction(P, R)

logic.spad line 520 [edit on github]

• P : Join(PartialOrder, SetCategory)
• R : Field

A domain for generalized Moebius functions of explicit subposets.

apply : (%, P, P) -> R

mf(pi, si) evaluates the Moebius function mf at pi and si

canonicalMoebiusFunction : List(P) -> %

canonicalMoebiusFunction(pp) inverts the canonical zeta function

generalizedMoebiusFunction : (List(P), Mapping(R, P, P)) -> %

generalizedMoebiusFunction(pp, zeta) inverts the given zeta function

members : % -> List(P)

members(mf) returns the elements of the subposet

moebiusMatrix : % -> Matrix(R)

moebiusMatrix() returns the Moebius matrix