#15345: Laurent polynomial rings don't preserve coercion
-------------------------------------+-------------------------------------
Reporter: darij | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: algebra | Resolution:
Keywords: laurent | Merged in:
polynomials, polynomials, | Reviewers:
coercion, categories | Work issues: add doctests
Authors: Frédéric | Commit:
Chapoton, David Roe | 9cf030d93c04738161fdae4aec6914371a63f4b2
Report Upstream: N/A | Stopgaps:
Branch: |
u/roed/ticket/15345 |
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'Fr\xe9d\xe9ric Chapoton, David Roe', 'oldvalue':
u'Fr\xe9d\xe9ric Chapoton'}):
* status: needs_work => needs_review
* commit: 6d4916c33c0dc3c96f34740ce511b750333fa781 =>
9cf030d93c04738161fdae4aec6914371a63f4b2
* author: Frédéric Chapoton => Frédéric Chapoton, David Roe
Comment:
Replying to [comment:16 tscrim]:
> Replying to [comment:15 chapoton]:
> > Maybe one could also ensure that the fraction field of a Laurent
Polynomial ring is just the fraction field of its associated polynomial
ring ?
>
> I like this idea as the usual polynomial rings are much better behaved
as a fraction field compared to their Laurent counterparts (even with
#11726). However I think we should ask on sage-devel if everyone else
agrees with doing this as things like `numerator` won't return Laurent
polynomials.
I like it better too. Asking on sage-devel might be a good plan though.
I've made a branch that does this, and fixes the bug with `1/x` observed
above.
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=9cf030d93c04738161fdae4aec6914371a63f4b2
9cf030d]||{{{Use fraction field of polynomial ring for fraction field of
Laurent polynomial ring}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/15345#comment:18>
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.
