#6161: Polynomial rings have no coercion map to themselves
---------------------------------+------------------------------------------
Reporter: SimonKing | Owner: malb
Type: defect | Status: closed
Priority: blocker | Milestone: sage-duplicate/invalid/wontfix
Component: commutative algebra | Resolution: invalid
Keywords: coercion polynomial |
---------------------------------+------------------------------------------
Changes (by mhansen):
* status: new => closed
* resolution: => invalid
* milestone: sage-4.0.1 => sage-duplicate/invalid/wontfix
Comment:
Simon,
You're using _has_coerce_map_from incorrectly. The error you get is be
cause it is actually a dictionary and not an function. See:
{{{
sage: R.<x,y> = QQ[]
sage: R.coerce_map_from(R)
Identity endomorphism of Multivariate Polynomial Ring in x, y over
Rational Field
sage: R.<x> = QQ[]
sage: R.coerce_map_from(R)
Identity endomorphism of Univariate Polynomial Ring in x over Rational
Field
}}}
I'm going to close this an invalid. A more appropriate ticket should be
opened if there is a failure you're trying to fix.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6161#comment:1>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
