#16276: fixes PolynomialElement.mod()
-------------------------------------+-------------------------------------
Reporter: Bouillaguet | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: basic arithmetic | Resolution:
Keywords: | Merged in:
Authors: Charles | Reviewers:
Bouillaguet | Work issues:
Report Upstream: N/A | Commit:
Branch: | 07221cbd32a822e7d4ba40762bcf843a10a6c715
u/Bouillaguet/ticket/16276 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by cremona):
No, I don't think that would be helpful. We agreed (I think) that for the
reduction of {{{X^100 mod 2*X+1}}} in ZZ[X] there was no better result
than leaving it as {{{X^100}}}, so would we really want to raise an error
when someone types
{{{
sage: x = polygen(ZZ)
sage: (x^100) % (2*x+1)
}}}
instead of just returning
{{{
x^100
}}}
as happens now? Even this
{{{
sage: x = polygen(QQ)
sage: (x^100) % (2*x+1)
1/1267650600228229401496703205376
}}}
while being quite valid mathematically, is slightly surprising...
--
Ticket URL: <http://trac.sagemath.org/ticket/16276#comment:7>
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.
