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

Question

如何在Mathematica的简化假设中按术语强加矩阵平等？

以下内容不起作用，因为它会返回一个而不是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}]]