Opened 3 years ago
Closed 2 years ago
#22209 closed enhancement (fixed)
Differentiation of conj/imag/real/abs functions
Reported by:  rws  Owned by:  

Priority:  major  Milestone:  sage8.0 
Component:  symbolics  Keywords:  
Cc:  Merged in:  
Authors:  Ralf Stephan  Reviewers:  Travis Scrimshaw 
Report Upstream:  N/A  Work issues:  
Branch:  052e3cb (Commits)  Commit:  052e3cb82cbb06a8fcaae7e5b949d8d34504b663 
Dependencies:  #22219  Stopgaps: 
Description (last modified by )
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.
Change History (8)
comment:1 Changed 3 years ago by
 Description modified (diff)
comment:2 Changed 3 years ago by
 Branch set to u/rws/differentiation_of_conj_imag_real_abs_functions
comment:3 Changed 3 years ago by
 Commit set to f96fe12adb044d5ec132f2ca26c15dd09f43d9c1
 Dependencies set to pynac0.7.4
 Description modified (diff)
 Status changed from new to needs_review
comment:4 Changed 3 years ago by
 Dependencies changed from pynac0.7.4 to #22219
 Status changed from needs_review to needs_work
comment:6 Changed 3 years ago by
 Commit changed from f96fe12adb044d5ec132f2ca26c15dd09f43d9c1 to 052e3cb82cbb06a8fcaae7e5b949d8d34504b663
Branch pushed to git repo; I updated commit sha1. New commits:
052e3cb  Merge branch 'develop' into t/22209/differentiation_of_conj_imag_real_abs_functions

comment:7 Changed 2 years ago by
 Milestone changed from sage7.6 to sage8.0
 Reviewers set to Travis Scrimshaw
 Status changed from needs_review to positive_review
LGTM.
comment:8 Changed 2 years ago by
 Branch changed from u/rws/differentiation_of_conj_imag_real_abs_functions to 052e3cb82cbb06a8fcaae7e5b949d8d34504b663
 Resolution set to fixed
 Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
New commits:
22209: Differentiation of conj/imag/real/abs functions