ExactODEReduction.jl documentation

ExactODEReduction.jl is a Julia package that provides an algorithm for computing exact reductions of ODE systems. It finds a longest possible chain of linear reductions corresponding to Jordan-Hoelder filtration.

This documentation contains information about the functionality of the package as well as examples of use cases. See the Guide section for a quick introduction.

Installation

To install ExactODEReduction.jl, run the following command in Julia:

import Pkg
Pkg.add("ExactODEReduction.jl")

The package dependency on polymake is optional; it is loaded lazily only if necessary, and most of the package functionality works without it.

Features

Given an ODE system with polynomial right-hand side, ExactODEReduction.jl computes a smaller, reduced system, with macro-parameters expressed as linear combinations of the original ones.

The main feature of the package is the algorithm for computing a longest chain of such reductions.

Feature list

• Computed reductions are always exact transformations,
• Allows coefficients from rational numbers, as well as its extension,
• Expresses new macro-variables as conic combinations of the original ones.

Citation

/