82.2 CheckHeckeDefiningRelations

CheckHeckeDefiningRelations( H , t ) returns true or false, according to whether a given set t of matrices corresponding to the standard generators of the Coxeter group Group(H) defines a representation of the Iwahori-Hecke algebra H or not.

    gap> H := Hecke(CoxeterGroup( "F", 4 ));;
    gap> r := HeckeReflectionRepresentation( H );;
    gap> CheckHeckeDefiningRelations( H, r );
    true 

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

Previous Up Top Next
Index