This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
tutorial_subsystem [2014/07/14 11:33] guillaume [Extension domain] |
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 |