target_mapping

# 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 2015/03/06 09:30 guillaume .ab keywords corrected2014/05/30 11:49 external edit 2015/03/06 09:30 guillaume .ab keywords corrected2014/05/30 11:49 external edit Line 13: Line 13: ​ 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];​