#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:  remove `MPowerSeriesRing`, implement through `PowerSeriesRing`  | 
 
------------------------------------------------------------------------------+
Changes (by niles):

  * status:  needs_work => needs_review


Old description:

> Multivariate power series arithmetic has been requested a *lot*.
>
> == Apply: ==
>
>  1. patch from #9443
>  1. [attachment:trac_1956_multi_power_series_new_4.patch]

New description:

 Multivariate power series arithmetic has been requested a *lot*.

 == Apply: ==

  1. patch from #9443
  1. [attachment:trac_1956_multi_power_series_new_4.patch]
  1. [attachment:trac_1956_uni_multi_ps.patch]

--

Comment:

 Ok, I've attached a new patch which carries out the plan above.  After
 running doctests, it seems that there is a non-trivial body of code
 (elliptic curves, and maybe p-adics) that makes use of the syntax

 {{{
 T = PowerSeriesRing(QQ,'t',3)
 }}}

 or

 {{{
 T.<t> = PowerSeriesRing(QQ,3)
 }}}

 to construct univariate power series rings.  I will mention this and a few
 other things in a new ticket for merging univariate and multivariate power
 series rings.

 This new patch passes all doctests (with -long), and documentation builds
 cleanly, looks good.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/1956#comment:39>
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.

Reply via email to