BoundedDistributiveLattice

logic.spad line 1874 [edit on github]

not every lattice is distributive so treat this as a separate case for more documentation see: http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/logic/index.htm

/\: (%, %) -> %

from MeetSemilattice

=: (%, %) -> Boolean

from BasicType

\/: (%, %) -> %

from JoinSemilattice

_|_: %

from BoundedJoinSemilattice

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

from SetCategory

T: %

from BoundedMeetSemilattice

BasicType

BoundedJoinSemilattice

BoundedLattice

BoundedMeetSemilattice

CoercibleTo OutputForm

DistributiveLattice

JoinSemilattice

Lattice

MeetSemilattice

SetCategory