Maple：如何假设变量来自实际范围来解决这样的等式？

Question

所以我有一个这样的等式：

我需要G[xy]。如何告诉Maple我们假设G[xx]，G[xy]是真实范围内的值（So Im(G[xx]) == 0和Re(G[xy]) == G[xy]）并从{{1}找到G[xy] }}？

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          

这是个人偏好，通常情况下，你可能会想出更喜欢走其他路线的理由。或者有时两种方法都会找到自己的利基。