Opened 5 years ago

Closed 5 years ago

# singularity in formula in docstring of SingularityAnalysis-generator

Reported by: Owned by: dkrenn major sage-7.1 asymptotic expansions singularity analysis behackl, cheuberg Daniel Krenn Clemens Heuberger N/A d3b48c7 (Commits) d3b48c7070f8b3a7e0851c5ed6d62e5d95472a0a #19969

### Description

        .. 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).

### comment:1 follow-ups: ↓ 3 ↓ 5 Changed 5 years ago by 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.

### comment:2 Changed 5 years ago by dkrenn

• Branch set to u/dkrenn/asy/SA-generator-log

### comment:3 in reply to: ↑ 1 Changed 5 years ago by dkrenn

• Branch u/dkrenn/asy/SA-generator-log deleted
Last edited 5 years ago by dkrenn (previous) (diff)

### comment:4 Changed 5 years ago by dkrenn

• Branch set to u/dkrenn/zeta-in-GF

### comment:5 in reply to: ↑ 1 Changed 5 years ago by dkrenn

• Authors set to Daniel Krenn
• Commit set to d3b48c7070f8b3a7e0851c5ed6d62e5d95472a0a
• Status changed from new to needs_review

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

### comment:6 Changed 5 years ago by cheuberg

• Dependencies set to #19969