#13591: Improve padic add_bigoh
--------------------------------+-------------------------------------------
Reporter: saraedum | Owner: roed
Type: enhancement | Status: needs_info
Priority: trivial | Milestone: sage-5.5
Component: padics | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Julian Rueth | Merged in:
Dependencies: | Stopgaps:
--------------------------------+-------------------------------------------
Comment (by saraedum):
Replying to [comment:3 roed]:
> * If that's true then both of your K.one().add_bigoh(-1) should return
{{{O(3^-1)}}} in the fraction field.
Right. This makes more sense. The problem was that it returned
{{{O(3^-1)}}} in the ring but not in the fraction field — probably we
should not allow elements with negative absolute precision in the ring
(but this will be a different ticket). I'll change it accordingly.
> * I do think that ZpFM(3,20).one().add_bigoh(10) should not raise an
error. The whole point of fixed modulus elements is that they don't worry
about precision.
Ok. I'll change that. I have no strong opinion about it.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13591#comment:4>
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.
