#10271: Make big_oh notation work for any element that has degree() and
add_bigoh()
properties
-----------------------------------+----------------------------------------
Reporter: tkluck | Owner: boothby
Type: enhancement | Status: needs_work
Priority: trivial | Milestone: sage-4.7.2
Component: commutative algebra | Keywords:
Work_issues: add doctest | Upstream: N/A
Reviewer: Mariah Lenox | Author: Timo Kluck
Merged: | Dependencies:
-----------------------------------+----------------------------------------
Changes (by boothby):
* owner: malb => boothby
Old 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.
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).
The current implementation in {{{rings/big_oh.py}}} imports a large number
of types, which slows down the Sage startup. Elements should implement
their own big_oh() methods, and the function {{{O(x)}}} should simply call
{{{x.big_oh()}}}.
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10271#comment:7>
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.
