A subalgebra, subspace pair S, M is naturally reductive with respect to an inner product B on M if [i] the subspace M defines a reductive complement to the subalgebra S, and [ii] if B is a non-degenerate g invariant inner product on M, that is B([x, y]_M, z) + B(y, [x, z]_M) = 0 for all x in g and for all y and z in M.  Here [x, y]_M refers to the component of [x, y] in M with respect to the direct sum decomposition g = S + M.

Query(S, M, B, "NaturallyReductivePair") returns true if S, M is naturally reductive with respect to the inner product B, and false otherwise.

Query(S, M, B, parm, "NaturallyReductivePair") returns a sequence TF, Eq, Soln, NatRedPair.  Here TF is true if Maple finds parameter values for which the pair S, M is naturally reductive and false otherwise; Eq is the set of equations (with the variables parm as unknowns) which must be satisfied for S, M to be naturally reductive; Soln is the list of solutions to the equations Eq; and NatRedPair is the list of naturally reductive subspaces and inner products obtained from the parameter values given by the different solutions in Soln.

The command Query is part of the DifferentialGeometry:-LieAlgebras package.  It can be used in the form Query(...) only after executing the commands with(DifferentialGeometry) and with(LieAlgebras), but can always be used by executing DifferentialGeometry:-LieAlgebras:-Query(...).