#17659: make symbolic series subclass of Expression
-------------------------+-------------------------------------------------
Reporter: rws | Owner:
Type: | Status: needs_review
enhancement | Milestone: sage-6.5
Priority: major | Resolution:
Component: | Merged in:
symbolics | Reviewers:
Keywords: | Work issues:
Authors: Ralf | Commit:
Stephan | a4d2084a82b5f9e2ec3d43472181fccf42a19251
Report Upstream: N/A | Stopgaps:
Branch: |
u/rws/17659 |
Dependencies: |
-------------------------+-------------------------------------------------
Comment (by nbruin):
I have nothing invested in how symbolics and series interact, but I see
some immediate problems that would arise from subclassing Expression for a
Series type:
- when does a !SymbolicSeries expression get created? The problem is that
the !SymbolicRing by itself is a rather untyped environment, so how do you
know that an object needs to be made in this specialized class
- How do !SymbolicSeries in different variables interact, e.g.:
{{{
F = (1/(x+1))*y+sin(x)*y^2+O(y^3)
G = (y/(y^2-2)*x + cos(y)*x^2 +O(x^3)
F+G
}}}
Is the result a series? If so, in which variable(s)? One solution would be
a SymbolicSeriesRing as a parent, which declares in what variables the
series are. I suspect this would be nearly useless for whatever problem
the current design tries to solve, though.
--
Ticket URL: <http://trac.sagemath.org/ticket/17659#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 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.
