Revision history [back]

This sounds like you want to work over the finite field F_p. We can't read your mind to determine what a "few more constraints" means. If not, you'll have to parametrize the coefficients with dummy variables and impose the constrains manually (i.e. work with the ideal generated by your polynomial and any extra constraints).