Abstract:The Lie and Darboux methods to obtain Liouvillian first integrals of rational second order ordinary differential equations (rational 2ODEs) are very powerful. Nevertheless, there are cases where these procedures may encounter difficulties. Namely, when the Darboux polynomials present in the integrating factor of the 2ODE have a very high degree and/or when the 2ODE does not admit point symmetries. In [3] , [4] we developed a method (S-function method) that is successful in treating certain classes of rational second order ordinary differential equations that are particularly 'resistant' to canonical Lie methods and to Darbouxian approaches. However, although determining the S-function is in general much more efficient than determining Darboux polynomials or nonlocal symmetries, for very complicated rational 2ODEs, even finding the S-function itself can be quite hard. In this work we present a simple way of (in almost all cases) computing the S-function with a very efficient procedure. New version program summary Program Title: InSyDE – Invariants and Symmetries of (rational second order ordinary) Differential Equations. CPC Library link to program files: https://doi.org/10.17632/4ytft6zgk7.2 Licensing provisions: CC by NC 3.0 Programming language : Maple 17 Journal reference of previous version: Comput. Phys. Commun. 234 (2019) 302–314 Does the new version supersede the previous version?: Yes. Nature of problem: Determining Liouvillian first integrals of rational second order ordinary differential equations. Solution method: The method is explained in the body of the paper. Reasons for new version: The InSyDE package depends, in order to work, on determining the S-function. The problem is that, for very complicated 2ODEs, this can be very costly (computationally) or even unrealizable (within time and memory limits). We have developed a computationally cheaper way of determining the S-function that, in addition to being very efficient, is also surprisingly broad. Summary of revisions: We have, based on important new theoretical results presented on Appendix A: Supplementary Material, modified and improved the command Sfunction .

Update (3.0) to LyapXool: Quadratic programming

Sequential Linear Quadratic Control of Bilinear Parabolic PDEs Based on POD Model Reduction

Another Approach to Build Lyapunov Functions for the First Order Methods in the Quadratic Case

Design and Implementation of Large-scale Nonlinear Optimization Software UniOptima

Output feedback control for quadratic systems: A Lyapunov function approach

Local Stabilizing Control for Polynomial Nonlinear Systems

Control Synthesis for Polynomial Nonlinear Systems and Application in Attitude Control

A Semi-Algebraic Approach for the Computation of Lyapunov Functions

Automated tight Lyapunov analysis for first-order methods

GloptiPoly 3: moments, optimization and semidefinite programming

An efficient way to determine Liouvillian first integrals of rational second order ordinary differential equations

Exact and optimal quadratization of nonlinear finite-dimensional non-autonomous dynamical systems

Complete Characterization of Quadratic Lyapunov Functions for Planar Systems in LMI Regions.

Update of $\mathcal{H}Φ$: Newly added functions and methods in versions 2 and 3

An Improved Sequential Quadratic Programming Algorithm for Solving General Nonlinear Programming Problems

Exact and Optimal Quadratization of Nonlinear Finite-Dimensional Nonautonomous Dynamical Systems

Total Positivity and Accurate Computations Related to q-Abel Polynomials

Application of the Second Lyapunov Method for Getting the Conditions of Stability in Systems with Quadratic Right-Hand Side

Proximal stabilized Interior Point Methods for quadratic programming and low-frequency-updates preconditioning techniques

Parallel and Proximal Constrained Linear-Quadratic Methods for Real-Time Nonlinear MPC