help links subscribe changes refresh edit

	SandBoxDiracDelta
SandBoxExpresssionComplex ←	↑

SandBoxWirtinger

Edit detail for SandBoxWirtinger revision 5 of 21

	1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Editor: Bill Page Time: 2014/08/15 21:44:26 GMT+0
Note:

added:

\begin{axiom}
real(x) == (x+conjugate(x))/2
imag(x) == (x-conjugate(x))/2
diff(real(x),x)
diff(real(x),conjugate(x))
diff(imag(x),x)
diff(imag(x),conjugate(x))
diff(abs(x)^2,x)
\end{axiom}

Ref.

http://en.wikipedia.org/wiki/Wirtinger_derivatives

fricas

)lib FSPECX

   FunctionalSpecialFunction is now explicitly exposed in frame initial

   FunctionalSpecialFunction will be automatically loaded when needed 
      from /var/aw/var/LatexWiki/FSPECX.NRLIB/FSPECX
abs2sqrt := rule abs(a+%i*b)==sqrt(a^2+b^2)

$\label{eq1}{abs \left({{i \ b}+ a}\right)}\mbox{\rm = =}{\sqrt{{{b}^{2}}+{{a}^{2}}}}$

(1)

Type: RewriteRule?(Integer,Complex(Integer),Expression(Complex(Integer)))

fricas

diff(ex,z) == eval(D(eval(ex,z=%conjugate),%conjugate),%conjugate=z)

Type: Void

fricas

diff(sin(x),x)

fricas

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

$\label{eq2}\cos \left({x}\right)$

(2)

Type: Expression(Integer)

fricas

diff(sin(x),conjugate(x))

fricas

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

$\label{eq3}0$

(3)

Type: Expression(Integer)

fricas

diff(sqrt(x^2),x)

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

(4)

Type: Expression(Integer)

fricas

diff(sqrt(x^2),conjugate(x))

$\label{eq5}0$

(5)

Type: Expression(Integer)

fricas

diff(z*conjugate(z),z)

fricas

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

$\label{eq6}\overline z$

(6)

Type: Expression(Integer)

fricas

diff(z*conjugate(z),conjugate(z))

$\label{eq7}z$

(7)

Type: Expression(Integer)

fricas

diff(sqrt(x*conjugate(x)),x)

$\label{eq8}{\overline x}\over{2 \ {\sqrt{x \ {\overline x}}}}$

(8)

Type: Expression(Integer)

fricas

diff(sqrt(x*conjugate(x)),conjugate(x))

$\label{eq9}x \over{2 \ {\sqrt{x \ {\overline x}}}}$

(9)

Type: Expression(Integer)

fricas

real(x) == (x+conjugate(x))/2

Type: Void

fricas

imag(x) == (x-conjugate(x))/2

Type: Void

fricas

diff(real(x),x)

fricas

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

$\label{eq10}1 \over 2$

(10)

Type: Expression(Integer)

fricas

diff(real(x),conjugate(x))

$\label{eq11}1 \over 2$

(11)

Type: Expression(Integer)

fricas

diff(imag(x),x)

fricas

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

$\label{eq12}1 \over 2$

(12)

Type: Expression(Integer)

fricas

diff(imag(x),conjugate(x))

$\label{eq13}-{1 \over 2}$

(13)

Type: Expression(Integer)

fricas

diff(abs(x)^2,x)

$\label{eq14}\overline x$

(14)

Type: Expression(Integer)