maple - Maple：如何假设变量来自真实范围来解决这样的方程？

Question

所以我有一个这样的方程：

我需要得到G[xy]. 如何告诉 Maple 我们假设G[xx],G[xy]是来自真实范围（SoIm(G[xx]) == 0和Re(G[xy]) == G[xy]）的值并G[xy]从中找到Im(solution[1][1])？

Answer 1

使用assume或assuming。在你的情况下：

solve(Im(G[x,x]) = -38/(845*Pi) + Re(G[x,y]), G[x,y]) assuming G[x,y] :: real, G[x,x] :: real;

会工作。

Answer 2

我宁愿不使用assuming这种东西，因为它给人的潜在误导印象solve是在处理和使用假设方面是稳健的。

通过使用evalc对系统进行预处理。记住solve正在处理的内容会更容易一些。

solve( evalc(Im(G[x,x]) = -38/(845*Pi) + Re(G[x,y])), G[x,y] );

                           38  
                         ------
                         845 Pi

evalc(Im(G[x,x]) = -38/(845*Pi) + Re(G[x,y]));

                         38            
                 0 = - ------ + G[x, y]
                       845 Pi          

这是个人喜好，作为一项规则，您很可能会想出选择另一条路线的理由。或者有时这两种方法都会找到它们的利基。