We define a canonical form for piecewise defined functions. We show that the domains and ranges for which these functions are defined is larger than in previous work. Also, our
canonical form algorithm is linear in the number of breakpoints instead of exponential. These results rely on the linear structure of the underlying domain of definition.