#8800: Doctest coverage of categories
--------------------------+-------------------------------------------------
Reporter: SimonKing | Owner: Simon King
Type: defect | Status: new
Priority: major | Milestone: sage-4.4.2
Component: categories | Keywords: categories doctests
Author: Simon King | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
--------------------------+-------------------------------------------------
Comment(by SimonKing):
Replying to [comment:14 SimonKing]:
> Note that there is an additional problem, namely that there is no
coercion from a p-adic field of high precision to a p-adic field of lower
precision. I hope sage-devel will answer whether this issue is worth a
separate ticket.
Sage-devel (more precisely Robert Bradshaw) wrote that the meaning of
"precision" is different for completion at Infinity and at finite primes,
and it makes sense that sometimes the precision is non-decreasing and
sometimes non-increasing under coercion.
So, I guess I have to modify the merge method of the Completion funtor,
rather than the _coerce_map_from method of p-adic rings.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8800#comment:17>
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.
