JoinSemilatticeΒΆ

logic.spad line 1904

join semilattice 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
\/: (%, %) -> %
returns the logical ‘join’, e.g. ‘or’.
~=: (%, %) -> Boolean
from BasicType
coerce: % -> OutputForm
from CoercibleTo OutputForm
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
latex: % -> String
from SetCategory

BasicType

CoercibleTo OutputForm

SetCategory