Definition:Primitive Polynomial over Integers