13.0.2 `poly_elimination_ideal'
-------------------------------

poly_elimination_ideal(I,VV)
     :  It computes the ideal intersection of I and the monomial ideal
     generated by VV.

poly_elimination_ideal(I,VV | GROBNER_BASIS=key0,V=key1)
     : This function allows optional variables   GROBNER_BASIS, V

   Description:

     If grobner_basis is "yes", I is assumed to be a Grobner basis.
     The optional variable v is a list of variables which defines the
     ring  of polynomials.


   Example 0:
      poly_elimination_ideal([x^2+y^2-4,x*y-1],[x]);
   Example 1:
      A = poly_grobner_basis([x^2+y^2-4,x*y-1]|order=2,v=[y,x]);
               poly_elimination_ideal(A,[x]|grobner_basis="yes");

   References:

      `gr' ,  `hgr' ,  `gr_mod' ,  `dp_*'

