piecewise-defined function