Maple：简化 Im(a+I*b) - 为什么它对我不起作用？

Question

所以我想简化 z:=a+I*b; Im(z) 其中 a、b 是实变量所以我尝试：

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

所以我想知道是否有可能简化 Im(z) 以便得到 b 作为输出（这里我们看看一般情况，这意味着 z 可以是来自实际值的任何复杂表达式（例如 a、b< /code>、c 等且复杂我））？

Answer 1

你没有告诉 Maple a 和 b 是真实的，所以简化不起作用，因为它不一定成立。获得您想要的结果的一种方法是使用假设命令让它知道：

> 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。