#16203: conversion from SR.series to PowerSeries
-------------------------+-------------------------------------------------
       Reporter:  rws    |        Owner:
           Type:         |       Status:  needs_review
  defect                 |    Milestone:  sage-6.4
       Priority:  major  |   Resolution:
      Component:         |    Merged in:
  algebra                |    Reviewers:
       Keywords:         |  Work issues:
  series conversion      |       Commit:
        Authors:         |  53b2ca4e5f0c07c2c4e16d6fc6ee71f15ad29093
Report Upstream:  N/A    |     Stopgaps:
         Branch:         |
  public/16203           |
   Dependencies:         |
  #17399, #17438         |
-------------------------+-------------------------------------------------

Comment (by rws):

 Replying to [comment:11 tscrim]:
 > As currently stated in the description, this is the correct result as
 the variable for `PowerSeriesRing` is `x`, whereas we have some symbolic
 expression in `y` (so is naturally an element in the coefficient ring).
 Having mismatched variable names automatically converting over seems
 fraught with problems and could lead to subtle bugs.
 I see. So, conversion to an existing power series ring should only be
 allowed if the series expansion variable has the same name as the ring
 var. Multiple vars aren't supported by SR.series anyway.

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

Reply via email to