Polynomial Ring over an Integral Domain