differentiate expressions in function or jet notation, with respect to independent or dependent (function) variables of the jet space.
computes the determining PDE system satisfied by the infinitesimals of the symmetry groups, or the integrating factors or the conserved currents, admitted by a given PDE system
constructs a table-procedure that computes, on request, any prolongation of the infinitesimals of a symmetry generator
Euler's operator - return the conditions that a DE system must satisfy in order to be the divergence of a current
rewrites in jet notation a given mathematical expression
receives a list with the infinitesimals of a symmetry generator and returns the corresponding infinitesimal generator as a differential operator procedure
computes transformations reducing by k the number of independent variables of PDE systems admitting a given k-dimensional symmetry group
computes the differential invariants associated to a given list of symmetries
tests whether a given list of infinitesimals represents a symmetry of a given PDE system.