labelPoset -- relabels a poset with the specified labeling

• Usage:

  Q = labelPoset(P, l)

• Inputs:
  • P, an instance of the type Poset,
  • l, a hash table, with $P.GroundSet$ as the keys and the new labels as the values
• Outputs:
  • Q, an instance of the type Poset, a poset isomorphic to $P$

i1 : P = chain 5;

i2 : l = hashTable { 1 => a, 2 => b, 3 => c, 4 => d, 5 => e};

i3 : Q = labelPoset(P, l);

i4 : P.GroundSet

o4 = {1, 2, 3, 4, 5}

o4 : List

i5 : Q.GroundSet

o5 = {a, b, c, d, e}

o5 : List

i6 : P == Q

o6 = true