[GiNaC-devel] Derivative of conjugated is conjugated of derivative.

[Vladimir V. Kisil]

	Dear Richard,

>>>>> On Tue, 05 Nov 2013 09:02:12 +0100, "Richard B. Kreckel" <kreckel at ginac.de> said:

    RK> Hi Vladimir, On 11/05/2013 08:11 AM, Vladimir V. Kisil wrote:
    >> Further to my previous patch on functions derivatives, this small
    >> patch adds the rule
    >> 
    >> conjugate(f)'=conjugate(f')

    RK> This patch is inconsistent with the rest of
    RK> inifcns_trans.cpp. Please search for "branch cut" inside that
    RK> file.

    RK> Now, subs(log(conjugate(x))-conjugate(log(x)), x==-1) evaluates
    RK> to 2*I*Pi. With your patch, it would evaluate to 0.

    I could not see how this expression is connected to derivative. It
  does evaluates to (2*I)*Pi with the proposed patch. 

  Best wishes,
  Vladimir
-- 
Vladimir V. Kisil     email: kisilv at maths.leeds.ac.uk
                        www: http://www.maths.leeds.ac.uk/~kisilv/
Book: Geometry of Mobius Transformations
http://www.worldscientific.com/worldscibooks/10.1142/p835