BoundedDistributiveLattice

logic.spad line 1868 [edit on github]

not every lattice is distributive so treat this as a separate case for more documentation see: htm

/\ : (%, %) -> %

from MeetSemilattice

= : (%, %) -> Boolean

from BasicType

T : () -> %

from BoundedMeetSemilattice

\/ : (%, %) -> %

from JoinSemilattice

_|_ : () -> %

from BoundedJoinSemilattice

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

~= : (%, %) -> Boolean

from BasicType

DistributiveLattice

BoundedJoinSemilattice

BoundedMeetSemilattice

Lattice

SetCategory

BasicType

MeetSemilattice

BoundedLattice

JoinSemilattice

CoercibleTo(OutputForm)