#8992: Coercion of univariate quotient polynomial rings
------------------------------------------------------+---------------------
Reporter: SimonKing | Owner:
robertwb
Type: defect | Status:
needs_work
Priority: major | Milestone:
sage-5.0
Component: coercion | Keywords:
coercion quotient ring
Work_issues: rewrite, make polynomial division work | Upstream: N/A
Reviewer: PatchBot | Author: Simon
King
Merged: | Dependencies:
------------------------------------------------------+---------------------
Changes (by SimonKing):
* work_issues: rewrite => rewrite, make polynomial division work
Comment:
Currently, I can not produce patch that would cover all examples from this
ticket. The reason is another bug:
{{{
sage: P.<y> = QQ['x'][]
sage: y.divides(y)
---------------------------------------------------------------------------
AttributeError Traceback (most recent call
last)
/home/simon/SAGE/sage-5.0.beta7/<ipython console> in <module>()
/home/simon/SAGE/sage-5.0.beta7/local/lib/python2.7/site-
packages/sage/structure/element.so in
sage.structure.element.CommutativeRingElement.divides
(sage/structure/element.c:14887)()
/home/simon/SAGE/sage-5.0.beta7/local/lib/python2.7/site-
packages/sage/rings/polynomial/polynomial_element.so in
sage.rings.polynomial.polynomial_element.Polynomial.__mod__
(sage/rings/polynomial/polynomial_element.c:15562)()
/home/simon/SAGE/sage-5.0.beta7/local/lib/python2.7/site-
packages/sage/structure/element.so in
sage.structure.element.Element.__getattr__
(sage/structure/element.c:2919)()
/home/simon/SAGE/sage-5.0.beta7/local/lib/python2.7/site-
packages/sage/structure/parent.so in
sage.structure.parent.getattr_from_other_class
(sage/structure/parent.c:3302)()
AttributeError:
'sage.rings.polynomial.polynomial_element.Polynomial_generic_dense' object
has no attribute 'quo_rem'
}}}
That bug also exists in sage-4.6.2, but apparently it has not been present
when I wrote the old patch.
Anyway, I think that bug could be fixed here, I see no need to open yet
another ticket.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8992#comment:8>
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 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.
