The system of PDEs characterizing the symmetries of a system of PDEs will often include a number of equations which are particularly easy to integrate (for example, first order partials equated with 0). This command will automatically carry out many of these simple integrations.  If no such integrations can be found then the system is left alone.

When simplifications are completed the result is returned in a form of  eqns &where equations where the first operand is the set of remaining equations and the second operand is a set of algebraic equations indicating the relationship between the new functions appearing in the set of simplified equations and the original functions.

This routine is ordinarily loaded via with(liesymm) but can be used in the ``package style'' as liesymm[autosimp]()

$\mathrm{with}\left(\mathrm{liesymm}\right)\:$

$\mathrm{e1}≔\mathrm{Diff}\left(u\left(t\,x\right)\,t\,x\right)+\mathrm{Diff}\left(u\left(t\,x\right)\,x\right)+{u\left(t\,x\right)}^2=0$

$\mathrm{e1}≔\frac{{\partial }^2}{\partial t\partial x}u\left(t\,x\right)+\frac{\partial }{\partial x}u\left(t\,x\right)+{u\left(t\,x\right)}^2=0$

$\mathrm{eqns1}≔\mathrm{determine}\left(\mathrm{e1}\,V\,u\left(t\,x\right)\,k\right)\:$

$\mathrm{eqns2}≔\mathrm{autosimp}\left(\mathrm{eqns1}\right)$

$\mathrm{eqns2}≔\left\{\frac{\ⅆ}{\ⅆt}\mathrm{V1\_2}\left(t\right)=-\mathrm{V3\_1}\left(t\right)-\mathrm{C1}\,\frac{\ⅆ}{\ⅆt}\mathrm{V3\_1}\left(t\right)=\mathrm{V3\_1}\left(t\right)+\mathrm{C1}\right\}\&where\left\{\mathrm{V1}\left(t\,x\,u\right)=\mathrm{V1\_2}\left(t\right)\,\mathrm{V2}\left(t\,x\,u\right)=x\mathrm{C1}+\mathrm{C2}\,\mathrm{V2\_2}\left(x\right)=x\mathrm{C1}+\mathrm{C2}\,\mathrm{V3}\left(t\,x\,u\right)=u\mathrm{V3\_1}\left(t\right)\,\mathrm{V3\_2}\left(t\,x\right)=0\right\}$