#10271: Make big_oh notation work for any element that has degree() and
add_bigoh()
properties
-----------------------------------+----------------------------------------
Reporter: tkluck | Owner: malb
Type: enhancement | Status: new
Priority: trivial | Milestone:
Component: commutative algebra | Keywords:
Author: Timo Kluck | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------------+----------------------------------------
On can use the big-oh notation
O(x^n)
when x is a generator of a power series or a laurent series. It is
convenient to also be able to use this notation when the parent of x is
another ring (for example, a subclass of a power series ring).
For this, we only need x to implement x.degree() and x.add_bigoh(). I made
a patch for sage.rings.big_oh that tests for this and returns
x.add_bigoh(x.degree()) when possible.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10271>
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.
