User Tools

Site Tools


target_mapping

Differences

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

Link to this comparison view

Next revision
Previous revision
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>​ <code alphabets>​
 affine matrix_product {P, Q, R|P>0 && Q>0 && R>0} 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}; ​               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};​    float temp_C {i,​j,​k|0<​=i<​P && 0<​=j<​R && 0<​=k<​=Q};​
-through+let
    ​temp_C[i,​j,​k] = case    ​temp_C[i,​j,​k] = case
                       {|k>​0} ​ : temp_C[i,​j,​k-1] + A[i,​k-1]*B[k-1,​j];​                       {|k>​0} ​ : temp_C[i,​j,​k-1] + A[i,​k-1]*B[k-1,​j];​
target_mapping.1401472193.txt.gz · Last modified: 2015/03/06 09:30 (external edit)