Two posets are isomorphic if there is a partial order preserving bijection between the ground sets of the posets which preserves the specified ground set partitions.
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
|