Dear All,
On Wed, 06 Nov 2013 11:52:02 +0000, "Vladimir V. Kisil" <kisilv@maths.leeds.ac.uk> said: VK> * (minor) presently GiNaC does not allow diff() for anything VK> but symbols and z.conjugate() is not a symbol. Shall we allow VK> such derivatives?
Considering this opportunity, the most straightforward solution would be to add more diff() methods, which will allow cojugate(GiNaC::symbol) squeeze through them. However, there is another proposition. I can derive new class GiNaC::complexsymbol out of GiNaC::symbol. GiNaC::complexsymbol shall have a member-pointer to its conjugated complexsymbol. Constructor will create such complexsymbols in conjugated pairs with cross-linked pointers. Conjugate_function will act on GiNaC::complexsymbol by replacing symbol with its conjugated from the pointer. Then diff() of GiNaC::complexsymbol by its conjugated will be 0 out of the box. Does this look reasonable? Best wishes, Vladimir -- Vladimir V. Kisil email: kisilv@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