手続き isolve は、eqns 中の方程式を整数上で解きます。それは、方程式中のすべての不定元に対して解きます。

オプションの第 2 引数 vars は、解の中で生じる整数値を持つ大域変数を指定するために用います。また、引数が 1 つだけの時は、大域変数名 _Z1, _Z2 などが使用されます。これは、solve の振る舞いに似せるため、Release 5.1 から _N1 が使われています。

NULL 値を返すのは、整数解がないか、あるいは Maple が解を見つけることができないときです。

isolve(3*x-4*y=7);

isolve(x^2=3);

isolve(y^4-z^2*y^2-3*x*z*y^2-x^3*z);