help links subscribe changes refresh edit

	SandBox
SandBoxSage ←	↑	→ SandBoxSimple

SandBoxSignum

Edit detail for SandBoxSignum revision 3 of 13

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

added:

  - http://en.wikipedia.org/wiki/Sign_function

Ref.

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

D(tanh(a*x),x)

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

(3)

Type: Expression(Integer)

fricas

limit(%,a=%plusInfinity)

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

(4)

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

fricas

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

$\label{eq5}1$

(5)

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

fricas

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

$\label{eq6}- 1$

(6)

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

fricas

abs:=operator('abs)

$\label{eq7}abs$

(7)

Type: BasicOperator?

fricas

D(abs(x),x)

$\label{eq8}{abs_{\ }^{,}}\left({x}\right)$

(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'}abs}\left({x}\right)}\over x}}, \: \right. \ \ \displaystyle \left.{{{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)}}+{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)