#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:
--------------------------------+-------------------------------------------
Changes (by roed):
* status: needs_review => needs_info
Comment:
* making it work for infinity is great
* I'm fairly ambivalent about what happens when you add_big_oh(-1) to a
ring element. Certainly the current behavior is inconsistent and should
be changed. But I usually think about x.add_bigoh(n) as being equivalent
to x + O(p^n) (just more efficient). If that's true then both of your
K.one().add_bigoh(-1) should return O(3^-1) in the fraction field.
Another benefit of this choice is that the behavior is the same for
elements of K and K.fraction_field(), which I think is a good thing when
we can manage it. Why do you think we should raise an error when there's
a sensible answer?
* 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.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13591#comment:3>
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.
