help links subscribe changes refresh edit

	SandBoxDiracDelta
	↑	→ SandBoxExpresssionComplex

SandBoxAbs

Edit detail for SandBoxAbs revision 1 of 3

	1 2 3
Editor: Bill Page Time: 2015/01/30 18:17:22 GMT+0
Note:

changed:
-
This is how FriCAS currently differentiates the absolute value function.
\begin{axiom}
differentiate(abs(x),x)
\end{axiom}

abs is often defined in terms of the positive square root so comparison with the following is perhaps a surprize.
\begin{axiom}
differentiate(sqrt(x^2),x)
\end{axiom}

Are these expressions really equivalent?

This is how FriCAS? currently differentiates the absolute value function.

fricas

differentiate(abs(x),x)

$\label{eq1}{abs \left({x}\right)}\over x$

(1)

Type: Expression(Integer)

abs is often defined in terms of the positive square root so comparison with the following is perhaps a surprize.

fricas

differentiate(sqrt(x^2),x)

$\label{eq2}x \over{\sqrt{{x}^{2}}}$

(2)

Type: Expression(Integer)

Are these expressions really equivalent?