User Tools

Site Tools


tutorial_subsystem

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
tutorial_subsystem [2014/07/14 11:33]
guillaume [Syntax of Use Equation (without extension domain)]
tutorial_subsystem [2014/07/14 11:51]
guillaume [Extension domain]
Line 94: Line 94:
  float vectRes {i | 0<=i<R};  float vectRes {i | 0<=i<R};
 let let
- use {k | 0<=k<R} dotProduct[R] ( (k,j->k,j)@mat, (k,j->j)@vect) returns (vectRes);+ use {k | 0<=k<R} dotProduct[R] ( mat, (k,j->j)@vect) returns (vectRes);
 . .
 </sxh> </sxh>
Line 100: Line 100:
 The set "{k | 0≤k<R}" before the subsystem name is called the **extension domain**. We are calling the system "dotProduct" once, for each instance of "k" in the extension domain. We can use the indexes of the extension domain to parametrize the parameters, inputs given to the subsystem and the outputs computed by the subsystem: The set "{k | 0≤k<R}" before the subsystem name is called the **extension domain**. We are calling the system "dotProduct" once, for each instance of "k" in the extension domain. We can use the indexes of the extension domain to parametrize the parameters, inputs given to the subsystem and the outputs computed by the subsystem:
   - the indexes can be used to specify the parameters (ex: "R+k")   - the indexes can be used to specify the parameters (ex: "R+k")
-  - the first dimensions of the input expressions correspond to the dimensions of the extension domain. For a given subsystem call kInstthe corresponding input sent is the one where the first dimensions are set to "kInst" (ex: in the previous example, the third call to "dotProduct" will obtain "(j->3,j)@mat" and "(j->j)@vect" as inputs).+  - the first dimensions of the input expressions correspond to the dimensions of the extension domain. For exampleeach row of "mat" will be sent to a different instance of the subsystem (ex: in the previous example, the third instance of "dotProduct" will receive "(j->3,j)@mat" and "(j->j)@vect" as inputs).
   - 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: "vectRes[3]" is the output of the third instance of "dotProduct")   - 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: "vectRes[3]" is the output of the third instance of "dotProduct")
  
tutorial_subsystem.txt · Last modified: 2017/04/19 13:31 (external edit)