autosimp a set of differential forms
set of determining equations for the symmetries of a given system of PDEs
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]()
e1 ≔ ∂2∂x⁢∂t⁢u⁡t,x+∂∂x⁢u⁡t,x+u⁡t,x2=0
eqns1 ≔ determine⁡e1,V,u⁡t,x,k:
The next step is the automatic integration of these equations. We begin by setting up names for some regularly occurring expressions.
eqns2 ≔ autosimp⁡eqns1
Download Help Document