There are a lot of contexts in which
is considered well defined.
For example, if you have
is it really necessary to say that you have to define that as piecewise(x == 0, undefined, x^2 + 2*x + 1) or can you just define it as x^2 + 2*x + 1 ? If you are writing the derivative of c*x^n for integer n, is it really necessary to define it as piecewise(n == 1 & x == 0, undefined, (c*n)*x^(n-1)) or as piecewise(n == 1 & x == 0, c, (c*n)*x^(n-1)) ? Is the derivative of c*x to be defined differently than the derivative of c*x^1, or do we just have to carry around a whole bunch of special cases to protect against the possibility of evaluating 0^0 when the relevant formula would work fine for any other x^0 ?
is it really necessary to say that you have to define that as piecewise(x == 0, undefined, x^2 + 2*x + 1) or can you just define it as x^2 + 2*x + 1 ? If you are writing the derivative of c*x^n for integer n, is it really necessary to define it as piecewise(n == 1 & x == 0, undefined, (c*n)*x^(n-1)) or as piecewise(n == 1 & x == 0, c, (c*n)*x^(n-1)) ? Is the derivative of c*x to be defined differently than the derivative of c*x^1, or do we just have to carry around a whole bunch of special cases to protect against the possibility of evaluating 0^0 when the relevant formula would work fine for any other x^0 ?
