Mathematica 9 is now available
Services & Resources / Wolfram Forums
MathGroup Archive
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2004

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: elimination using GroebnerBasis

  • To: mathgroup at
  • Subject: [mg49374] Re: [mg49352] elimination using GroebnerBasis
  • From: Andrzej Kozlowski <akoz at>
  • Date: Sat, 17 Jul 2004 06:38:38 -0400 (EDT)
  • References: <>
  • Sender: owner-wri-mathgroup at

On 16 Jul 2004, at 19:06, Gareth Owen wrote:
> Am I right in thinking that
> GroebnerBasis[{poly1, poly2, poly3},{x,y,z},{z}]
> will give a polynomial that is the result of eliminating x and y from 
> the 3
> polynomials together?
> -- 
> Gareth Owen
> Usenet is like Tetris for people who still remember how to read
You have got the last two arguments wrong way round. You will get two 
polynomials from which z has been eliminated, e.g.

poly1 = x^2 - y^2 - x*y + z^2; poly2 = x + y + z;
   poly3 = x - y + z;

GroebnerBasis[{poly1, poly2, poly3}, {x, y, z}, {z}]

{y, x^2}

If you want to elimnate x and y you should use:

GroebnerBasis[{poly1, poly2, poly3}, {x, y, z}, {x, y}]


or (sometimes more effciently I think)

GroebnerBasis[{poly1, poly2, poly3}, {x, y, z}, {x, 


another equivalent approach is

First[Eliminate[{poly1, poly2, poly3} == 0, {x, y}]]


Andrzej Kozlowski
Chiba, Japan

  • Prev by Date: RE: DeleteCases : several at once, conditions
  • Next by Date: Re: DeleteCases : several at once, conditions
  • Previous by thread: elimination using GroebnerBasis
  • Next by thread: Re: elimination using GroebnerBasis