#20053: Singularity analysis for given singular expansions
-------------------------------------+-------------------------------------
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 | b42bb05ee54ac7f70df77470b4c4c81a1631f0b2
Branch: u/cheuberg/asy | Stopgaps:
/allow-singular-expansion |
Dependencies: #20056, #19540 |
-------------------------------------+-------------------------------------
Comment (by behackl):
Replying to [comment:17 cheuberg]:
> Replying to [comment:15 behackl]:
> > 1. `var` can also be the generator of an asymptotic ring,
>
> documented and doctested
>
> > 2. `zeta` is the location of the singularity, and
> done.
>
> > 3. `precision` is **not** set to the default precision of the ring if
it is omitted, but has the same behavior as the `SingularityAnalysis`
method in the generators.
> >
> > Do we want that the current behavior from 3 happens, so that the
asymptotic contribution has the same precision as the singular expansion
by default? Would be worth considering IMHO.
>
> We cannot directly use the precision of this element, because we have no
elegant means of defining the precision of an element (we will not
introspect the group). Thus IMHO the only sensible default is the default
precision of the parent of this element. Thus the behaviour is now
changed.
That is what I originally meant, thank you.
>
> The method `coefficients_of_generating_function` does not handle the
precision, either, but that could be another ticket, if you want to open
one. In any case, this is unrelated to this method here.
Yes, this would certainly be a new ticket, and I think that this is
definitely worth opening one.
In any case: your changes look good to me, and I'll just wait for the
patchbot before I set this to `positive_review`. Thank you!
--
Ticket URL: <http://trac.sagemath.org/ticket/20053#comment:18>
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.
