多項式(poly)

mupad では多項式は通常は一般の「式」として扱えば十分なことも多いのですが、 グレブナ基底を正しく求めるときなど、には、 ``poly'' をつかって多項式を定義してやる必要があります。

f1:=poly(x-t^2-t^4,[t,x,y]);
f2:=poly(y-t^3-t^5,[t,x,y]);

等々。

また、係数環(体)を決めてやる必要があるときにも、``poly''が重宝します。

k:=Dom::IntegerMod(17):
f:=poly(x^2+y^2,[x,y],k):
f^17;

                     34    34
               poly(x   + y  , [x, y], Dom::IntegerMod(17))

R:=Dom::IntegerMod(6):
g:=poly(2*X+Y,[X,Y],R):
h:=poly(3*Y+1,[X,Y],R):
g*h;
                          2
             poly(2 X + 3 Y  + Y, [X, Y], Dom::IntegerMod(6))