# diamondProduct -- computes the diamond product of two ranked posets

## Synopsis

• 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,

## 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