Differentiation of conj/imag/real/abs functions

[rwst]

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.

pynac/pynac#45

Depends on #22219

Component: symbolics

Author: Ralf Stephan

Branch/Commit: 052e3cb

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/22209

[rwst]

Branch: u/rws/differentiation_of_conj_imag_real_abs_functions

[rwst]

Dependencies: pynac-0.7.4

[rwst]

Author: Ralf Stephan

[rwst]

Commit: f96fe12

[rwst]

New commits:

f96fe12

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

[rwst]

Changed dependencies from pynac-0.7.4 to #22219

[rwst]

comment:5

Trigger patchbot.

[sagetrac-git]

Changed commit from f96fe12 to 052e3cb

[sagetrac-git]

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

[tscrim]

Reviewer: Travis Scrimshaw

[tscrim]

comment:7

LGTM.

[vbraun]

Changed branch from u/rws/differentiation_of_conj_imag_real_abs_functions to 052e3cb