adjoinMax -- computes the poset with a new maximum element

Usage:

Q = adjoinMax P

Q = adjoinMax(P, a)
Inputs:
- P, an instance of the type Poset,
- a, a thing, the new maximal element of $P$
Outputs:
- Q, an instance of the type 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 = Relation Matrix: | 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 |

o2 : Poset

Ways to use adjoinMax:

adjoinMax(Poset)
adjoinMax(Poset,Thing)

For the programmer

The object adjoinMax is a method function.

The source of this document is in Posets.m2:2997:0.

adjoinMax -- computes the poset with a new maximum element

Description

See also

Ways to use adjoinMax:

For the programmer