next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Posets :: diamondProduct

diamondProduct -- computes the diamond product of two ranked posets

Synopsis

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

See also

Ways to use diamondProduct :