LinearFunctionalSystems - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : LinearFunctionalSystems : LinearFunctionalSystems/Properties

LinearFunctionalSystems

  

Properties

  

return the basic properties of the system

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Properties(sys, vars)

Properties(A, b, x, case)

Properties(A, x, case)

Parameters

sys

-

list of equations; linear functional system

vars

-

list of function variables such as [y1(x), y2(x), ...]; variables to solve for

A

-

Matrix with rational elements

b

-

Vector with rational elements

x

-

independent variable

case

-

name indicating the case of the system; one of 'differential', 'difference', or 'qdifference'

Description

• 

The Properties function returns the basic properties of the specified linear functional system of equations with polynomial coefficients. A test for the correctness of the input is also performed.

• 

The result returned by this function is a table that contains the different properties of the given system. The table has the following indices (where applicable):

'method'    - either 'quasimodular'  if the quasimodular

              version of the EG-algorithm is invoked or 'ordinary'

              if the ordinary version is invoked

'input'     - either 'lists' for list input type or 'matrices'

              for matrix input type

'case'      - 'differential', 'difference', or 'qdifference'

'order'     - order of the system

'var'       - independent variable

'q_par'     - name of the parameter q in the q-difference case

              extracted from the given system, or it's value in case

              the parameter is a number

'system'    - system in list form

'functions' - functions to be solved for

'fnames'    - names of the functions to be solved for

'shifts'    - shifts of function variables in the difference case

'qshifts'   - q-shifts of function variables in the q-difference case

'mat'       - matrix of the matrix input form

'vec'       - vector of the matrix input form

'matdenom'  - list of denominators of the rows of the

              matrix for the matrix input form

• 

The error conditions associated with Properties are the following:

1. At least two arguments must be specified.

2. For the matrix input type:

   (a) the matrix must be square

   (b) the number of arguments is at most four

   (c) if the number of arguments is three, the third

       argument must specify the case of the system

   (d) the second argument must be a name for the

       3-argument case, and a vector for the 4-argument case

   (e) vector and matrix sizes must be the same

   (f) if the number of arguments is four, the third

       argument must be a name specifying the independent

       variable, the fourth argument must specify the

       case of the system

3. For the list input type:

   (a) the number of arguments is two

   (b) the first argument must be a list of equations,

       the second argument must be a list of functions

       to be solved for

   (c) the independent variable must be specified only once

   (d) the system must be linear

   (e) the number of equations must be equal to

       the number of functions to be solved for

4. The functions to be solved for must appear in equations.

5. There exist unknown function names.

6. There exist extra independent variables in the system.

7. The type of the system is not supported.

• 

This function is part of the LinearFunctionalSystems package, and so it can be used in the form Properties(..) only after executing the command with(LinearFunctionalSystems). However, it can always be accessed through the long form of the command by using the form LinearFunctionalSystems[Properties](..).

Examples

withLinearFunctionalSystems:

sysⅆⅆxy1x1+x2+6+2xy1x+6y3x6y4x=0,ⅆⅆxy2x2x1+x224+xy2x1+x22+4y3x1+x22=4x24+x1+x2,ⅆⅆxy3x1+x22x4+3x1+x2y2x+41+x2y3x=4+3x,ⅆⅆxy4x1+x2x212x1+x22x7+x22xy1xy2x4+3x1+x2x21+y3x6x+2x221+x22y4x61+x22x=4+3xx21

sys:=ⅆⅆxy1xx21+6+2xy1x+6y3x6y4x=0,2ⅆⅆxy2xxx2+124+xy2xx2+12+4y3xx2+12=4x24+xx2+1,2ⅆⅆxy3xx2+1x4+3xx2+1y2x+4x2+1y3x=43x,2ⅆⅆxy4xx2+1x21x2x2+1xx22x7y1xy2x4+3xx2+1x21+2y3x2x2+6x2x2+112y4xx2+1x=4+3xx21

(1)

varsy1x,y2x,y3x,y4x:

propsPropertiessys,vars

props:=tablevar=x,q_par=__q,method=ordinary,case=differential,input=lists,system=ⅆⅆxy1xx2+2y1xxⅆⅆxy1x+6y1x+6y3x6y4x,2ⅆⅆxy2xx5y2xx5+4y3xx44y2xx4+4ⅆⅆxy2xx32y2xx3+8y3xx28y2xx2+x3+2ⅆⅆxy2xxy2xx+8x2+4y3x4y2x+x+4,3y2xx3+2ⅆⅆxy3xx3+4y3xx24y2xx23y2xx+2ⅆⅆxy3xx+4y3x4y2x+3x+4,2y1xx53y2xx5+2ⅆⅆxy4xx5+4y1xx4+4y3xx44y2xx4+12y1xx3+12y3xx312y4xx3+4y1xx2+3x3+14y1xx+12y3xx12y4xx+3y2xx2ⅆⅆxy4xx+4x24y3x+4y2x3x4,f_names=y1,y2,y3,y4,order=1,functions=y1x,y2x,y3x,y4x,system0=ⅆⅆxy1xx2+2y1xxⅆⅆxy1x+6y1x+6y3x6y4x,2ⅆⅆxy2xx5y2xx5+4y3xx44y2xx4+4ⅆⅆxy2xx32y2xx3+8y3xx28y2xx2+2ⅆⅆxy2xxy2xx+4y3x4y2x,3y2xx3+2ⅆⅆxy3xx3+4y3xx24y2xx23y2xx+2ⅆⅆxy3xx+4y3x4y2x,2y1xx53y2xx5+2ⅆⅆxy4xx5+4y1xx4+4y3xx44y2xx4+12y1xx3+12y3xx312y4xx3+4y1xx2+14y1xx+12y3xx12y4xx+3y2xx2ⅆⅆxy4xx4y3x+4y2x

(2)

indicesprops

var,q_par,method,case,input,system,f_names,order,functions,system0

(3)

See Also

LinearFunctionalSystems[PolynomialSolution]

LinearFunctionalSystems[RationalSolution]

LinearFunctionalSystems[UniversalDenominator]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam