#11593: `quo_rem` for divisor of leading unit coefficient
----------------------------------------------+-----------------------------
Reporter: klee | Owner: AlexGhitza
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-5.6
Component: basic arithmetic | Resolution:
Keywords: fix and doctest exceptions | Work issues:
Report Upstream: N/A | Reviewers: Frédéric
Chapoton
Authors: Kwankyu Lee | Merged in:
Dependencies: #12612 | Stopgaps:
----------------------------------------------+-----------------------------
Changes (by jdemeyer):
* status: positive_review => needs_work
Comment:
With #8992, I get
{{{
**********************************************************************
File "/release/merger/sage-5.6.beta0/devel/sage-
main/sage/rings/polynomial/polynomial_quotient_ring.py", line 407:
sage: Q3(Q1.gen())
Exception raised:
Traceback (most recent call last):
File "/release/merger/sage-5.6.beta0/local/bin/ncadoctest.py", line
1231, in run_one_test
self.run_one_example(test, example, filename, compileflags)
File "/release/merger/sage-5.6.beta0/local/bin/sagedoctest.py", line
38, in run_one_example
OrigDocTestRunner.run_one_example(self, test, example, filename,
compileflags)
File "/release/merger/sage-5.6.beta0/local/bin/ncadoctest.py", line
1172, in run_one_example
compileflags, 1) in test.globs
File "<doctest __main__.example_5[28]>", line 1, in <module>
Q3(Q1.gen())###line 407:
sage: Q3(Q1.gen())
File "parent.pyx", line 800, in
sage.structure.parent.Parent.__call__ (sage/structure/parent.c:7268)
File "parent.pyx", line 2153, in
sage.structure.parent.Parent.convert_map_from
(sage/structure/parent.c:15082)
File "parent.pyx", line 2165, in
sage.structure.parent.Parent.discover_convert_map_from
(sage/structure/parent.c:15301)
File "parent.pyx", line 1903, in
sage.structure.parent.Parent.coerce_map_from
(sage/structure/parent.c:14051)
File "parent.pyx", line 1974, in
sage.structure.parent.Parent.coerce_map_from
(sage/structure/parent.c:13804)
File "parent.pyx", line 2068, in
sage.structure.parent.Parent.discover_coerce_map_from
(sage/structure/parent.c:14231)
File "parent_old.pyx", line 507, in
sage.structure.parent_old.Parent._coerce_map_from_
(sage/structure/parent_old.c:6428)
File "/release/merger/sage-5.6.beta0/local/lib/python/site-
packages/sage/rings/polynomial/polynomial_quotient_ring.py", line 485, in
_coerce_map_from_
if not self.__polynomial.divides(R.modulus()):
File "element.pyx", line 2027, in
sage.structure.element.CommutativeRingElement.divides
(sage/structure/element.c:16725)
File "element.pyx", line 2021, in
sage.structure.element.CommutativeRingElement.divides
(sage/structure/element.c:16636)
File "polynomial_element.pyx", line 1724, in
sage.rings.polynomial.polynomial_element.Polynomial.__mod__
(sage/rings/polynomial/polynomial_element.c:16751)
_, R = self.quo_rem(other)
File "element.pyx", line 3223, in
sage.structure.element.NamedBinopMethod.__call__
(sage/structure/element.c:24763)
File "polynomial_element.pyx", line 6478, in
sage.rings.polynomial.polynomial_element.Polynomial_generic_dense.quo_rem
(sage/rings/polynomial/polynomial_element.c:47106)
raise ArithmeticError("Nonunit leading coefficient")
ArithmeticError: Nonunit leading coefficient
**********************************************************************
}}}
I don't know whether the fault lies with #8992 or with #11593.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11593#comment:34>
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.
