#9555: Series expansions at singularities don't work
---------------------------------+------------------------------------------
Reporter: fredrik.johansson | Owner: burcin
Type: defect | Status: new
Priority: major | Milestone:
Component: symbolics | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
---------------------------------+------------------------------------------
Comment(by jlhsage):
We should probably fix pynac/ginac to not give an error. From the
referenced ginac-devel thread, the correct response to series(x^{1/2}} at
0 is a Puiseux series and:
> The Puiseux expansion of sqrt(x) is, well, x^(1/2).
which ginac is not currently able to do, but which maxima in fact returns
correctly as x^(1/2).
Also, here's maxima on the series of x^2 at 0:
(%i1) taylor(x^2,x,0,3);
2
(%o1)/T/ x + . . .
which again looks to be correct. So far there is not much response to the
referenced thread on ginac-devel so we may have to fix this ourselves, and
we might start by understanding how maxima recognizes Puiseux conditions.
Towards that end I've started reading maxima's series.lisp code but, being
a newbie to maxima development, pointers from the maxima experts would be
very helpful.
John Hoebing
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9555#comment:4>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
