A matrix A is a derivation for g if the associated linear transformation mapping g to g satisfies A([x, y]) = [A(x), y] + [x, A(y)] for all x, y in g.

Query(Alg, A, "Derivation") returns true if the matrix A or transformation defines a derivation for the Lie algebra g and false otherwise.

Query(Alg, A, parm, "Derivation") returns a 4-tuple TF, Eq, Soln, B.  Here TF is true if Maple finds a set of values for the parameters for which the Matrix or transformation A is a derivation; Eq is the defining set of equations for the parameters parm in order that the matrix A be a derivation; Soln is a list of solutions to the equations Eq; and B is the list of Matrices obtained by evaluating A on the solutions in the list 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(...).