【新人求助】请问我这两个式子为啥在软件上运行不是相等的
mathematica吧
全部回复
仅看楼主
level 1
腐君T_T 楼主
SameQ[8 c00 \[CapitalEpsilon]^2 \[Lambda]2 (4 \[CapitalDelta]^2 -
4 I \[CapitalDelta] \[Kappa] - \[Kappa]^2 -
10 \[CapitalDelta] \[Chi] + 5 I \[Kappa] \[Chi] + 4 \[Chi]^2),
8 c00 \[CapitalEpsilon]^2 \[Lambda]2 ( \[Chi] - 2 \[CapitalDelta] +
I \[Kappa]) (4 \[Chi] - 2 \[CapitalDelta] + I \[Kappa]) ]
这个在线下是相等的,就是不知道线上算为啥是false[泪]
2023年01月15日 16点01分 1
level 9
这个查看帮助文档对其的分类可以看出
SameQ是判定字符串的,这里个人猜测是要求字符串的字面上严格相等才会给出True
对于题主的问题,我一开始打算使用Equal的,后面发现就算两个符号式子不相等,Equal依旧给出True
但是,可以在Euqal的帮助文档里面找到下述内容
所以,可以用Expand展开,如果两个式子相等则给出True,不相等返回式子本身
2023年01月18日 11点01分 4
……SameQ判的不是字符串,是表达式。但它检测的确实是表达式是否“完全相同”。
2023年02月04日 03点02分
吧务
level 10
更复杂的情况可以考虑用Solve。
2023年01月20日 07点01分 5
吧务
level 15
要检测两个式子是否在代数意义上相同请用Simplify之类的代数化简函数。SameQ做的是机械比较,是“程序侧”的东西。
2023年02月04日 03点02分 6
吧务
level 15
8 c00 Ε^2 λ2 (4 Δ^2 - 4 I Δ κ - κ^2 - 10 Δ χ + 5 I κ χ + 4 χ^2) == 8 c00 Ε^2 λ2 (χ - 2 Δ + I κ) (4 χ - 2 Δ + I κ) // Simplify
输出为True。
2023年02月04日 03点02分 7
1