#16276: fixes PolynomialElement.mod()
-------------------------------------+-------------------------------------
Reporter: Bouillaguet | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: basic arithmetic | Resolution:
Keywords: | Merged in:
Authors: Charles | Reviewers:
Bouillaguet | Work issues:
Report Upstream: N/A | Commit:
Branch: | 0061d17ca5e04465c1189d62aa032f98a0c120cf
u/Bouillaguet/ticket/16276 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by Bouillaguet):
Hi pbruin,
I made a case for {{{quo_rem()}}} implementing **euclidean division** in
https://groups.google.com/d/msg/sage-devel/UVrx5CG4qA0/WUz2RItJtF8J Nobody
complained (and John approved).
What you ask for can be obtained (as you suggested) by other means.
Note that depending on the ring, and on the implementation, quo_rem does
not do the same thing. For instance, the NTL implementation of ZZ[X] does
what I ask for, but the FLINT implementation of ZZ[X] does what you
requested. This situation calls for clarification.
Note that {{{src/sage/structure/element.pyx}}} asks that {{{quo_rem()}}}
and {{{mod()}}} implement euclidean division, or fail if the result is not
mathematically defined... I think that this is fine (if anything, it may
help students realize that the result is not defined !).
--
Ticket URL: <http://trac.sagemath.org/ticket/16276#comment:20>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
