#1956: implement multivariate truncated power series arithmetic
-------------------------------------------+--------------------------------
Reporter: was | Owner: pernici
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.6.2
Component: commutative algebra | Keywords: multivariate power
series
Author: Niles Johnson | Upstream: N/A
Reviewer: Martin Albrecht, Simon King | Merged:
Work_issues: |
-------------------------------------------+--------------------------------
Changes (by niles):
* work_issues: multivariate series on 1 generator should remain
different from a univariate series =>
Old description:
> Multivariate truncated power series arithmetic has been requested a
> *lot*.
>
> == Apply: ==
>
> 1. (unnecessary as of sage 4.6) patch from #9443
> 1. [attachment:trac_1956_multi_power_series_new_4.patch]
> 1. [attachment:trac_1956_uni_multi_ps_2.patch]
> 1. [attachment:trac_1956_multi_ps_cleanup.patch]
> 1. [attachment:trac_1956_one_variable_fix.patch] (perhaps not--see
> comments 67 and following)
New description:
Multivariate truncated power series arithmetic has been requested a *lot*.
== Apply: ==
1. (unnecessary as of sage 4.6) patch from #9443
1. [attachment:trac_1956_multi_power_series_new_4.patch]
1. [attachment:trac_1956_uni_multi_ps_2.patch]
1. [attachment:trac_1956_multi_ps_cleanup.patch]
--
Comment:
Hello all,
Here is a more refined attempt to distribute the review of this patch. If
you can give any one of the following items positive review, please do so!
thanks,
Niles
* Sage passes all doctests with this patch (buildbot gives this positive
review)
* All code is documented and doctested thoroughly; documentation builds
without error or warning
* The underlying concept of the implementation (a wrapper for certain
univariate power series over multivariate polynomials) is sound
* multi_power_series_ring.py: the code accurately does what it claims to
do
* multi_power_series_ring_element.py: the code accurately does what it
claims to do
* Integration with the rest of sage: construction and use of
PowerSeriesRings works correctly, and parallels behavior of polynomial
rings
* Performance: the multivariate power series arithmetic is fast enough
to be included in Sage
* Coding: the code is free from obvious inefficiencies in error
handling, memory management, etc.
* The items on this list constitute a complete review
For the buildbot:
Apply trac_1956_multi_power_series_new_4.patch,
trac_1956_uni_multi_ps_2.patch, trac_1956_multi_ps_cleanup.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/1956#comment:85>
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.
