FiniteMoebiusFunction PΒΆ

logic.spad line 438

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
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
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