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

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_*

Go to the first, previous, next, last section, table of contents.