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 ==== | ||