#6161: Polynomial rings have no coercion map to themselves
---------------------------------+------------------------------------------
Reporter: SimonKing | Owner: malb
Type: defect | Status: new
Priority: blocker | Milestone: sage-4.0.1
Component: commutative algebra | Keywords: coercion polynomial
---------------------------------+------------------------------------------
The following happens with the 'official' Sage 4.0 on sage.math and on at
least one other x_86_64 machine (built from sources and in addition with
the singular-3-1-0-spkg). It also occurs at least with sage 3.4.2.
{{{
sage: R.<x>=QQ[]
sage: R._has_coerce_map_from(R)
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
/home/SimonKing/.sage/temp/sage.math.washington.edu/2444/_home_SimonKing__sage_init_sage_0.py
in <module>()
TypeError: 'dict' object is not callable
sage: R.<x,y>=QQ[]
sage: R._has_coerce_map_from(R)
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
/home/SimonKing/.sage/temp/sage.math.washington.edu/2444/_home_SimonKing__sage_init_sage_0.py
in <module>()
TypeError: 'dict' object is not callable
}}}
So, both uni- and multivariate polynomial rings do not believe that they
have a coercion to themselves. Or: Coercion of polynomial rings is
seriously broken.
I really wonder why this does not break hundreds of doc tests. I hope it
is ok to make this a blocker.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6161>
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
-~----------~----~----~----~------~----~------~--~---
