#16198: allow constant <> 1 in log(power series)
-------------------------------------+-------------------------------------
Reporter: rws | Owner:
Type: defect | Status: needs_review
Priority: minor | Milestone: sage-
Component: calculus | duplicate/invalid/wontfix
Keywords: log, function, | Resolution:
series expansion | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by rws):
* status: new => needs_review
* milestone: sage-6.4 => sage-duplicate/invalid/wontfix
Comment:
This was ill-conceived from the beginning, because only SR is a superset
of the coefficients in the Pari result (floating point and rational).
That's why Pari is questionable, even if it's convenient.
As I find it not useful to duplicate symbolics functionality in the power
series ring, the best way to get such a power series is via SR and the
newly available #16203:
{{{
sage: R.<x> = PowerSeriesRing(SR)
sage: ex=(log(2-y)).series(y,4); R(ex)
log(2) - 1/2*x - 1/8*x^2 - 1/24*x^3 + O(x^4)
sage: ex=(gamma(1-y)).series(y,3); R(ex)
1 + euler_gamma*x + (1/2*euler_gamma^2 + 1/12*pi^2)*x^2 +
O(x^3)
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/16198#comment:5>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
