Index: doc/theses/mike_brooks_MMath/programs/ar-bchk/control.c =================================================================== --- doc/theses/mike_brooks_MMath/programs/ar-bchk/control.c (revision eb0d9b7d937213cd3bc39235c18121a496cbb52f) +++ doc/theses/mike_brooks_MMath/programs/ar-bchk/control.c (revision 4904b0516ef6e24899be795ccffb6835533284bc) @@ -22,7 +22,7 @@ size_t n, float x[] ) { double sum = 0; - for( size_t i = 0; + for ( size_t i = 0; i < BND( n ); i++ ) - sum += x[i]; + sum += @x[i]@; return sum; } @@ -43,6 +43,6 @@ int main() { float x[EXPSZ]; - for( size_t i = 0; i < EXPSZ; i++ ) x[i] = 0.1 * (i + 1); - for( size_t i = 0; i < EXPSZ; i++ ) printf("elm %zd %g\n", i, x[i]); + for ( size_t i = 0; i < EXPSZ; i++ ) x[i] = 0.1 * (i + 1); + for ( size_t i = 0; i < EXPSZ; i++ ) printf("elm %zd %g\n", i, x[i]); double sum_ret = sum( EXPSZ, x ); printf( "sum %2g\n", sum_ret ); Index: doc/theses/mike_brooks_MMath/programs/ar-bchk/control.cc =================================================================== --- doc/theses/mike_brooks_MMath/programs/ar-bchk/control.cc (revision eb0d9b7d937213cd3bc39235c18121a496cbb52f) +++ doc/theses/mike_brooks_MMath/programs/ar-bchk/control.cc (revision 4904b0516ef6e24899be795ccffb6835533284bc) @@ -22,7 +22,7 @@ vector & x ) { double sum = 0; - for( size_t i = 0; + for ( size_t i = 0; i < BND( x.size() ); i++ ) - sum += x.at(i); + sum += @x.at(i)@; return sum; } @@ -43,6 +43,6 @@ int main() { vector x( EXPSZ ); - for( size_t i = 0; i < EXPSZ; i++ ) x.at(i) = 0.1 * (i + 1); - for( size_t i = 0; i < EXPSZ; i++ ) cout << "elm " << i << " " << x[i] << endl; + for ( size_t i = 0; i < EXPSZ; i++ ) x.at(i) = 0.1 * (i + 1); + for ( size_t i = 0; i < EXPSZ; i++ ) cout << "elm " << i << " " << x[i] << endl; double sum_ret = sum( x ); cout << "sum " << sum_ret << endl; Index: doc/theses/mike_brooks_MMath/programs/ar-bchk/control.cfa =================================================================== --- doc/theses/mike_brooks_MMath/programs/ar-bchk/control.cfa (revision eb0d9b7d937213cd3bc39235c18121a496cbb52f) +++ doc/theses/mike_brooks_MMath/programs/ar-bchk/control.cfa (revision 4904b0516ef6e24899be795ccffb6835533284bc) @@ -22,7 +22,7 @@ array(float, N) & x ) { double sum = 0; - for( i; + for ( i; BND( N ) ) - sum += x[i]; + sum += @x[i]@; return sum; } Index: doc/theses/mike_brooks_MMath/programs/ar-bchk/treatment.c =================================================================== --- doc/theses/mike_brooks_MMath/programs/ar-bchk/treatment.c (revision eb0d9b7d937213cd3bc39235c18121a496cbb52f) +++ doc/theses/mike_brooks_MMath/programs/ar-bchk/treatment.c (revision 4904b0516ef6e24899be795ccffb6835533284bc) @@ -24,14 +24,14 @@ float lhs[m][p], float rhs[p][n] ) { - for( size_t i = 0; + for ( size_t i = 0; i < m; i++ ) - for( size_t j = 0; + for ( size_t j = 0; j < n; j++ ) { res[i][j] = 0.0; - for( size_t k = 0; + for ( size_t k = 0; k < p; k++ ) - res[i][j] += - lhs[i][k] * - rhs[k][j]; + @res[i][j] +=@ + @lhs[i][k] *@ + @rhs[k][j];@ } } @@ -49,6 +49,6 @@ static void zero( size_t r, size_t c, float mat[r][c] ) { - for( size_t i = 0; i < r; i++ ) - for( size_t j = 0; j < c; j++ ) + for ( size_t i = 0; i < r; i++ ) + for ( size_t j = 0; j < c; j++ ) mat[i][j] = 0.0; } @@ -56,6 +56,6 @@ static void fill( size_t r, size_t c, float mat[r][c] ) { - for( size_t i = 0; i < r; i++ ) - for( size_t j = 0; j < c; j++ ) + for ( size_t i = 0; i < r; i++ ) + for ( size_t j = 0; j < c; j++ ) mat[i][j] = 1.0 * (i + 1) + 0.1 * (j+1); } @@ -63,6 +63,6 @@ static void print( size_t r, size_t c, float mat[r][c] ) { - for( size_t i = 0; i < r; i++ ) { - for( size_t j = 0; j < c; j++ ) + for ( size_t i = 0; i < r; i++ ) { + for ( size_t j = 0; j < c; j++ ) printf("%2g ", mat[i][j]); printf("\n"); Index: doc/theses/mike_brooks_MMath/programs/ar-bchk/treatment.cc =================================================================== --- doc/theses/mike_brooks_MMath/programs/ar-bchk/treatment.cc (revision eb0d9b7d937213cd3bc39235c18121a496cbb52f) +++ doc/theses/mike_brooks_MMath/programs/ar-bchk/treatment.cc (revision 4904b0516ef6e24899be795ccffb6835533284bc) @@ -24,14 +24,14 @@ vector> & lhs, vector> & rhs ) { - for( size_t i = 0; + for ( size_t i = 0; i < res.size(); i++ ) - for( size_t j = 0; + for ( size_t j = 0; j < res.at(i).size(); j++ ) { res.at(i).at(j) = 0.0; - for( size_t k = 0; + for ( size_t k = 0; k < rhs.size(); k++ ) - res.at(i).at(j) += - lhs.at(i).at(k) * - rhs.at(k).at(j); + @res.at(i).at(j) +=@ + @lhs.at(i).at(k) *@ + @rhs.at(k).at(j);@ } } @@ -49,6 +49,6 @@ static void zero( vector> & mat ) { - for( size_t i = 0; i < mat.size(); i++ ) - for( size_t j = 0; j < mat.at(i).size(); j++ ) + for ( size_t i = 0; i < mat.size(); i++ ) + for ( size_t j = 0; j < mat.at(i).size(); j++ ) mat.at(i).at(j) = 0.0; } @@ -56,6 +56,6 @@ static void fill( vector> & mat ) { - for( size_t i = 0; i < mat.size(); i++ ) - for( size_t j = 0; j < mat.at(i).size(); j++ ) + for ( size_t i = 0; i < mat.size(); i++ ) + for ( size_t j = 0; j < mat.at(i).size(); j++ ) mat.at(i).at(j) = 1.0 * (i + 1) + 0.1 * (j+1); } @@ -63,6 +63,6 @@ static void print( vector> & mat ) { - for( size_t i = 0; i < mat.size(); i++ ) { - for( size_t j = 0; j < mat.at(i).size(); j++ ) + for ( size_t i = 0; i < mat.size(); i++ ) { + for ( size_t j = 0; j < mat.at(i).size(); j++ ) cout << mat.at(i).at(j) << " "; cout << endl; Index: doc/theses/mike_brooks_MMath/programs/ar-bchk/treatment.cfa =================================================================== --- doc/theses/mike_brooks_MMath/programs/ar-bchk/treatment.cfa (revision eb0d9b7d937213cd3bc39235c18121a496cbb52f) +++ doc/theses/mike_brooks_MMath/programs/ar-bchk/treatment.cfa (revision 4904b0516ef6e24899be795ccffb6835533284bc) @@ -24,14 +24,14 @@ array(float, M, P) & lhs, array(float, P, N) & rhs ) { - for( i; M ) + for ( i; M ) - for( j; N ) { + for ( j; N ) { res[i, j] = 0.0; - for( k; P ) + for ( k; P ) - res[i, j] += - lhs[i, k] * - rhs[k, j]; + @res[i, j] +=@ + @lhs[i, k] *@ + @rhs[k, j];@ } }