# adjoinMax -- computes the poset with a new maximum element

## Synopsis

• Usage:
• Inputs:
• P, an instance of the type Poset,
• a, , 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