login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Wirtinger Derivatives or Wirtinger Calculus (also called \mathbb{CR}-Calculus)

Reference

fricas
(1) -> )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

fricas
diff(ex,z) == eval(D(eval(ex,[z],[%conjugate]),%conjugate),[%conjugate],[z])
Type: Void

Tests

fricas
test(diff(z,z)=1)
fricas
Compiling function diff with type (Variable(z), Variable(z)) -> 
      Polynomial(Integer)

\label{eq1} \mbox{\rm true} (1)
Type: Boolean
fricas
test(diff(conjugate z,conjugate z)=1)
>> System error: #<SB-SYS:FD-STREAM for "file /var/aw/var/LatexWiki/FSPECX.NRLIB/FSPECX.fasl" {100265C7A3}> is a fasl file compiled with SBCL 1.1.1, and can't be loaded into SBCL 2.2.9.debian.

Non-holomorphic functions

fricas
real(x) == (x+conjugate(x))/2
Type: Void
fricas
test(real real x = real x)
fricas
Compiling function real with type Variable(x) -> Expression(Integer)
>> System error: #<SB-SYS:FD-STREAM for "file /var/aw/var/LatexWiki/FSPECX.NRLIB/FSPECX.fasl" {100283DBD3}> is a fasl file compiled with SBCL 1.1.1, and can't be loaded into SBCL 2.2.9.debian.

Functions are assumed holomorphic

fricas
f:=operator 'f

\label{eq2}f(2)
Type: BasicOperator?
fricas
diff(c*f(x),x)
fricas
Compiling function diff with type (Expression(Integer), Variable(x))
       -> Expression(Integer)

\label{eq3}c \ {{f^{\prime}}\left({x}\right)}(3)
Type: Expression(Integer)
fricas
diff(c*f(x),conjugate x)
>> System error: #<SB-SYS:FD-STREAM for "file /var/aw/var/LatexWiki/FSPECX.NRLIB/FSPECX.fasl" {1002CA70E3}> is a fasl file compiled with SBCL 1.1.1, and can't be loaded into SBCL 2.2.9.debian.

Examples

fricas
t1:=real(z)^2+%i*imag(z)^3
fricas
Compiling function real with type Variable(z) -> Expression(Integer)
>> System error: #<SB-SYS:FD-STREAM for "file /var/aw/var/LatexWiki/FSPECX.NRLIB/FSPECX.fasl" {1002D881F3}> is a fasl file compiled with SBCL 1.1.1, and can't be loaded into SBCL 2.2.9.debian.




  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: