maple - メープル：Im（a + I * b）を単純化する-なぜそれが私にとってうまくいかないのですか？

Question

だから私は、が実変数z:=a+I*b; Im(z)であるところを単純化したいので、私は試してみます：ab

s:= 1+2*I
Im(s) // outputs 2
z:=a+I*b
Im(z) // outputs  Im(a+I*b)

それで、bを出力として取得するように単純化することはどのように可能でしょうかIm(z)（ここでは、一般的なケースの意味を実際の値（ 、、などやcomplexなど）zからの複雑な式にすることができます）？abcI

Answer 1

Mapleにaとbが本物であるとは言わなかったので、必ずしも当てはまるとは限らないため、簡略化は機能しません。必要なものを取得する1つの方法は、assumeコマンドを使用して通知することです。

> s:=1+2*I;
                                 s := 1 + 2 I

> Im(s);
                                       2

> z:=a+I*b;
                                 z := a + b I

> Im(z);
                                  Im(a + b I)

> assume(a,real);
> assume(b,real);
> z;
                                   a~ + b~ I

> Im(z);
                                      b~

Answer 2

このevalcコマンドは、未知のものを本物と見なすことによって機能します。

z:=a+I*b:

Im(z);
                             Im(a + I b)

evalc( Im(z) );
                                  b

ヘルプページ？evalcを参照してください。