subposet -- computes the induced subposet of a poset given a list of elements

• Usage:

  Q = subposet(P, L)

• Inputs:
  • P, an instance of the type Poset,
  • L, a list, containing elements in the poset
• Outputs:
  • Q, an instance of the type Poset, the induced subposet of $P$ with ground set $L$

i1 : C = chain 7;

i2 : subposet(C, {2,3,5,6})

o2 = Relation Matrix: | 1 1 1 1 |
                      | 0 1 1 1 |
                      | 0 0 1 1 |
                      | 0 0 0 1 |

o2 : Poset