2009-03-19 とりあえず groebner_basis_la([x*y+z-x*z,x^2-z,2*x^3-x^2*y*z-1]) の出力をちゃんとするように。x^6の項が出るようにするためのリーズナブルな方法を考える。