singularity in formula in docstring of SingularityAnalysis-generator

[dkrenn]

        .. MATH::

            [z^n] \left(\frac{1}{1-z}\right)^\alpha
            \left(\frac{1}{z} \log \frac{1}{1-z}\right)^\beta
            \left(\frac{1}{z} \log
            \left(\frac{1}{z} \log \frac{1}{1-z}\right)\right)^\delta.

does not depend on the singularity \zeta, which is incorrect (and not mentioned at all).

Depends on #19969

CC: @behackl @cheuberg

Component: asymptotic expansions

Keywords: singularity analysis

Author: Daniel Krenn

Branch/Commit: d3b48c7

Reviewer: Clemens Heuberger

Issue created by migration from https://trac.sagemath.org/ticket/20049

[dkrenn]

comment:1

We can either change to

        .. MATH::

            [z^n] \left(\frac{1}{1-z/\zeta}\right)^\alpha
            \left(\frac{1}{z/\zeta} \log \frac{1}{1-z/\zeta}\right)^\beta
            \left(\frac{1}{z/\zeta} \log
            \left(\frac{1}{z/\zeta} \log \frac{1}{1-z/\zeta}\right)\right)^\delta.

or prepend a (1/\zeta)^n to the formula.

[dkrenn]

Branch: u/dkrenn/asy/SA-generator-log

[dkrenn]

Changed branch from u/dkrenn/asy/SA-generator-log to none

[dkrenn]

Branch: u/dkrenn/zeta-in-GF

[dkrenn]

Author: Daniel Krenn

[dkrenn]

comment:5

Replying to @dkrenn:

We can either change to

        .. MATH::

            [z^n] \left(\frac{1}{1-z/\zeta}\right)^\alpha
            \left(\frac{1}{z/\zeta} \log \frac{1}{1-z/\zeta}\right)^\beta
            \left(\frac{1}{z/\zeta} \log
            \left(\frac{1}{z/\zeta} \log \frac{1}{1-z/\zeta}\right)\right)^\delta.

or prepend a (1/\zeta)^n to the formula.

The first choice does not look that bad, so I've prepared a patch.

---

Last 10 new commits:

c2f30f5	move code of NotImplementedOZero to avoid merge-conflicts
ebac5c2	Trac #20043: add additional doctest to check parent
33f675d	Merge branch 'u/dkrenn/asy/one-times-zero' of trac.sagemath.org:sage into t/19969/asy/SA-generator-log
98e1fc7	Trac #20043: make error message more precise and flexibel
99d7292	Merge branch 't/20043/asy/one-times-zero' into t/19969/asy/SA-generator-log
dd7dabf	Trac #19969: fix doctest
617e5bf	Trac #19969: rewrite output of doctest so that comparison with Formula in Flajolet-Sedgewick is easier
456d8c3	Trac #19969: correct whitespaces
b540598	Trac #19969: add an additional doctest
d3b48c7	Trac #20049: \zeta in GF in SingularityAnalysis-generator

[dkrenn]

Commit: d3b48c7

[cheuberg]

Dependencies: #19969

[cheuberg]

Reviewer: Clemens Heuberger

[cheuberg]

Changed keywords from none to singularity analysis

[cheuberg]

comment:6

LGTM

[vbraun]

Changed branch from u/dkrenn/zeta-in-GF to d3b48c7