SubsetLattice(S, top)ΒΆ

logic.spad line 2161

Implementation of subset logic. implements pseudo complement subset of powerset related to ‘containment order’ REP holds a single node and complete set (representing ‘top’) Date Created: Oct 2015

/\: (%, %) -> %
from MeetSemilattice
=: (%, %) -> Boolean
from BasicType
\/: (%, %) -> %
from JoinSemilattice
~=: (%, %) -> Boolean
from BasicType
coerce: % -> OutputForm
from CoercibleTo OutputForm
complement: % -> %
pseudo complement
complement: (%, List S) -> %
pseudo complement
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
latex: % -> String
from SetCategory
subsetLattice: List S -> %
construct subset lattice element

BasicType

CoercibleTo OutputForm

JoinSemilattice

Lattice

MeetSemilattice

SetCategory