トレース(conjtrace)

代数拡大体の元のトレースを求めるには次のようにします。

k:=Dom::AlgebraicExtension(Dom::Rational, z^2+z+1 = 0, z);
k::conjTrace (k(z));
                                    -1

MuPAD にはトレース以外にもいろいろな関数が準備されています。 詳細は ? Dom::AlgebraicExtension してみてください。