Function similar to solve in Maple for M2?

[Lina Liu]

Hi,

I'm trying to solve a multivariable polynomial in M2 and I want to set some criteria for what one of my variables to be. This is similar to the \texttt{solve} function \texttt{Maple} has: https://www.maplesoft.com/support/help/maple/view.aspx?path=solve

Here's a sample of my code:

 R = QQ[y1, y2, y3, y4, x];
 F = {y1^5*(1-x)+y1^4*x, x=2};

solveSystem F

stdio:21:1:(3): error: expected all polynomials in the same ring

Now I get the same error even if I do  F = {y1^5*(1-x)+y1^4*x, x=2}; or  F = {y1^5*(1-x)+y1^4*x, x->2};

Thanks in advance,

Lina

[Michael Burr]

For your code, you should change x=2 to x-2 so that it's a polynomial.  

You will also likely want to have R=QQ[y1,x] so that the system is zero-dimensional.