Given a list with the infinitesimals of a symmetry generator, or the corresponding infinitesimal generator differential operator, the CanonicalCoordinates command computes a transformation from the dependent and independent variables of the problem to the canonical coordinates of the symmetry. This is the change of variables transforming the given list of infinitesimals into one consisting of zeros but for one element equal to 1. The corresponding transformed infinitesimal generator is thus of the form

where  is a canonical dependent variable. For a problem with  dependent variables.

There exist thus  different sets of canonical coordinates leading to infinitesimals generators ofthe form above with different . To choose among them use Canvars to tell the name of the dependent variable of the problem with respect to which the canonical variables are computed. Canvars is not required when there is only one dependent variable.

When there is only one dependent variable, DepVars and NewVars can represented by a function; otherwise they must be a list of functions representing dependent variables. If NewVars are not given, CanonicalCoordinates will generate a list of globals to represent the canonical coordinates.

Optionally, a simplifier can be specified to be used instead of the default which is the composition of simplify and combine followed by a simplification in size

To avoid having to remember the optional keywords, if you type the keyword misspelled, or just a portion of it, a matching against the correct keywords is performed, and when there is only one match, the input is automatically corrected.