Question: How decide that a polynomial is none zero w.r.t. a set of none zero conditions?

Let

and f=

The elements of W are none zero. I want a procedure that return "true" if f is none zero w.r.t. W and return

"false" otherwise.

Please Wait...