This shows you the differences between two versions of the page.

satellite [2018/04/13 22:28] anton + linearly satellite |
satellite [2018/09/06 21:41] (current) anton [Description] |
||
---|---|---|---|

Line 106: | Line 106: | ||

''LinSatTesting(A, s, v)'' | ''LinSatTesting(A, s, v)'' | ||

+ | |||

+ | ''LinSatTesting(A, s, v, 'B')'' | ||

==== Parameters ==== | ==== Parameters ==== | ||

Line 112: | Line 114: | ||

* s - set of positive integers — indices of selected unknowns | * s - set of positive integers — indices of selected unknowns | ||

* v - positive integer - index of the testing unknown | * v - positive integer - index of the testing unknown | ||

+ | * B - (optional) used to return the matrix of the linear expression coefficients | ||

==== Description ==== | ==== Description ==== | ||

Line 118: | Line 120: | ||

''LinSatTesting'' procedure determines whether the unknown of index v (//y<sub>v</sub>//) of differential system | ''LinSatTesting'' procedure determines whether the unknown of index v (//y<sub>v</sub>//) of differential system | ||

//y'=Ay// is linearly satellite for the set of selected unknowns //s//. | //y'=Ay// is linearly satellite for the set of selected unknowns //s//. | ||

- | ''LinSatTesting'' returns «true» if //y<sub>v</sub>// is linearly satellite for selected unknowns //s//; otherwise it | + | ''LinSatTesting'' returns «true» if //y<sub>v</sub>// is linearly satellite for selected unknowns //s//; |

- | returns «false». | + | otherwise it returns «false». The entries of B matrix can be used as coefficients of linear expression for //y<sub>v</sub>// via selected unknowns and their derivatives. |

Line 130: | Line 132: | ||

''LinearlySatellite(A, s)'' | ''LinearlySatellite(A, s)'' | ||

- | |||

==== Parameters ==== | ==== Parameters ==== | ||

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial 3.0 Unported