CDE: a Reduce package for integrabilty of PDEs
The Reduce package CDE (latest version: 2.0 10/10/2015) is written 'on top' of CDIFF. It is devoted to integrability of general differential equations (i.e., not necessarily in evolution form) with an arbitrary number of dependent and independent variables.
It can compute linearization and adjoints of differential operators in total derivatives, generalized symmetries, conservation laws, Hamiltonian, symplectic and recursion operators, with local and nonlocal coordinates. Schouten brackets between local Hamiltonian operators, also in multidimensions, can be computed. The simplecticity tests for local operators can also be computed. The extension of the Schouten bracket to nonlocal operators is currently under development, as well as symplecticity and hereditariety properties for nonlocal operators. It is distributed under the same free license of REDUCE.
In comparison with the previous CDE version 1.0 the new version 2.0 is much faster and more reliable, as it is programmed in Reduce symbolic mode, and has an improved user interface. Moreover it has new features, like the computation of linearization and its adjoint, and many new example programs.
CDE is part of the official Reduce distribution, and can be obtained here. However, the distribution is source code and must be compiled; this might be an obstacle for many users. Please do not hesitate to contact the author (use the email raffaele.vitolo@unisalento.it) if you need help. An installable version of Reduce with CDE will be ready in the early days of 2016.
Please feel free to send comments and questions on CDE to the author at raffaele.vitolo@unisalento.it.
The old CDE version 1.0 can still be obtained here.