#19944: asymptotic expansions: singularity analysis
-------------------------------------+-------------------------------------
Reporter: behackl | Owner:
Type: enhancement | Status: needs_review
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 | 637147cb97d5a73e959c4063896bf8a413a67e1a
Branch: u/cheuberg/asy | Stopgaps:
/singularity-analysis-method |
Dependencies: #19532, #19969, |
#19981 |
-------------------------------------+-------------------------------------
Changes (by cheuberg):
* status: needs_work => needs_review
* dependencies: #19532, #19969 => #19532, #19969, #19981
Comment:
The method is now completely rewritten; `7.1.beta1` has been merged
implicitly by merging #19981.
Replying to [comment:9 dkrenn]:
> 1. `result.exact_part() == result`: Maybe create a follow up ticket
implementing `is_exact`.
done (#19981)
> 2. The code ...
> is not ideal. It looks like the singularity analysis should be done
by the terms themselves and eventually by the growth groups (since they
know what they are).
Done.
> 3. `(self.gen() ** (alpha - 1)).O()` should depend on the singularity.
Implicitly done by 2.
> 4. In some sense the transfer term `(self.gen() ** (alpha - 1)).O()` has
the same status as the expansion
`asymptotic_expansions.SingularityAnalysis`. So a generation in the
generations would be an option. However, I understand, that it is much
simpler, so I do *not* have a strong preference for this.
Done (via `precision=0`).
> 5. Parameter description `function`: mentioned the word "callable"(?)
Say that it is a function in one variable.
Done.
> 6. Parameter `return_singular_expansions`: in an ideal world, there
would not be a different kind of output (asymptotic expansions vs. named
tuple). However, I understand it is as it is; it seems that there is no
other satisfying solution to this. Am I right?
No better solution found.
--
Ticket URL: <http://trac.sagemath.org/ticket/19944#comment:14>
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.
