next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Posets :: isomorphism

isomorphism -- computes an isomorphism between isomorphic posets

Synopsis

Description

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.

If mu and nu are not specified, then the trivial partitions (the entire ground set in a single part) are used.
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
This method was ported from John Stembridge’s Maple package available at http://www.math.lsa.umich.edu/~jrs/maple.html#posets.

See also

Ways to use isomorphism :