78.7 JInductionTable

JInductionTable( H, W )

JInductionTable computes the decomposition into irreducible characters of W of the J-induced of the irreducible characters of H. The J-induced of chi is the sum of the irreducible components of the induced of chi which have same a-function (see LowestPowerGenericDegrees) as chi. In the table the rows correspond to the characters of the parent group, the columns to those of the subgroup. What is returned is actually a record with several fields: scalar contains the induction table proper, and there is a Display method. The other fields contain labeling information taken from the character tables of H and W when it exists.

    gap> W := CoxeterGroup( "D", 4 );;
    gap> H := ReflectionSubgroup( W, [ 1, 3 ] );;
    gap> Display( JInductionTable( H, W ) );
    J-Induction from A2 into D4
          

 111 21 3
    ________________
    11.+  

   .  . .
    11.-  

   .  . .
    1.111 

   .  . .
    .1111 

   .  . .
    11.2  

   1  . .
    1.21  

   1  . .
    .211  

   .  . .
    2.+   

   .  . .
    2.-   

   .  . .
    .22   

   .  . .
    1.3   

   .  1 .
    .31   

   .  . .
    .4    

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