Wirtinger Derivatives or Wirtinger Calculus (also called -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)
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
fricas
diff(c*f(x),x)
fricas
Compiling function diff with type (Expression(Integer), Variable(x))
-> Expression(Integer)
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.