我有一个多项式
b*p + a*q + y = 0
其中b，p，a，q，y是整数变量。它指定了一些区域。
1）如果有一种方法（算法）来指定线性不等式，那么它们所描述的区域将包括多项式区域？
2）如果有一种方法（一种算法）来指定一组线性不等式，它们所描述的区域将包含在多项式区域中吗？
这个问题一般也适用于任何多项式：
a1*x1^y11*...*xm^ym1 + ak*x1^y1k*...*xm^ymk = 0
，其中 x1，...，xm - 整数变量，a1，... ak，y11，...，ymk - 整数。