poly_elimination_ideal
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");
gr
, hgr
, gr_mod
, dp_*
Go to the first, previous, next, last section, table of contents.