Definition:Polynomial over Integral Domain