FiniteMoebiusFunction(P)

logic.spad line 435 [edit on github]

• P : Join(PartialOrder, SetCategory)

A domain for Moebius functions of explicit subposets of infinite posets.

= : (%, %) -> Boolean

from BasicType

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

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

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

members : % -> List(P)

members(mf) returns the elements of the subposet

moebiusFunction : List(P) -> %

moebiusFunction(pp) creates the canonical zeta matrix and inverts it.

moebiusMatrix : % -> Matrix(Integer)

moebiusMatrix(P) returns the Moebius matrix

moebiusMu : (%, P, P) -> Integer

moebiusMu(mf, pi, si) evaluates the Moebius function

~= : (%, %) -> Boolean

from BasicType

CoercibleTo(OutputForm)

SetCategory

BasicType