I would have expected that with Laurent series but
they don't do the expected, either:
sage: R.=LaurentSeriesRing(SR)
sage: f = 1 + O(x^2)
sage: f.derivative(1)
O(x^1)
sage: f.derivative(2)
0
sage: f.derivative(3)
0
--
You received this message because you are subscribed to the Google Groups
"s
We need documentation on symbolic simplification...
sage: sin(x/(x^2 + x)).normalize()
sin(1/(x + 1))
sage: factor(cos(x)^3 - 3*cos(x)^2 - cos(x) + 6)
(cos(x)^2 - cos(x) - 3)*(cos(x) - 2)
sage: factor(sqrt(cos(x)^3 - 3*cos(x)^2 - cos(x) + 6))
sqrt(cos(x)^3 - 3*cos(x)^2 - cos(x) + 6)
sage: from s
Thanks! I did not expect a particular simplification of the function; the
problem is that the given simplification caused problems. This function
appeared as a factor in the computation of the curvature of some spatial
curve.
El domingo, 15 de enero de 2017, 15:50:06 (UTC+1), Michael Orlitzky
When differentiating elements of power series rings, I do not get the
expected result. Below is a minimal example:
R. = PowerSeriesRing(SR)
f = 1 + O(x^2)
f.derivative(1)
f.derivative(2)
f.derivative(3)
The first derivative gives `O(x^1)` as expected and similarly the second
gives `O(x^0)`. How
On 01/14/2017 03:42 AM, Enrique Artal wrote:
> This is true. The problem is that if not used, simple expressions keep to
> be too much complicated. Is there any compromise?
>
There is simplify_full() which should be safe for all expressions, and
simplify_real() that assumes everything is real. T
