From 4c531d06b4573cd5d19ae895c94571da4099e28a Mon Sep 17 00:00:00 2001 From: "Vladimir V. Kisil" Date: Tue, 5 Nov 2013 07:13:47 +0000 Subject: [PATCH 3/3] Derivative of conjugated is conjugated of derivative. This small patch adds the rule conjugate(f)'=conjugate(f') to the GiNaC. Signed-off-by: Vladimir V. Kisil --- ginac/inifcns.cpp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ginac/inifcns.cpp b/ginac/inifcns.cpp index eb1feb5..52f1f80 100644 --- a/ginac/inifcns.cpp +++ b/ginac/inifcns.cpp @@ -66,6 +66,11 @@ static ex conjugate_conjugate(const ex & arg) return arg; } +static ex conjugate_impl_derivative(const ex & arg, const symbol & s) +{ + return conjugate(arg.diff(s)); +} + static ex conjugate_real_part(const ex & arg) { return arg.real_part(); @@ -115,6 +120,7 @@ static bool conjugate_info(const ex & arg, unsigned inf) REGISTER_FUNCTION(conjugate_function, eval_func(conjugate_eval). evalf_func(conjugate_evalf). + impl_derivative_func(conjugate_impl_derivative). info_func(conjugate_info). print_func(conjugate_print_latex). conjugate_func(conjugate_conjugate). -- 1.8.4.rc3