adjoinMax -- computes the poset with a new maximum element

Synopsis

Usage:
Q = adjoinMax P
Q = adjoinMax(P, a)
Inputs:
- P, an object of class Poset
- a, a thing, the new maximal element of P
Outputs:
- Q, an object of class Poset

Description

This method simply creates a new poset Q with the maximal element a. If a is unspecified, 1 or 1 more than the largest integer vertex is used.

i1 : P = poset {{1,2},{1,3},{1,4}};

i2 : adjoinMax(P, 100)

o2 = Poset{cache => CacheTable{...2...}                                                 }
           GroundSet => {1, 2, 3, 4, 100}
           RelationMatrix => | 1 1 1 1 1 |
                             | 0 1 0 0 1 |
                             | 0 0 1 0 1 |
                             | 0 0 0 1 1 |
                             | 0 0 0 0 1 |
           Relations => {{1, 2}, {1, 3}, {1, 4}, {1, 100}, {2, 100}, {3, 100}, {4, 100}}

o2 : Poset

Ways to use `adjoinMax` :

adjoinMax(Poset)
adjoinMax(Poset,Thing)

adjoinMax -- computes the poset with a new maximum element

Synopsis

Description

See also

Ways to use adjoinMax :

Ways to use `adjoinMax` :