#15191: Add tests in the category of euclidean domains
-------------------------------------+-------------------------------------
Reporter: saraedum | Owner:
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-6.3
Component: categories | Resolution:
Keywords: sd59 | Merged in:
Authors: Julian Rueth | Reviewers: Peter Bruin, Travis
Report Upstream: N/A | Scrimshaw
Branch: | Work issues:
public/ticket/euclidean_domains_tests-15191| Commit:
Dependencies: #14482, #15192 | ce64f7123ff4cc6bc7f5bf91cd670c343f0aa51c
| Stopgaps:
-------------------------------------+-------------------------------------
Changes (by saraedum):
* status: needs_review => needs_work
Comment:
Like many inexact rings, the p-adics have zerodivisors. Not in theory of
course, but in practice. That's why I put the continue there if a or a*b
are zero. I had put a remark in the commit message but not in the code
(which was probably not very smart).
The check you put there is valid for exact rings however. As you say it
should probably not be in the category of euclidean domains. Would you
mind moving this to a different ticket?
--
Ticket URL: <http://trac.sagemath.org/ticket/15191#comment:14>
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.
