#19969: asymptotic expansion generator: singularity analysis (log-type)
-------------------------------------+-------------------------------------
Reporter: behackl | Owner:
Type: enhancement | Status: positive_review
Priority: major | Milestone: sage-7.1
Component: asymptotic | Resolution:
expansions | Merged in:
Keywords: | Reviewers: Clemens Heuberger,
Authors: Benjamin Hackl, | Daniel Krenn
Clemens Heuberger | Work issues:
Report Upstream: N/A | Commit:
Branch: u/dkrenn/asy/SA- | b540598bc12c3d4540b0d5114b2e399dff502157
generator-log | Stopgaps:
Dependencies: #19532, #19993, |
#20043 |
-------------------------------------+-------------------------------------
Changes (by dkrenn):
* status: needs_review => positive_review
Comment:
Replying to [comment:23 cheuberg]:
> Replying to [comment:21 dkrenn]:
> > which is '''not incorrect''', but also seems not to be consistent to
the above. Is there a particular reason for this?
>
> It was an easy option to implement the transfer theorem:
`O((1-z)^(-alpha) log(1/(1-z))^beta )` -> `O(n^(alpha-1) log^beta(n))`.
>
> Having this for `precision=0` allows us to reuse the same logic for
handling the location of the singularity, for constructing the ring etc.
It even does not require us the write any specific code, apart from the
one position where we explicitly do not `raise NotImplementedOZero`.
>
> Finally, setting `precision=0` calls for an `O`-term to be returned, so
returning the `O`-term which arises naturally seems to be a good option.
>
> In some sense, returning `NotImplementedOZero` at all is perhaps some
kind of hack, but the alternative would be to return something like
`O(n^(alpha-1-precision))` which does not seem to be that attractive ---
and would cause pain later on in #19944.
Ok, thank you for your explanation.
--
Ticket URL: <http://trac.sagemath.org/ticket/19969#comment:24>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
