maple判别一个多项式属不属于一个两个或三个元生成的多项式理想

with(PolynomialIdeals); vray := 6m^2*b*d+10*m4d^2+8*m4ec-14m^5*d*e+m2c^2+17*m6e^2-2*m3cd+b^2-2*m3be; J := PolynomialIdeal(c-md+4m^2e, b-em^3+3*d*m2); Q := PolynomialIdeal((c-md+4m^2*e)2, (b-em^3+3*d*m2)^2, (c-md+4m^2*e)*(b-e*m3+3dm^2)); IdealMembership(vray, Q);
true
IdealMembership(q, Q);
true
IdealMembership(p, Q);
true
IdealMembership(r, Q);
true
IdealMembership(b-mc+4d*m^2-5*e*m3, Q);
false