help links subscribe changes refresh edit

	SandBox
SandBoxSage ←	↑	→ SandBoxSimple

SandBoxSignum

Edit detail for SandBoxSignum revision 4 of 13

	1 2 3 4 5 6 7 8 9 10 11 12 13
Editor: Bill Page Time: 2014/07/05 00:03:05 GMT+0
Note:

added:
Derivative of abs

removed:
-D(tanh(a*x),x)
-limit(%,a=%plusInfinity)

added:
An approximation to signum

changed:
-abs:=operator('abs)
D(tanh(a*x),x)
limit(%,a=%plusInfinity)
\end{axiom}

Patterns for derivatives
\begin{axiom}
Abs:=operator('Abs)

changed:
-  signum(x) == abs(x)/x
-  D(abs(x),x) == signum(x) + 2*x*diracDelta(x)
  signum(x) == Abs(x)/x
  D(Abs(x),x) == signum(x) + 2*x*diracDelta(x)

added:
diff(Abs(x),x)
diff(Abs(x)/x,x)
\end{axiom}

Adding the singular part of the derivative
\begin{axiom}
diff(f,x) == D(f,x)+(limit(f,x=0,"right")-limit(f,x=0,"left"))::EXPR(INT)*diracDelta(x)

changed:
-diff(abs(x)/x,x)
diff(%,x)
signum(x)==abs(x)/x
diff(signum(x),x)
integrate(signum(x),x)

Ref.

Derivative of abs

fricas

s1:=D(abs(x),x)

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

(1)

Type: Expression(Integer)

fricas

D(s1,x)

$\label{eq2}0$

(2)

Type: Expression(Integer)

fricas

limit(abs(x)/x,x=0,"right")

$\label{eq3}1$

(3)

Type: Union(OrderedCompletion?(Expression(Integer)),...)

fricas

limit(abs(x)/x,x=0,"left")

$\label{eq4}- 1$

(4)

Type: Union(OrderedCompletion?(Expression(Integer)),...)

An approximation to signum

fricas

D(tanh(a*x),x)

$\label{eq5}-{a \ {{\tanh \left({a \ x}\right)}^{2}}}+ a$

(5)

Type: Expression(Integer)

fricas

limit(%,a=%plusInfinity)

$\label{eq6}\mbox{\tt "failed"}$

(6)

Type: Union("failed",...)

Patterns for derivatives

fricas

Abs:=operator('Abs)

$\label{eq7}\hbox{\axiomType{Abs}\ }$

(7)

Type: BasicOperator?

fricas

D(abs(x),x)

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

(8)

Type: Expression(Integer)

fricas

signum:=operator('signum)

$\label{eq9}signum$

(9)

Type: BasicOperator?

fricas

diracDelta:=operator('diracDelta)

$\label{eq10}diracDelta$

(10)

Type: BasicOperator?

fricas

signum(x)

$\label{eq11}signum \left({x}\right)$

(11)

Type: Expression(Integer)

fricas

D(signum(x),[x,x])

$\label{eq12}{signum_{\ }^{, ,}}\left({x}\right)$

(12)

Type: Expression(Integer)

fricas

diff1:=rule
  signum(x) == Abs(x)/x
  D(Abs(x),x) == signum(x) + 2*x*diracDelta(x)
  D(signum(x),x) == 2*diracDelta(x)

$\label{eq13}\begin{array}{@{}l} \displaystyle \left\{{{signum \left({x}\right)}\mbox{\rm = =}{{{{\tt'}\hbox{\axiomType{Abs}\ }}\left({x}\right)}\over x}}, \: \right. \ \ \displaystyle \left.{{{\hbox{\axiomType{Abs}\ }_{\ }^{,}}\left({x}\right)}\mbox{\rm = =}{{{{\tt'}signum}\left({x}\right)}+{2 \ x \ {{{\tt'}diracDelta}\left({x}\right)}}}}, \: \right. \ \ \displaystyle \left.{{{signum_{\ }^{,}}\left({x}\right)}\mbox{\rm = =}{2 \ {{{\tt'}diracDelta}\left({x}\right)}}}\right\}$

(13)

Type: Ruleset(Integer,Integer,Expression(Integer))

fricas

diff(x,y)==diff1 D(x,y)

Type: Void

fricas

diff(Abs(x),x)

fricas

Compiling function diff with type (Expression(Integer),Variable(x))
       -> Expression(Integer)

$\label{eq14}{{2 \ {{x}^{2}}\ {diracDelta \left({x}\right)}}+{\hbox{\axiomType{Abs}\ } \left({x}\right)}}\over x$

(14)

Type: Expression(Integer)

fricas

diff(Abs(x)/x,x)

$\label{eq15}2 \ {diracDelta \left({x}\right)}$

(15)

Type: Expression(Integer)

Adding the singular part of the derivative

fricas

diff(f,x) == D(f,x)+(limit(f,x=0,"right")-limit(f,x=0,"left"))::EXPR(INT)*diracDelta(x)

   Compiled code for diff has been cleared.
   1 old definition(s) deleted for function or rule diff

Type: Void

fricas

diff(abs(x),x)

fricas

Compiling function diff with type (Expression(Integer),Variable(x))
       -> Expression(Integer)

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

(16)

Type: Expression(Integer)

fricas

diff(%,x)

$\label{eq17}2 \ {diracDelta \left({x}\right)}$

(17)

Type: Expression(Integer)

fricas

signum(x)==abs(x)/x

Type: Void

fricas

diff(signum(x),x)

fricas

Compiling function signum with type Variable(x) -> Expression(
      Integer)

$\label{eq18}2 \ {diracDelta \left({x}\right)}$

(18)

Type: Expression(Integer)

fricas

integrate(signum(x),x)

$\label{eq19}\int^{ \displaystyle x}{{{abs \left({\%A}\right)}\over \%A}\ {d \%A}}$

(19)

Type: Union(Expression(Integer),...)