groebner-basis

2熱

1答えて

が

私はBuchbergerのアルゴリズム（参照：http://en.wikipedia.org/wiki/Buchberger%27s_Algorithmとhttp://www.geocities.com/famancin/buchberger.html）を使用しようとした： F := Rationals; R := PolynomialRing(F, [ "x", "y", "z" ]); x

symbolic-math groebner-basis gap-system 2009-08-13

---

1熱

1答えて

Groebner基底を有する系を解く

C [x、y、z]の有限集合の多項式が有限個の解を持つと仮定する（すなわち、生成された理想は0次元である）。 、LEX順序X> Y> Zが ある[F（Z）、G（y、z）は、H（Y、Z）、K（Xに対するグレブナ基底こともYを仮定、Z）] はよく知られているように、システムは、簡単に解くことができる：FのルートZ0を選択GおよびHに差し込み等 共通のルート（Y0）質問を探し fのすべての根z0に対して

polynomials groebner-basis 2017-02-16

---