construct minimal equation (y1-consequence) for a given system and a given function
reduce a given system with respect to a given subset of its undetermined functions
MinimalEquation(M, n, A)
ReducedSystem(M, ns, A)
Matrix of a given system
a positive integer - index of the undetermined function with respect to which the minimal equation is to be constructed
set of positive integers - indices of the undetermined functions with respect to which the system is to be reduced
Ore algebra; to define an Ore algebra, use the SetOreRing function.
The MinimalEquation constructs minimal equation (y1-consequence) for the given system corresponding to the matrix M and Ore algebra A and a given function with the index n of its undetermined functions. The minimal equation is a scalar equation whose solution is the component of some solution of the given system corresponding to the given function. The output is OrePoly L, such that L⁢y is the y1-consequence, i.e. the minimal equation such that its solution is the n-th element of some solution of the given system.
The ReducedSystem reduces the given system corresponding to the matrix M and Ore algebra A with respect to a given subset ns of its undetermined functions. The reduced system is a system which contains the given subset of the undetermined functions of the given system among its undetermined functions and components of its closed form solution corresponding to the given subset are components of some solution of the given system. It addresses the following problem: given a subset of the components of solutions to be found and an appropriate class of functions, find all solutions whose specified components are in the given class (more precisely we are interested in computing those components only). For example, given a differential system, find all the rational functions that are first and second components of a solution of the system. The output is R,s, where R is the matrix of the reduced system and s is the set of pairs, the first element of each is the index out of ns and the second one is the index of the same undetermined function in the reduced system.
A ≔ SetOreRing⁡x,'differential'
M ≔ Matrix⁡0,0,1,0,1,0,1,0,0
A ≔ SetOreRing⁡n,'shift'
M ≔ Matrix⁡1,−1n⁢n+12,−n,1,1,n2+2⁢n−1n⁢n+1,n,−1,1,0,1,0,n+1,0,0,n+1n
Download Help Document