BoundedMeetSemilatticeΒΆ

logic.spad line 1888

meet semilattice with top Implementations in set, logic and orders for more documentation see: http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/logic/index.htm

/\: (%, %) -> %
from MeetSemilattice
=: (%, %) -> Boolean
from BasicType
~=: (%, %) -> Boolean
from BasicType
coerce: % -> OutputForm
from CoercibleTo OutputForm
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
latex: % -> String
from SetCategory
T: %
Top (true in logic).

BasicType

CoercibleTo OutputForm

MeetSemilattice

SetCategory