sgn-sat Copyright (c) 2015 Ryo Kikuuwe sgn-sat is a Mathematica notebook to do derivation based on the relation "y=sgn(x-y) <=> y=sat(x)"