Prolongation of a Lie point symmetry (source code)

= Prolongation of a Lie point symmetry

The prolongation of a point-symmetry generator is its induced vector field on derivatives of the dependent variable. A generator is a symmetry of a differential equation $F=0$ when its required prolongation sends $F$ to zero on the solution manifold.