一般多元多项式环的多项式引擎