矩阵转置
将一个矩阵行列互换得到新矩阵。（验证时间约 7.5sec）
[Back to Index]
验证特点：自定义谓词，量化断言，多重循环
标注说明：函数前条件：\true；
函数后条件：新矩阵 matt 的每个元素等于矩阵 mat 经行列互换操作后的对应元素。
程序样例 
将一个矩阵行列互换得到新矩阵。（验证时间约 7.5sec）
验证特点：自定义谓词，量化断言，多重循环
标注说明：函数前条件：\true；
函数后条件：新矩阵 matt 的每个元素等于矩阵 mat 经行列互换操作后的对应元素。
程序样例