map isomorphism implementation
isomorphic maps implementation