#4246: [with patch, needs work] bug in coercing symbolic expressions to
polynomial
rings
------------------------+---------------------------------------------------
Reporter: AlexGhitza | Owner: AlexGhitza
Type: defect | Status: assigned
Priority: major | Milestone: sage-3.1.3
Component: calculus | Resolution:
Keywords: |
------------------------+---------------------------------------------------
Changes (by mabshoff):
* cc: robertwb (added)
* summary: [with patch, positive review] bug in coercing symbolic
expressions to polynomial rings => [with patch,
needs work] bug in coercing symbolic
expressions to polynomial rings
Comment:
This patch breaks two doctests in coerce_maps.pyx:
{{{
[EMAIL PROTECTED]:/scratch/mabshoff/release-cycle/sage-3.1.3.alpha3$ ./sage -t
-long devel/sage/sage/structure/coerce_maps.pyx
sage -t -long devel/sage/sage/structure/coerce_maps.pyx
**********************************************************************
File "/scratch/mabshoff/release-
cycle/sage-3.1.3.alpha3/tmp/coerce_maps.py", line 110:
sage: mor(x^2/4+1)
Exception raised:
Traceback (most recent call last):
File "/scratch/mabshoff/release-
cycle/sage-3.1.3.alpha3/local/lib/python2.5/doctest.py", line 1228, in
__run
compileflags, 1) in test.globs
File "<doctest __main__.example_3[4]>", line 1, in <module>
mor(x**Integer(2)/Integer(4)+Integer(1))###line 110:
sage: mor(x^2/4+1)
File "map.pyx", line 133, in sage.categories.map.Map.__call__
(sage/categories/map.c:2755)
File "coerce_maps.pyx", line 146, in
sage.structure.coerce_maps.NamedConvertMap._call_
(sage/structure/coerce_maps.c:3348)
File "/scratch/mabshoff/release-
cycle/sage-3.1.3.alpha3/local/lib/python2.5/site-
packages/sage/calculus/calculus.py", line 1886, in _polynomial_
raise TypeError, "%s is not a variable of %s" %(v, R)
TypeError: x is not a variable of Univariate Polynomial Ring in t over
Rational Field
**********************************************************************
File "/scratch/mabshoff/release-
cycle/sage-3.1.3.alpha3/tmp/coerce_maps.py", line 113:
sage: mor(x^2/4+1)
Exception raised:
Traceback (most recent call last):
File "/scratch/mabshoff/release-
cycle/sage-3.1.3.alpha3/local/lib/python2.5/doctest.py", line 1228, in
__run
compileflags, 1) in test.globs
File "<doctest __main__.example_3[6]>", line 1, in <module>
mor(x**Integer(2)/Integer(4)+Integer(1))###line 113:
sage: mor(x^2/4+1)
File "map.pyx", line 133, in sage.categories.map.Map.__call__
(sage/categories/map.c:2755)
File "coerce_maps.pyx", line 146, in
sage.structure.coerce_maps.NamedConvertMap._call_
(sage/structure/coerce_maps.c:3348)
File "/scratch/mabshoff/release-
cycle/sage-3.1.3.alpha3/local/lib/python2.5/site-
packages/sage/calculus/calculus.py", line 1886, in _polynomial_
raise TypeError, "%s is not a variable of %s" %(v, R)
TypeError: x is not a variable of Power Series Ring in t over Finite
Field of size 7
**********************************************************************
}}}
Since this is coercion related I am adding RobertWB to the CC.
Cheers,
Michael
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4246#comment:3>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
