union(Poset,Poset) -- computes the union of two posets

• Function: union

• Usage:

  R = union(P, Q)

  R = P + Q

• Inputs:
  • P, an instance of the type Poset,
  • Q, an instance of the type Poset,
• Outputs:
  • R, an instance of the type Poset, the union of $P$ and $Q$

i1 : union(chain 3, poset {{1,4},{4,5},{5,3}})

o1 = Relation Matrix: | 1 1 1 1 1 |
                      | 0 1 1 0 0 |
                      | 0 0 1 0 0 |
                      | 0 0 1 1 1 |
                      | 0 0 1 0 1 |

o1 : Poset