MiyakeReductionViaLP

    A Maple package for computing the exponential parts of a linear differential system


   
Author: J. Saade

I - Introduction

We gather together the formal reduction algorithm proposed by Miyake 2012 and the rank reduction using linear programming (RankReductionViaLP.m) developed in my thesis. We obtain a more efficient algorithm for formal reduction in practice.
Reference:
Méthodes symboliques pour les systèmes différentiels linéaires à singularité irrégulière, Joelle Saade.
https://tel.archives-ouvertes.fr/tel-02444014 (Chapitre 4).

.



II - Download and installation

Our package is available for download: MiyakeReductionViaLP.m

To install it, you must proceed as follows:
  1. Set up a directory to store your custom library as explained in Maple Programming Guide
  2. Copy the previous MiyakeReductionViaLP.m file in a directory called "MiyakeReductionViaLP"
  3. Open Maple and read  

    read "the global path of the directory     MiyakeReductionViaLP.m";

    example : read("/Users/saadejoelle/Desktop/MiyakeReductionViaLP/MiyakeReductionViaLP.m");

  4. After that type

    savelib('MiyakeReductionViaLP');

  5. Type

    restart; with(MiyakeReductionViaLP);

  6. We also need to install the packages SplittingLemma.m, RankReductionViaLP.m

You must get the list of the functions contained in the package:
[ExpPartsMiyakeReduction]
If you do not manage to install the package, then contact us.


  • Examples session