maple - Maple: そのような方程式を解くために、変数が実範囲内にあるという仮定をどのように持つのですか?

Question

だから私はこのような方程式を持っています：

私は取得する必要がありますG[xy]。が実範囲 (Soと) からの値でありG[xx]、から見つけられると仮定していることを Maple に伝えるにはどうすればよいでしょうか?G[xy]Im(G[xx]) == 0Re(G[xy]) == G[xy]G[xy]Im(solution[1][1])

Answer 1

私はこの種のものには使用しないことを好みます。それは、仮定の処理と操作に関して堅牢である、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          

それは個人的な好みであり、原則として、他のルートに行くことを好む理由を思い付くかもしれません。あるいは、両方の方法でニッチが見つかることもあります。

Answer 2

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;

動作します。