いや、条件が増えても0と自然数が条件なんで組み合わせが無限にあるのは正しいのですけど、問題はその求め方(組み合わせの出し方)なんですよね。
f[x,y,z]:= x^2 + y^2 + z^2 + x + y + z
< Const, x, y, z each of 0 or Natural >
とおきf[x,y,z] - Const==0 となる不定方程式の組[x,y,z]の出し方といっても同じなんですけど。

最近PCインストールしなおしたので数式処理ソフトとかプログラム環境とか消えちゃたんですよ・・
マテマテカとかもうどこにしまったか忘れたんでPCに入れられないし、マキシマの方に乗り換えるつもりなんですけど。