CartanMat( type, n )
returns the Cartan matrix of Dynkin type type and rank n. Admissible
types are the strings "A"
, "B"
, "C"
, "D"
, "E"
,
"F"
, "G"
, "H"
, "I"
.
gap> C := CartanMat( "F", 4 );; gap> PrintArray( C ); [ [ 2, -1, 0, 0 ], [ -1, 2, -1, 0 ], [ 0, -2, 2, -1 ], [ 0, 0, -1, 2 ] ]
For type I_2(m), which is in fact an infinity of types depending on the
number m, a third argument is needed specifying the integer m so the
syntax is in fact CartanMat( "I", 2, m )
:
gap> CartanMat( "I", 2, 5 ); [ [ 2, E(5)^2+E(5)^3 ], [ E(5)^2+E(5)^3, 2 ] ]
CartanMat( type1, n1, ... , typek, nk )
returns the direct sum of CartanMat( type1, n1 )
, ldots,
CartanMat( typek, nk )
. One can use as argument a computed list of
types by ApplyFunc( CartanMat, [ type1, n1, ... , typek, nk ] )
.
This function requires the package "chevie" (see RequirePackage).
GAP 3.4.4