#10271: Make big_oh notation work for any element that has degree() and
add_bigoh()
properties
-----------------------------------+----------------------------------------
Reporter: tkluck | Owner: malb
Type: enhancement | Status: needs_review
Priority: trivial | Milestone:
Component: commutative algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author: Timo Kluck
Merged: | Dependencies:
-----------------------------------+----------------------------------------
Description changed by mariah:
Old description:
> 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.
New description:
One 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#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.
