MappingPermListList( list1, list2 )
MappingPermListList   returns   a   permutation   perm    such   that
list1[i] ^ perm = list2[i].  perm fixes all points larger
then the  maximum  of the  entries in list1 and list2.  If there  are
several    such    permutations,    it    is    not    specified    which
MappingPermListList returns.  list1  and  list2  must  be lists  of
positive integers  of the same length, and neither may contain an element
twice.
    gap> MappingPermListList( [3,4], [6,9] );
    (3,6,4,9,8,7,5)
    gap> MappingPermListList( [], [] );
    () 
GAP 3.4.4