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). 