wolfram-mathematica - mathematica FullSimplify 懦弱地拒绝完全评估复数的实部？

Question

我想知道是否有与 FullSimplify 不同的命令来告诉 mathematica 执行请求的计算。这是简化尝试的三种变体

FullSimplify[Re[                       (-I + k Rr)] Cos[Ttheta], Element[{k, Rr, Ttheta, t, omega}, Reals]]
FullSimplify[Re[E^(I (omega t - k Rr))            ] Cos[Ttheta], Element[{k, Rr, Ttheta, t, omega}, Reals]]
FullSimplify[Re[E^(I (omega t - k Rr)) (-I + k Rr)] Cos[Ttheta], Element[{k, Rr, Ttheta, t, omega}, Reals]]

我分别得到:

k Rr Cos[Ttheta]
Cos[k Rr - omega t] Cos[Ttheta]

                I (-k Rr + omega t)
Cos[Ttheta] Re[E                    (-I + k Rr)]

没有指数，实部得到评估。没有复杂的因子乘以指数，实部得到评估。两者相乘，输入作为输出返回？

我尝试了//Timings 修饰符，这不是因为表达式太复杂(这很好，因为我可以在脑海中做这个，但这是一个更大的测试表达式的子集，它也失败了).

Answer 1

既然你的变量被声明为Reals，你是否尝试过ComplexExpand？

为了挽回我在这里发布的缓慢的帖子是另一种方法:通过 ComplexityFunction

告诉 Mathematica 您不希望结果中有 Complex

FullSimplify[Re[E^(I (omega t - k Rr)) (-I + k Rr)] Cos[Ttheta], 
 Element[{k, Rr, Ttheta, t, omega}, Reals], 
 ComplexityFunction -> (1 - Boole@FreeQ[#, Complex] &)]