### A Canonical Form for Piecewise Defined Functions

#### Jacques Carette

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.