isomorphism(Poset,Poset) -- computes an isomorphism between isomorphic posets

• Function: isomorphism

• Usage:

  pi' = isomorphism(P, Q)

• Inputs:
  • P, an instance of the type Poset,
  • Q, an instance of the type Poset,
• Optional inputs:
  • Homogeneous => ..., default value true,
  • Strategy (missing documentation) => ..., default value null,
  • Strict => ..., default value false,
  • Tries => ..., default value null,
  • Verbose => ..., default value false,
• Outputs:
  • pi', a hash table, which specifies a partial order preserving bijection from the ground set of $P$ to the ground set of $Q$

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