BoundedJoinSemilattice - FriCAS
BoundedJoinSemilattice - FriCAS Navigation index next | previous | FriCAS >> FriCAS API >> Categories >> BoundedJoinSemilattice BoundedJoinSemilattice logic.spad line 1802 [edit on github] 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 .