Given a Lie algebra L, return the direct sum decomposition of L as a sequence of ideals of L whose sum is L and each of which cannot be further decomposed into a direct sum of ideals.
> L := SimpleLieAlgebra("D", 2, RationalField());
> L;
Lie Algebra of dimension 6 with base ring Rational Field
> D := DirectSumDecomposition(L);
> D;
[
Lie Algebra of dimension 3 with base ring Rational Field,
Lie Algebra of dimension 3 with base ring Rational Field
]
> Morphism(D[1], L);
[ 0 1 0 0 0 0]
[ 0 0 1 -1 0 0]
[ 0 0 0 0 1 0]
> Morphism(D[2], L);
[1 0 0 0 0 0]
[0 0 1 1 0 0]
[0 0 0 0 0 1]