# adjoinMin -- computes the poset with a new minimum element

## Synopsis

• Usage:
• Inputs:
• P, an instance of the type Poset,
• a, , the new minimal element of $P$
• Outputs:
• Q, an instance of the type Poset,

## Description

This method simply creates a new poset $Q$ with the minimal element $a$. If $a$ is unspecified, the element $0$ or $1$ less than the smallest integer vertex is used.

 i1 : P = poset {{1,4},{2,4},{3,4}}; i2 : adjoinMin(P, 0) o2 = Relation Matrix: | 1 1 0 0 0 | | 0 1 0 0 0 | | 0 1 1 0 0 | | 0 1 0 1 0 | | 1 1 1 1 1 | o2 : Poset