Definition:Polynomial over Ring in Multiple Variables