The Query function can be used in one of two ways to check various properties of a Lie algebra, subalgebra, or transformation.  In the first way the function simply returns true if the property defined by the keyword holds and false otherwise.  In the second way, a set of parameters is specified and the function returns the following sequence - TF, Eq, Soln, A.  Here TF is true if there is a choice of the parameters which makes the keyword property true; Eq is the list of equations which the parameters must satisfy for the property defined by the keyword to be be true; Soln is the list of all solutions to the equations as found by the Maple solve command; and A is the list of all algebraic structures defined by the previously listed solutions.

The argument keyword must be one of the following, entered as a string (in quotes "  "):

Further information is available under ?Query[keyword], where keyword is from the above list.

A user can add new functionality to Query with the command Query:-addCheck(keyword, procedure).

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(...).

f := proc() local C, k;

end: