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/12 08:00] guillaume [Transformations involving subsystems] |
tutorial_subsystem [2014/07/14 11:33] guillaume [Syntax of Use Equation (without 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 53: | Line 53: | ||
</ | </ | ||
- | If your subsystem | + | If your subsystem |
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 98: | Line 98: | ||
</ | </ | ||
- | 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 a given subsystem call kInst, the corresponding input sent is the one where the first dimensions are set to " |