仮定する(assume, unassume)

例えば、$a,b$ が実数のとき、 $(a+b \sqrt{-1})^5$ の実部、虚部を 計算したいとします。このようなときには MuPAD に、$a,b$ が実数であると 仮定させて、Re, Im を用いればよろしい。

assume (a, Type::Real); // a は実数と仮定
assume (b, Type::Real); // b も実数と仮定
z:=(a+b*I)^5;
Re(z);  // z の実部
Im(z);  // z の虚部

という具合です。

仮定を解除したい場合には、unassume を使います。

unassume (a); // a についての仮定を解除