Degree of a Polynomial Definition