diamondProduct -- computes the diamond product of two ranked posets

• Usage:

  D = diamondProduct(P, Q)

• Inputs:
  • P, an instance of the type Poset, which is ranked
  • Q, an instance of the type Poset, which is ranked
• Outputs:
  • D, an instance of the type Poset,

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