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