79.3 PermBraid

PermBraid( b )

Returns the image of the braid element b in the Coxeter group CoxeterGroup(b) of which b is a braid element.

    gap>  W := CoxeterGroup( "A", 3 );;
    gap>  b := Braid( W )( [ 2, 1, 2, 1, 1 ] );
    121.1.1
    gap> p := PermBraid( b );
    ( 1, 8)( 2, 7)( 3, 6)( 4,10)( 9,12)
    gap> CoxeterWord( W, p );
    [ 1, 2, 1 ] 

This function requires the package "chevie" (see RequirePackage).

Previous Up Top Next
Index