#10859: Add is_series() method and others to symbolic expressions
-----------------------------------+----------------------------------------
Reporter: vbraun | Owner: burcin
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.7
Component: symbolics | Keywords:
Work_issues: | Upstream: N/A
Reviewer: Karl-Dieter Crisman | Author: Volker Braun
Merged: | Dependencies:
-----------------------------------+----------------------------------------
Comment(by vbraun):
1) GiNac has a special operand for series, and `is_series()` returns true
if and only if the expression is a series in this sense. The output will
include an `Order()` term. Maxima does not have an order term as far as I
know:
{{{
sage: maxima(sin(x)).taylor(maxima(x), 0, 10)
x-x^3/6+x^5/120-x^7/5040+x^9/362880
}}}
so converting maxima series to the symbolic ring necessarily creates
ordinary polynomials.
2) Laurent series are included:
{{{
sage: (cos(x)/x).series(x,10)
1*x^(-1) + (-1/2)*x + 1/24*x^3 + (-1/720)*x^5 + 1/40320*x^7 +
(-1/3628800)*x^9 + Order(x^10)
sage: _.is_series()
True
}}}
3) I think removing the underscores from other `is_something()` is in the
spirit of this ticket of exposing more introspection capabilities to the
user. I don't think there is any argument to be made that the user must
not be able to access these functions. Rather, it adds obvious
functionality to the public API.
I'll fix some english language typos and upload a revised version.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10859#comment:3>
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.
