51.2 CompositionMaps

CompositionMaps( paramap2, paramap1 )
CompositionMaps( paramap2, paramap1, class )

For parametrized maps paramap1 and paramap2 where paramap[i] is a bound position or a set of bound positions in paramap2, CompositionMaps( paramap2, paramap1 ) is a parametrized map with image CompositionMaps( paramap2, paramap1, class ) at position class.

If paramap1[ class ] is unique, we have [ CompositionMaps( paramap2, paramap1, class ) = paramap2[ paramap1[ class ] ], ] otherwise it is the union of paramap2[i] for i in paramap1[ class ].

    gap> map1:= [ 1, [ 2, 3, 4 ], [ 4, 5 ], 1 ];;
    gap> map2:= [ [ 1, 2 ], 2, 2, 3, 3 ];;
    gap> CompositionMaps( map2, map1 ); CompositionMaps( map1, map2 );
    [ [ 1, 2 ], [ 2, 3 ], 3, [ 1, 2 ] ]
    [ [ 1, 2, 3, 4 ], [ 2, 3, 4 ], [ 2, 3, 4 ], [ 4, 5 ], [ 4, 5 ] ]

Note: If you want to get indirections of characters which contain unknowns (see chapter Unknowns) instead of sets of possible values, use Indirected Indirected.

Previous Up Top Next
Index

GAP 3.4.4
April 1997