isomorphism -- computes an isomorphism between isomorphic posets

Synopsis

• Usage:

  pi' = isomorphism(P, Q)

• Inputs:

  • P, an object of class Poset
  • Q, an object of class Poset
• Outputs:

  • pi', a hash table, which specifies a partial order preserving bijection from the ground set of P to the ground set of Q

Description

i1 : isomorphism(divisorPoset (2*3*5), booleanLattice 3)

o1 = HashTable{1 => 000 }
               2 => 001
               3 => 010
               5 => 100
               6 => 011
               10 => 101
               15 => 110
               30 => 111

o1 : HashTable

See also

• areIsomorphic -- determines if two posets are isomorphic
• removeIsomorphicPosets -- returns a sub-list of non-isomorphic posets