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.

Change History (1)

Changed 12 years ago by tkluck

patch for sage.rings.big_oh

Note: See TracTickets for help on using tickets.