2.23 TransRel

TransRel( rel )

TransRel returns the transformation defined by the binary relation rel (see chapter Transformations). This can only be applied if every set of successors of rel has size 1. Otherwise an error is signaled.

    gap> TransRel( Relation( [ [ 3 ], [ 3 ], [ 2 ], [ 1 ], [ 4 ] ] ) );
    Transformation( [ 3, 3, 2, 1, 4 ] ) 

   
[Index]