workshop.rx

Back

<lietypes.rx
<groups.rx
<hermitian.rx
<unitary.rx

set Cartan_list (RealForm G)=[CartanClass]: let n=count_Cartans(G) in
    for i:n do Cartan_class (G,i) od

set print_cartan_info_short (CartanClass cc)=
  let ((cr,Cr,sr),,,)=Cartan_info(cc) in
 prints("compact: ",cr,", complex: ",Cr,", split: ",sr)
   
set list_cartans (RealForm G)= let cl=Cartan_list(G) in
for i:#cl do
begin
prints("Cartan Number ",i,":");
print_cartan_info_short(cl[i]);
prints(" ") 
end od

set describe_Cartan(KGBElt x)=
let (a,b,c)=classify_involution (involution(x)) in
prints("compact:",a,"; complex factors:",b,"; split:",c)

{more real groups}
set G2_ic = inner_class (simply_connected ("G2"),"e")
set G2_c=real_form(G2_ic,0)
set G2_s=real_form(G2_ic,1)

set F4_ic = inner_class (simply_connected ("F4"),"e")
set F4_c=real_form(F4_ic,0)
set F4_B4=real_form(F4_ic,1)
set F4_s=real_form(F4_ic,2)