This method simply relabels the ground set of the poset based on given labeling.
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 |
Clearly, $P$ and $Q$ areIsomorphic.
i6 : P == Q o6 = true |
The object labelPoset is a method function.