  
  [1X1 [33X[0;0YNotation[133X[101X
  
  [33X[0;0YWe  use  the notation and convention for real Lie algebras as is from CoReLG
  Package, [DFdG14].[133X
  
  [4X[32X  Example  [32X[104X
    [4X[25Xgap>[125X [27XG:=RealFormById( "E", 7,3);[127X[104X
    [4X[28X<Lie algebra of dimension 133 over SqrtField>[128X[104X
    [4X[25Xgap>[125X [27XrankG:=Dimension(CartanSubalgebra(G));[127X[104X
    [4X[28X7[128X[104X
    [4X[25Xgap>[125X [27XrankRG:=Dimension(CartanSubspace(G));[127X[104X
    [4X[28X3[128X[104X
    [4X[25Xgap>[125X [27XdimG:=Dimension(G);[127X[104X
    [4X[28X133[128X[104X
    [4X[25Xgap>[125X [27XP:=CartanDecomposition( G ).P;[127X[104X
    [4X[28X<vector space over SqrtField, with 54 generators>[128X[104X
    [4X[25Xgap>[125X [27XdimPforG:=Dimension(P);[127X[104X
    [4X[28X54[128X[104X
    [4X[25Xgap>[125X [27XK:=CartanDecomposition( G ).K;[127X[104X
    [4X[28X<Lie algebra of dimension 79 over SqrtField>[128X[104X
    [4X[25Xgap>[125X [27XrankK:= Dimension(CartanSubalgebra(K));[127X[104X
    [4X[28X7[128X[104X
    [4X[25Xgap>[125X [27XdimK:= Dimension(K);[127X[104X
    [4X[28X79[128X[104X
  [4X[32X[104X
  
  [33X[0;0YClassification can be found in Table 9 in [OV90], p. 312-317.[133X
  
