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 |