您好，我尝试在Opencv中校准相机。不幸的是我得到了错误
初始化器元素不是常量const CvMat CameraMatrix = cvMat（3,3，CV_64FC1，camera_matrix）;
编译我的C代码时。有人能帮我吗？到目前为止，我只发现了C ++示例。
lemmas [simp del] = sum.simps
lemma sum_simps [simp]: "i > N ⟹ sum i N = 0" "i ≤ N ⟹ sum i N = i + sum (Suc i) N"
by (auto simp: sum.simps)