tutorial_subsystem

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

Both sides previous revision Previous revision | |||

tutorial_subsystem [2014/07/14 11:59] guillaume [Transformations involving subsystems] Commands added |
tutorial_subsystem [2017/04/19 13:31] (current) |
||
---|---|---|---|

Line 7: | Line 7: | ||

Let us assume that we want to compute the mean of the values of a vector. It is feasible through the following Alpha system: | Let us assume that we want to compute the mean of the values of a vector. It is feasible through the following Alpha system: | ||

- | <sxh alphabets; gutter:false> | + | <sxh alphabets; gutter:true> |

affine mean {N | N>0} | affine mean {N | N>0} | ||

input | input | ||

Line 22: | Line 22: | ||

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:false> | + | <sxh alphabets; gutter:true> |

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

input | input | ||

Line 49: | Line 49: | ||

In general, the syntax of a use equation is the following: | In general, the syntax of a use equation is the following: | ||

- | <sxh alphabets; gutter:false> | + | <sxh alphabets; gutter:true> |

use subsystem_name[list of parameters] (list of input expressions) returns (list of output variables); | use subsystem_name[list of parameters] (list of input expressions) returns (list of output variables); | ||

</sxh> | </sxh> | ||

Line 61: | Line 61: | ||

Let us assume that you have a system which computes a dot product of two vectors: | Let us assume that you have a system which computes a dot product of two vectors: | ||

- | <sxh alphabets; gutter:false> | + | <sxh alphabets; gutter:true> |

affine dotProduct {N | N>0} | affine dotProduct {N | N>0} | ||

input | input | ||

Line 76: | Line 76: | ||

It is possible to do it by using an extension domain: | It is possible to do it by using an extension domain: | ||

- | <sxh alphabets; gutter:false> | + | <sxh alphabets; gutter:true> |

affine dotProduct {N | N>0} | affine dotProduct {N | N>0} | ||

input | input |

tutorial_subsystem.1405360767.txt.gz ยท Last modified: 2014/07/14 11:59 by guillaume