#1956: implement multivariate power series arithmetic
-------------------------------------------+--------------------------------
Reporter: was | Owner: malb
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.6
Component: commutative algebra | Keywords: multivariate power
series
Author: Niles Johnson | Upstream: N/A
Reviewer: Martin Albrecht, Simon King | Merged:
Work_issues: |
-------------------------------------------+--------------------------------
Comment(by mhansen):
Replying to [comment:32 niles]:
> I agree, but I think that issue is beyond the scope of this ticket.
Implementing multivariate power series arithmetic is already long and
complex enough, without having to also worry about integrating them with
the univariate power series code (which is heavily specialized for the
single-variable case). I have spent time thinking about how to do this,
and I think it will be a subtle problem to solve; there is a sizable body
of code that depends on `PowerSeriesRing` as it stands, and one will have
to be careful about extending its functionality without breaking any of
the current uses. So I suggest that we merge this ticket and then open a
new ticket for ''Unify construction of uni- and multi-variate power series
rings, as has been done for polynomial rings''. It would probably be good
if the other people involved in this ticket could comment on this last
point
I think you may have misunderstood what I meant. In the patch, you've made
a function "MPowerSeriesRing" which is basically a copy of the function
"PowerSeriesRing" defined in power_series_ring.py. It is just responsible
for caching and returning the correct type. There is an assert statement
in PowerSeriesRing that makes sure that you're only trying to make a
univariate power series ring. This function should just be changed to
return the appropriate thing in the multivariate case. This is maybe like
10 lines of code or so (and changing doctests).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/1956#comment:34>
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.
