Differentiation of conj/imag/real/abs functions
At the moment the result from differentiation of the functions conj
, real
, imag
, abs
does not take the argument domain into account.
sage: _ = var('x', domain='real')
sage: _ = var('z')
sage: (x^z).conjugate().diff(x)
x^(z  1)*z*D[0](conjugate)(x^z)
sage: atan(x).imag_part().diff(x)
D[0](imag_part)(arctan(x))/(x^2 + 1)
sage: abs(log(z)).diff(z)
log(z)/(z*abs(log(z)))
GiNaC has functionality that is only now included in Pynac. The ticket should doctest it when it is implemented. It all benefits from recent domain logic improvements in Pynac as well.
https://github.com/pynac/pynac/issues/45
Change History (8)
Description: 
modified (diff)

Branch: 
→ u/rws/differentiation_of_conj_imag_real_abs_functions

Authors: 
→ Ralf Stephan

Commit: 
→ f96fe12adb044d5ec132f2ca26c15dd09f43d9c1

Dependencies: 
→ pynac0.7.4

Description: 
modified (diff)

Status: 
new →
needs_review

Dependencies: 
pynac0.7.4 →
#22219

Status: 
needs_review →
needs_work

Status: 
needs_work →
needs_review

Commit: 
f96fe12adb044d5ec132f2ca26c15dd09f43d9c1 →
052e3cb82cbb06a8fcaae7e5b949d8d34504b663

Milestone: 
sage7.6 →
sage8.0

Reviewers: 
→ Travis Scrimshaw

Status: 
needs_review →
positive_review

Branch: 
u/rws/differentiation_of_conj_imag_real_abs_functions →
052e3cb82cbb06a8fcaae7e5b949d8d34504b663

Resolution: 
→ fixed

Status: 
positive_review →
closed

New commits:
22209: Differentiation of conj/imag/real/abs functions