I am still working on this in FriCAS and currently have an operational
version 0.2. Although this is the Sage list, I would be glad to
continue the discussion and especially with someone willing to review
what I have developed so far in FriCAS. I think I now understand all
this a bit better than I
A related question just popped up on ask.sagemath:
http://ask.sagemath.org/question/26279/complex-analysis-compute-bar-derivative
Not exactly the same but I think it gets at the same underlying issues of
"is it a complex variable or isn't it".
--
You received this message because you are subsc
On 13 November 2014 14:47, maldun wrote:
>
> Although this has some sense in complex analysis one should be careful
> with 'deriving' the absolute value, since it results in the weak derivative
> ( http://en.wikipedia.org/wiki/Weak_derivative) , which is in a broader sense
> the derivative in the
The only clean solution for this behaviour would be a warning e.g:
"Warning: This Identity holds only almost everywhere!"
But I don't know if it's worth the effort ...
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group
>
>
> This is in some sense good, since we don't have to care about the
> derivative at zero,
> but in an other sense it is not so good, since the subdifferential ∂abs(0)
> = [0,1] is a bounded and with this definition one could come to the false
> conclusion that abs(x)
> has a pole, althoug
We had a similar problem with the complex derivative of logarithms in
combination with the complex conjugate, where I also the
use of Wirtinger Operators would solve the problem:
https://groups.google.com/forum/?hl=en#!topic/sage-support/bEMPMEYeZKU
Having them in Sage would be a great achieveme