Why does the distributive property fail when comparing expressions?

2018 4 18
1 个回答
更新时间：2018 4 18
5 次查看（30 天）

0 个投票

As a simplified example, I'm trying to compare whether two expressions are equal, where they are simply written differently. But
syms a x y;
logical((x+y)*a == x*a + y*a)
returns false, and everything else that assumes distributivity of + and *. Is there some other function that will help me, or some explanation why this happens?

1 个评论
显示 -1更早的评论 隐藏 -1更早的评论

Stephen Prunty
Stephen Prunty 2018-4-18
Ah, just found out apparently using simplify on both sides of the equals returns true.

请先登录，再进行评论。

请先登录，再回答此问题。

回答（1 个）

Star Strider
Star Strider 2018-4-18

0 个投票

To get logical results with symbolic expressions, use the isAlways (link) function.

syms a x y;
TF = isAlways((x+y)*a == x*a + y*a)

TF =

    logical
     1

类别

在 帮助中心 和 File Exchange 中查找有关 Assumptions 的更多信息

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by