BoundedJoinSemilatticeΒΆ

logic.spad line 1925

join semilattice with bottom Different from exterior Grassmann product operator as that anticommutes. need to check precedence when used as an infix operator for more documentation see: http://www.euclideanspace.com/prog/scratchpad/mycode/discrete/logic/index.htm

=: (%, %) -> Boolean
from BasicType
\/: (%, %) -> %
from JoinSemilattice
_|_: %
bottom (false in logic).
~=: (%, %) -> Boolean
from BasicType
coerce: % -> OutputForm
from CoercibleTo OutputForm
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
latex: % -> String
from SetCategory

BasicType

CoercibleTo OutputForm

JoinSemilattice

SetCategory