adjoinMax -- computes the poset with a new maximum element

Synopsis

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.

adjoinMax -- computes the poset with a new maximum element

Synopsis

Description

See also

Ways to use adjoinMax :

For the programmer

Ways to use `adjoinMax` :