児玉です.

From: rubikitch <rubikitch / ruby-lang.org>
Subject: [ruby-math:00219] Re: Polynomial of multi variable
Date: Wed, 02 Feb 2000 18:57:07 +0900
Message-ID: <20000202185707O.takashi / localhost>
...
> 一般にいえばグレブナーベースは((式の数)-1)になるのかな?

いや元の式の rank が落ちている例だからでしょう.

> しかも文字の数が減ってるし。

3変数ですけど?

> ちなみに、自作行列ライブラリで解かしたらこの通り。
> でも精度めちゃ悪いや(><)

Integer か Rational 上で解いてはどうでしょうか?

> irb(main):030:0> DMatrix::solve(DMatrix[[1,1,2],[2,3,6],[3,2,4]],VV[2,5,5])
> 
> DM[[ 1.00000000000000000000 ],
>    [ -2.98540145985401439432 ],
>    [ 1.99270072992700719716 ]]

xは 1 で良いけど, y,z は確定しないはずですが?

-- 
K.Kodama(kodama / kobe-kosen.ac.jp)