Weird behaviour with GroebnerBasis in v7
问题 I came across some weird behaviour when using GroebnerBasis . In m1 below, I used a Greek letter as my variable and in m2 , I used a Latin letter. Both of them have no rules associated with them. Why do I get vastly different answers depending on what variable I choose? Image: Copyable code: Clear["Global`*"] g = Module[{x}, x /. Solve[ z - x (1 - b - b x ( (a (3 - 2 a (1 + x)))/(1 - 3 a x + 2 a^2 x^2))) == 0, x]][[3]]; m1 = First@GroebnerBasis[\[Kappa] - g, z] m2 = First@GroebnerBasis[k - g,