The diamond product of two ranked posets is the Cartesian product of the posets with their minimal elements removed and a new minimal element adjoined to the product.
i1 : diamondProduct(chain 3, chain 3) o1 = Relation Matrix: | 1 1 1 1 1 | | 0 1 1 1 1 | | 0 0 1 0 1 | | 0 0 0 1 1 | | 0 0 0 0 1 | o1 : Poset |
The object diamondProduct is a method function.