From kisilv at maths.leeds.ac.uk Mon Feb 2 10:12:05 2015 From: kisilv at maths.leeds.ac.uk (Vladimir V. Kisil) Date: Mon, 02 Feb 2015 09:12:05 +0000 Subject: [GiNaC-devel] Implicit derivation of functions (re-submission) In-Reply-To: <20272.1422727662@math-pc2069.leeds.ac.uk> References: <21759.1414578327@desktop.lan> <54A44347.4000606@in.terlu.de> <8645.1420211981@math-pc2069.leeds.ac.uk> <54A916A0.40707@in.terlu.de> <20272.1422727662@math-pc2069.leeds.ac.uk> Message-ID: <9542.1422868325@math-pc2069.leeds.ac.uk> Dear All, A small improvement of the previous patch: it uses function::current_serial, which I did not noticed before. 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 >>>>> On Sat, 31 Jan 2015 18:07:42 +0000, "Vladimir V. Kisil" said: VVK> Dear All, I have modified the patch for derivatives of VVK> functions along the line Richard suggested: VVK> * The method renamed to explicit derivative; VVK> * Derivatives of Order() (and conjugate(), real_part(), VVK> imag_part()) are handled through it; VVK> * Exams are added to the check suit; * Tutorial is updated. -------------- next part -------------- A non-text attachment was scrubbed... Name: 0002-Explicit-derivation-of-functions.patch Type: text/x-diff Size: 15999 bytes Desc: Patch URL: From kisilv at maths.leeds.ac.uk Sat Feb 7 11:36:16 2015 From: kisilv at maths.leeds.ac.uk (Vladimir V. Kisil) Date: Sat, 07 Feb 2015 10:36:16 +0000 Subject: [GiNaC-devel] Micro patch in tutorial Message-ID: <13318.1423305376@math-pc2069.leeds.ac.uk> Dear All, Another micro patch for tutorial. The index entry for clifford::get_metric() did not work, change it to get_metric(). 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 -------------- next part -------------- A non-text attachment was scrubbed... Name: 0003-Fixing-index-in-tutorial.patch Type: text/x-diff Size: 1032 bytes Desc: patch URL: From git at ginac.de Sun Feb 8 21:00:00 2015 From: git at ginac.de (Richard B. Kreckel) Date: Sun, 8 Feb 2015 21:00:00 +0100 (CET) Subject: [GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-443-g1994570 Message-ID: <20150208200003.A596222091F@cebix.net> This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via 1994570795185f89cc848843cc53664740d20fa0 (commit) via aa2485821e68ea5f627d5753b41245a4cbd62fe3 (commit) from fb9800befac02abddc754d051501ec446ae2b9bf (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 1994570795185f89cc848843cc53664740d20fa0 Author: Vladimir V. Kisil Date: Sun Feb 8 20:53:55 2015 +0100 Fixing index in tutorial. The index entry for clifford::get_metric() did not work, change it to get_metric(). Signed-off-by: Vladimir V. Kisil commit aa2485821e68ea5f627d5753b41245a4cbd62fe3 Author: Vladimir V. Kisil Date: Sun Feb 8 20:50:51 2015 +0100 Explicit derivation of functions. Some function cannot be cleanly differentiated through the chain rule. For example, it is natural to define derivative of the absolute value as (abs(f))'=(f'*f.conjugate()+f*f'.conjugate())/2/abs(f) This patch adds a possibility to define derivatives of functions in this way. In particular the derivative of abs(), Order(), real_part(), imag_part() and conjugate() are defined. For example, conjugate of a derivative with respect of a real symbol If x is real then U.diff(x)-I*V.diff(x) represents both conjugate(U+I*V).diff(x) and conjugate((U+I*V).diff(x)) Thus in this patch we use the rule conjugate(f)'=conjugate(f') for a derivative with respect to the real symbol. Signed-off-by: Vladimir V. Kisil ----------------------------------------------------------------------- Summary of changes: check/exam_inifcns.cpp | 66 +++++++++++++++++++++++++++++++++++++++++++++++++ doc/tutorial/ginac.texi | 28 ++++++++++++++++++--- ginac/function.cppy | 33 +++++++++++++++++++++---- ginac/function.hppy | 6 +++++ ginac/function.py | 2 +- ginac/inifcns.cpp | 54 +++++++++++++++++++++++++++++++++++++++- 6 files changed, 178 insertions(+), 11 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations From kreckel at ginac.de Sun Feb 15 23:12:16 2015 From: kreckel at ginac.de (Richard B. Kreckel) Date: Sun, 15 Feb 2015 23:12:16 +0100 Subject: [GiNaC-devel] test Message-ID: <54E119C0.8070100@ginac.de> please ignore From mvala at saske.sk Thu Feb 26 22:37:15 2015 From: mvala at saske.sk (Martin Vala) Date: Thu, 26 Feb 2015 22:37:15 +0100 Subject: [GiNaC-devel] compile_ex with HAVE_LIBDL with cmake build system Message-ID: <54EF920B.1000405@saske.sk> Dear ginac dev, i would like to use function compile_ex and it is not possible to set using cmake build system. I added some cmake configuration and all changes are in tarball http://alice.saske.sk/mvala/ginac/ginac-1.6.3.tar.bz2 Can you add this to 1.6.4? It would help me a lot. Thanks Ciao Martin From kisilv at maths.leeds.ac.uk Sat Feb 28 21:59:36 2015 From: kisilv at maths.leeds.ac.uk (Vladimir V. Kisil) Date: Sat, 28 Feb 2015 20:59:36 +0000 Subject: [GiNaC-devel] Revised patch: Power transformation for real base and positive exponent Message-ID: <14170.1425157176@math-pc2069.leeds.ac.uk> Dear All, I am attaching the revised patch to power::expand(), which make the transformation: (x*p)^c --> x^c * p^c, if p>0 and c is real This seems to be helpful in many cases. A corresponding check is added as well. Best wishes, Vladimir -- Vladimir V. Kisil http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://goo.gl/EaG2Vu Software: Geometry of cycles http://moebinv.sourceforge.net/ -------------- next part -------------- A non-text attachment was scrubbed... Name: 0001-Power-transformation-for-real-base-and-positive-expo.patch Type: text/x-diff Size: 4142 bytes Desc: Patch URL: -------------- next part --------------