#20053: Singularity analysis: allow singular expansions as input
-------------------------------------+-------------------------------------
Reporter: cheuberg | Owner:
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-7.1
Component: asymptotic | Resolution:
expansions | Merged in:
Keywords: singularity | Reviewers:
analysis | Work issues:
Authors: Clemens Heuberger | Commit:
Report Upstream: N/A | 7f8c745479c0a5fd7372f5bd9c6c05c5a644f648
Branch: u/cheuberg/asy | Stopgaps:
/allow-singular-expansion |
Dependencies: #20056 |
-------------------------------------+-------------------------------------
Changes (by cheuberg):
* dependencies: #20052, #20040, #20050 => #20056
Old description:
> Refactor `singularity_analysis` (#19944) so that it accepts a singular
> expansion obtained by other means. Without #20050, this is a bit hard to
> explain. In the end, with #20050 implemented, the dual choice of output
> (with singular expansions) could be omitted: if users want to have
> singular expansions (in order to show them in their paper, for instance),
> they could convert it into a singular expansion by using #20050 (or its
> dependents) and then feed it into `singularity_analysis`.
>
> See #17601 for the asymptotic expansions meta ticket.
New description:
Refactor `coefficients_of_generating_function` (#20056) so that the part
working with one singular expansion is now a separate method of an
asymptotic expansion.
This allows to perform singularity analysis also in situations where the
singular expansion has been obtained by other means than the simple
approach for explicit generating functions of #19944 (and follow-ups
#20040 and #20056), even while #20050 is not implemented.
For now, this is a hidden method because the input will change once #20050
is done.
Once #20050 is implemented, the dual choice of output of
`coefficients_of_generating_function` may be changed: if users want to
have singular expansions (in order to show them in their paper, for
instance), they could convert it into a singular expansion by using #20050
(or its dependents) and then feed it into `singularity_analysis`.
See #17601 for the asymptotic expansions meta ticket.
--
Comment:
This is now a complete rewrite following yesterday's discussions and
#20056.
I now think that this is basically the point that we can reach without
#20050, so this now awaits your review.
--
Ticket URL: <http://trac.sagemath.org/ticket/20053#comment:11>
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.
