added some controls in quadratic_equatiion.ml