Warning: Undefined array key 2 in /s/chopin/h/proj/AlphaZ/public_html/wiki/inc/html.php on line 1453

Differences

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

--- target_mapping [2014/05/30 11:49]
127.0.0.1 external edit
+++ target_mapping [2015/03/06 09:30] (current)
guillaume .ab keywords corrected
@@ Line 13: / Line 13: @@
 <code alphabets>
 affine matrix_product {P, Q, R|P>0 && Q>0 && R>0}
-       given  float A {i,k| 0<=i<P && 0<=k<Q};
+       input  float A {i,k| 0<=i<P && 0<=k<Q};
               float B {k,j| 0<=k<Q && 0<=j<R};
-     returns  float C {i,j,k| 0<=i<P && 0<=j<R && k==Q};
+       output float C {i,j,k| 0<=i<P && 0<=j<R && k==Q};
-using
+local
    float temp_C {i,j,k|0<=i<P && 0<=j<R && 0<=k<=Q};
-through
+let
    temp_C[i,j,k] = case
                       {|k>0}  : temp_C[i,j,k-1] + A[i,k-1]*B[k-1,j];

AlphaZ