1. Overdetermined Systems
As a first example, we have the overdetermined system of two equations in one dependent variable y(x).
>


 (1) 
Now call rifsimp.
>


>


 (2) 
We see that the system has been reduced (for the case y(x) not identically zero) to one much simpler equation that can now be handled with Maple's dsolve.
>


 (3) 
In addition to assisting dsolve in obtaining exact solutions, the simplified form can be used in combination with the initialdata function to obtain the required initial data for the solved form.
>


 (4) 
In this case, it gives us the expected results for a second order ODE, but it can also calculate the required initial data for more complex PDE systems (see initialdata for more information). Numerical methods can now be successfully applied to the reduced system, with initial conditions of the type calculated by initialdata.
>


 (5) 
Finally, we can also obtain a formal power series (Taylor series) for the local solution of this problem (see rtaylor for more information).
>


 (6) 
The above series is fully determined when given the initial data described earlier:
>


 (7) 
2. Inconsistent Systems
rifsimp can often determine whether a system is inconsistent.
>


>


 (8) 
3. Constrained Mechanical Systems
This example shows the use of rifsimp as a preprocessor for a constrained mechanical system (that is, a DifferentialAlgebraic Equation or DAE system). The method of Lagrange formulates the motion of a bead of nonzero mass m on a frictionless wire of shape Phi(x,y) under gravity as follows:
>


 (9) 
Note that a mass falling under gravity without air resistance corresponds to:
>


 (10) 
We pick the example of a pendulum, so the bead moves on a circular wire.
>


 (11) 
>


 (12) 
Such constrained systems present great difficulties for numerical solvers. Of course, we could eliminate the constraint using polar coordinates, but in general this is impossible for mechanical systems with complicated constraints. For example, just replace the constraint with another function, so that the wire has a different shape.
>


 (13) 
(See Reid et al., 1996, given in the reference and package information page Rif). The pendulum is the classic example of such systems that have been the focus of much recent research due to their importance in applications.
>


 (14) 
>


 (15) 
Although there is no simplification as in the previous examples, rifsimp has found additional constraints that the initial conditions must satisfy (Constraint and Pivots in the initialdata output), and obtained an equation for the time derivative of lambda(t). Maple's dsolve[numeric] can then be used to obtain a numerical solution, in the manner of the previous example.
4. Lie Symmetry Determination
This example shows the use of rifsimp to assist in determination of Lie point symmetries of an ODE. Given the ODE:
>


 (16) 
We can obtain the system of PDE for it's Lie point symmetries via:
>


 (17) 
We can then use rifsimp to greatly simplify this system:
>


 (18) 
From this point, pdsolve can be used to obtain the infinitesimals for the Lie point symmetries via:
>


 (19) 