CristalCaveGem » LustreC

node  dot_product(x : real^3^2; y : real^3; i,j :int;) returns (z : real;);

var tmp1, tmp2:real;

let

    tmp1 = x[i][j+1];

    tmp2 = y[0];

	z =  tmp1 * tmp2 ;-- +  x[1] * y[1]  +  x[2] * y[2] ;

tel