84.7 Frobenius

Frobenius( WF )( word )

Frobenius( WF )( permutation )

Frobenius( WF )( rec )

Given a Coxeter coset WF, Frobenius(WF) returns a function which makes WF.F0Perm act on its argument which may be either a CoxeterWord, a permutation, a braid or a Hecke element. For instance, if H is an Hecke algebra for CoxeterGroup(WF), to compute (T_w F_0)^2 in that algebra one can do Basis(H,"T")(w)*Frobenius(WF)((Basis(H,"T")(w))).

This function requires the package "chevie" (see RequirePackage). Previous Up Top Next
Index