diamondProduct -- computes the diamond product of two ranked posets

Synopsis

Usage:
D = diamondProduct(P, Q)
Inputs:
- P, an object of class Poset, which is ranked
- Q, an object of class Poset, which is ranked
Outputs:
- D, an object of class Poset

Description

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

Ways to use `diamondProduct` :

diamondProduct(Poset,Poset)

diamondProduct -- computes the diamond product of two ranked posets

Synopsis

Description

See also

Ways to use diamondProduct :

Ways to use `diamondProduct` :