如何在矩阵中逐项强加平等？

Question

如何在Mathematica的简化假设中逐项强加矩阵平等项？

以下不起作用,因为它返回a而不是1.

mat1 = {a, b, c}
Simplify[mat1[[1]], mat1 == {1, 2, 3}]

Answer 1

你可以用 Thread

mat1 = {a, b, c};
Simplify[mat1[[1]], Thread[mat1 == {1, 2, 3}]]