Dear friends I have tried to use SolveAlways to find values of parameters that make valid a polynomial of two variables of degree 9. It has 55 monomials and the coefficients of the monomial are nonlinear combinations of unknown parameters ais. After sometime of running, Mathematica returns and empty list {}. Is this because there is not a set of ais that makes pol(x,y)==0 or Mathematica is failing to solve the problem? Can any one tell what kind of polynomial theories support SolveAlways?
I didn't know how to include my polynomial here, but this is an screen shot with part of it.
Thanks for any help! Jesus