#4106: [with easy patch, positive review] error coercing symbolic variable into
polynomial ring modulo 4 (but not mod 3)
---------------------+------------------------------------------------------
Reporter: was | Owner: tbd
Type: defect | Status: new
Priority: minor | Milestone: sage-3.2
Component: algebra | Resolution:
Keywords: |
---------------------+------------------------------------------------------
Changes (by was):
* summary: [with easy patch, needs review] error coercing symbolic
variable into polynomial ring modulo 4 (but not
mod 3) => [with easy patch, positive review]
error coercing symbolic variable into
polynomial ring modulo 4 (but not mod 3)
Comment:
Positive review.
I did notice this unfortunate property of the _polynomial_ function that
is used
to implement this patch, namely it does something dumb when given x+y as
input:
{{{
sage: var('x')
x
sage: var('y')
y
sage: S = PolynomialRing(Integers(4),1,'x')
sage: S(x+y)
2*x
sage: (x+y)._polynomial_(S)
2*x
}}}
I think in this case it should raise a TypeError.
This is my fault, since I implemented _polynomial_... of course.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4106#comment:2>
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
-~----------~----~----~----~------~----~------~--~---
