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 = Poset{cache => CacheTable{}                                                                                  }
           GroundSet => {{1, 1}, {2, 2}, {2, 3}, {3, 2}, {3, 3}}
           RelationMatrix => | 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 |
           Relations => {{{1, 1}, {2, 2}}, {{2, 2}, {3, 2}}, {{2, 3}, {3, 3}}, {{2, 2}, {2, 3}}, {{3, 2}, {3, 3}}}

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` :