MeetSemilattice

logic.spad line 1739 [edit on github]

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

/\: (%, %) -> %

returns the logical ‘meet’, e.g. ‘and’.

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

from SetCategory

BasicType

CoercibleTo OutputForm

SetCategory