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

Ways to use `diamondProduct` :

"diamondProduct(Poset,Poset)"

For the programmer

The object diamondProduct is a method function.

diamondProduct -- computes the diamond product of two ranked posets

Synopsis

Description

See also

Ways to use diamondProduct :

For the programmer

Ways to use `diamondProduct` :