This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
tutorial_subsystem [2014/07/14 11:29] guillaume [Syntax of Use Equation (without extension domain)] |
tutorial_subsystem [2014/07/14 11:51] guillaume [Extension domain] |
||
---|---|---|---|
Line 21: | Line 21: | ||
</ | </ | ||
- | However, let us assume that you already have another Alpha system which computes the sum of the elements of a vector. It is possible to use this affine system (instead of rewriting its equation in the main system), by calling it through a "use equation": | + | However, let us assume that you already have another Alpha system which computes the sum of the elements of a vector. It is possible to use this affine system (instead of rewriting its equation in the main system), by calling it through a **use equation**: |
<sxh alphabets; gutter: | <sxh alphabets; gutter: | ||
affine sum {P| P>0} // Computes the sum of the elements of a vector of size P | affine sum {P| P>0} // Computes the sum of the elements of a vector of size P | ||
Line 60: | Line 60: | ||
- | Let us assume that you have a system which computes a dot product | + | Let us assume that you have a system which computes a dot product |
<sxh alphabets; gutter: | <sxh alphabets; gutter: | ||
affine dotProduct {N | N>0} | affine dotProduct {N | N>0} | ||
Line 73: | Line 73: | ||
</ | </ | ||
- | If you want to compute a matrix vector multiplication using this affine system, you will need to call it once per rows of the matrix. Thus, you will need a parametrised number of call to the " | + | If you want to compute a matrix vector multiplication using this affine system, you will need to instanciate |
It is possible to do it by using an extension domain: | It is possible to do it by using an extension domain: | ||
Line 94: | Line 94: | ||
float vectRes {i | 0< | float vectRes {i | 0< | ||
let | let | ||
- | use {k | 0< | + | use {k | 0< |
. | . | ||
</ | </ | ||
- | The set "{k | 0<=k< | + | The set "{k | 0≤k< |
- the indexes can be used to specify the parameters (ex: " | - the indexes can be used to specify the parameters (ex: " | ||
- | - the first dimensions of the input expressions correspond to the dimensions of the extension domain. For a given subsystem call kInst, the corresponding input sent is the one where the first dimensions are set to " | + | - the first dimensions of the input expressions correspond to the dimensions of the extension domain. For example, each row of " |
- the first dimensions of the output variables correspond to the dimensions of the extension domain. All the results from every subsystem call are gathered inside common variables (ex: " | - the first dimensions of the output variables correspond to the dimensions of the extension domain. All the results from every subsystem call are gathered inside common variables (ex: " | ||