This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)


expands nested piecewise functions in expr to give a single piecewise function.
PiecewiseExpand[expr, assum]
expands piecewise functions using assumptions.
PiecewiseExpand[expr, assum, dom]
does the expansion over the domain dom.
  • PiecewiseExpand[expr, assum, dom] assumes that both the input and output of every function appearing in expr is in the domain dom.
  • The following options can be given:
Assumptions$Assumptionsdefault assumptions to append to assum
TimeConstraint30for how many seconds to try simplifying each set of conditions
New in 5.1