Can sage do complex analysis? I was unable to find documentation upon a quick web search.
For instance, I would like to define f(z)=zˉz and ask sage to compute ∂f∂ˉz, is that possible?
Of course I could treat z and ˉz as independent variables, but that is not what I'm asking.
See this discussion for some of the problems that currently arise when trying to do this with non-analytic functions.
I'm not going to read the discussion in detail, sorry. I'm not sure it's relevant. I don't see how there could be a problem with defining the z-derivative and zbar-derivative, who are simple combinations of the usual partial derivatives. So I'm simply understanding that these are not implemented in sage, oh well.
I think the point is that one would first have to know that z is not a single variable, but really to be treated as a two-variable setup in the first place, as opposed to a single (possibly complex) variable. In which case one is basically doing independent variables anyway.
http://en.wikipedia.org/wiki/Wirtinge...
I would agree that this is not implemented in Sage but I would disagree that it can be defined as a "simple combination of the usual derivatives". In particular it is necessary to consider the chain-rule. I have a prototype implementation in FriCAS (Axiom) that does this. In that context I am interested in collaboration and critical review.
http://axiom-wiki.newsynthesis.org/Sa...
From the point of view of complex analysis you might also want to look up references to polygenic functions, e.g. Kasner
Asked: 9 years ago
Seen: 1,732 times
Last updated: Mar 25 '15
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
