#15707: coercion of power series with zero bigoh to polynomials
----------------------------+------------------------
       Reporter:  rws       |        Owner:  rws
           Type:  defect    |       Status:  new
       Priority:  major     |    Milestone:  sage-6.1
      Component:  coercion  |   Resolution:
       Keywords:            |    Merged in:
        Authors:            |    Reviewers:
Report Upstream:  N/A       |  Work issues:
         Branch:            |       Commit:
   Dependencies:            |     Stopgaps:
----------------------------+------------------------

Comment (by nbruin):

 Note that this is a conversion problem, not a coercion problem. There
 should be no coercion from `PowerSeriesRing` to `PolynomialRing` at all.
 In fact, it may even be acceptable to let ''conversion'' from PowerSeries`
 to `Polynomials` simply be truncation: conversion is allowed to just be
 best effort (this is all completely compatible with Peter's comment
 above).

--
Ticket URL: <http://trac.sagemath.org/ticket/15707#comment:4>
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/groups/opt_out.

Reply via email to