#19944: asymptotic expansions: singularity analysis
-------------------------------------+-------------------------------------
       Reporter:  behackl            |        Owner:
           Type:  enhancement        |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-7.1
      Component:  asymptotic         |   Resolution:
  expansions                         |    Merged in:
       Keywords:                     |    Reviewers:  Daniel Krenn
        Authors:  Benjamin Hackl,    |  Work issues:
  Clemens Heuberger                  |       Commit:
Report Upstream:  N/A                |  3743f9d9c5794053bc31e2f434590d9cd53efbfd
         Branch:  u/dkrenn/asy       |     Stopgaps:
  /singularity-analysis-method       |
   Dependencies:  #19532             |
-------------------------------------+-------------------------------------

Comment (by cheuberg):

 A few thoughts on your comments:

 * `asymptotic_expansions.SingularityAnalysis` with `precision=0` could
 very well return the transfer error term; I think that this would be
 consistent with `precision=0`. And `precision=0` does not work anyway at
 the moment.
 * Then, indeed, an !ExactTerm could do singularity analysis by calling
 singularity analysis on the growth element and multiply by its
 coefficient; and an OTerm could do singularity analysis by calling
 singularity analysis on the growth element with `precision=0`.
 * A monomial growth group would do singularity analysis by checking
 whether it is a growth group in `T` (then call the generator with
 `alpha=...` and `beta=0`) or a growth group in `log(T)` (call a yet to be
 written generator for `(1-z)^alpha (log(1-u))^beta`)
 * A cartesian growth group would restrict its attention to cases where all
 non-trivial contributions come from one factor (hand the question down to
 the factor) or from two factors (in that case, the cartesian growth group
 has to do the job on its own calling the above mentioned generator).

--
Ticket URL: <http://trac.sagemath.org/ticket/19944#comment:10>
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.

Reply via email to