# Commands of the NonA package

Following is a table of the main commands of the Maple package NonA.

Commands of NonA
ParameterEstimation State the three terms appearing in the algebraic parameter estimation problem for a signal defined an ODE with polynomial coefficients. The option "bias" treats the particular case of a bias for the structured perturbation.
ParameterEstimationEq State the algebraic equation defined by the algebraic parameter estimation problem for a signal defined an ODE with polynomial coefficients. The option "bias" treats the particular case of a bias for the structured perturbation.
Annihilator Compute the annihilators of a given polynomial with parameters.
AnnihilatorOfExpansion Compute the annihilators of a finite linear combinaison of signals defined by ODEs with polynomial coefficients.
Elimination Compute a generating set of annihilators which do only contain a given list of parameters.
Intersection Compute the intersection of two finitely generated left ideals over a ring of OD operators with polynomial coefficients.
SumDfiniteFunctions Compute the normal forms of the successive derivatives of a generic finite linear combination of signals defined by ODEs with polynomial coefficients up to the order necessary for the command AnnihilatorOfExpansion (i.e., the dimension of the underlying vector space defined by the linear combination modulo the ODEs defining the signal).

NonA is available for Maple 2016:

NonA requires the Maple library OreModules.

After installing NonA, it would be helpful if you could send us a short e-mail which explains for what purpose NonA is beneficial for you.

If you encounter any problem with NonA, do not hesitate to contact us.

# Installing NonA

1. Copy the file "NonA.m" or "NonA.mla", which is the library NonA (see download), into a directory called "NonA".
2. Type

``` libname; ```

in Maple.
3. Write

``` libname := " "the global path of the directory NonA", the result of step 2: ```

4. Try

``` with(OreModules); with(NonA); ```

If you encounter any problem, then most probably the definition of libname in step 3 is wrong in the sense that its value does not point to the correct directory where your library files reside.

A reasonable way to check your installation is to run one of the example worksheets of the Library of Examples.