Opened 12 years ago
Last modified 8 years ago
#10271 needs_work enhancement
Make big_oh notation work for any element that has degree() and add_bigoh() properties — at Initial Version
| Reported by: | tkluck | Owned by: | malb |
|---|---|---|---|
| Priority: | trivial | Milestone: | sage-6.4 |
| Component: | commutative algebra | Keywords: | sd32 |
| Cc: | Merged in: | ||
| Authors: | Timo Kluck | Reviewers: | |
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | Stopgaps: |
Status badges
Description
On can use the big-oh notation
O(xn)
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.
Note: See
TracTickets for help on using
tickets.
patch for sage.rings.big_oh