在TSL的子矩阵下标值允许使用下标数组，而某些矩阵语言则还允许使用逻辑数组，即只取出为真的下标，MFIND可以将逻辑数组转换为下标数组。
  A:=Rand(100,3);
  B:=A[:,0].>0.5; //返回0列为真的逻辑数组
  C:=Mfind(B);//返回为真的下标数组
  D:=A[C]; //取出A的子矩阵
  上边的代码可以写成D:=A[Mfind(A[:,0].>0.5)];
  含义等同于D:=Select * from A where [0] > 0.5 end;