Как навязать равенство в терминах в матрице?

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}]]