https://maplesoft.com/support/help/Maple/view.aspx?path=DifferentialGeometry/LieAlgebras/Query/LeviDecomposition
LeviDecomposition - Maple Help
Query[LeviDecomposition] - check that a pair of subalgebras define a Levi decomposition of a Lie algebra Calling Sequences Query( [R, S] , LeviDecomposition )...
maplehelp