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

~=: (%, %) -> 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

BasicType

CoercibleTo OutputForm

SetCategory