# Differences

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