矩阵倍乘
将一个矩阵的所有元素乘上一个常数得到新的矩阵。（验证时间约 5sec）
[Back to Index]
验证特点：自定义谓词，量化断言，多重循环
标注说明：函数前条件：限定矩阵 mat 各元素的大小；
函数后条件：矩阵 matk 的每个元素等于矩阵 mat 对应元素和常数 k 的乘积。
程序样例 
将一个矩阵的所有元素乘上一个常数得到新的矩阵。（验证时间约 5sec）
验证特点：自定义谓词，量化断言，多重循环
标注说明：函数前条件：限定矩阵 mat 各元素的大小；
函数后条件：矩阵 matk 的每个元素等于矩阵 mat 对应元素和常数 k 的乘积。
程序样例