Question: What triggers solutions lost with engine=traditional?

When I use Maple to solve some complex polynomial system and trying different methods, for instance, using engine = traditional, it will sometimes lose or fail to find the solutions. In the document, it says Maple will convert to engine = groebner when it does not find solutions using traditional engine. As far as I know it is using resultant to eliminate variables, and the resultant is computed by pseudo remainder. The leading coefficient of the quotient is multiplied during each division to ensure that we include the case that it is zero.

But why this procedure will lose solutions sometimes? What makes Maple abandon this method?

Please Wait...