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

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

See also

• adjoinMin -- computes the poset with a new minimum element
• augmentPoset -- computes the poset with an adjoined minimum and maximum