Definition:Double Root (Polynomial)