if x0&lt;x1 then sx:＝1 else sx:＝-1