#14685: error in the computing of the approximate order in LazyPowerSeries
------------------------------------------------------------+---------------
Reporter: MatthieuDien | Owner:
sage-combinat
Type: defect | Status:
new
Priority: major | Milestone:
sage-5.10
Component: combinatorics | Resolution:
Keywords: LazyPowerSeries aorder approximate order | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
------------------------------------------------------------+---------------
Comment (by nthiery):
Hi!
Thanks for working on the lazy power series code; it needs some love.
Just one thing to be careful with; I haven't looked in detail in your
code, so maybe it takes care of this already:
The method might be passed as argument a lazy power series implemented by
a function f(n) which returns always 0; or some non zero coefficient but
only for n very large. In such a case we don't want to run forever: this
is about computing an approximation of the order, and often, knowing that
the order is at least 1 or at least 2 is sufficient for the purpose
(initializing the recurrence for computing series defined recursively).
Of course, there are case where we do want the exact order, even at the
price of running for a long time.
Its possible that the interface needs a bit of cleaning up so that the
distinction between approximate order and order would be well exposed (and
by the way maybe this should really be called valuation rather than
order).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14685#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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
