coefficients_of_generating_function fails for log-singularity with zeta != 1

[behackl]

sage: A.<n> = AsymptoticRing('QQ^n * n^QQ', QQ)
sage: def f(z):
....:     return log(1-2*z)
sage: A.coefficients_of_generating_function(f, (1/2,), precision=5)
Traceback (most recent call last):
...
TypeError: Cannot apply the substitution rules {Z: n} on -1/2*2^Z*Z^(-1) + O(2^Z*Z^(-3)) in Asymptotic Ring <(Symbolic Constants Subring)^Z * Z^(Symbolic Constants Subring) * log(Z)^(Symbolic Constants Subring)> over Symbolic Ring.
> *previous* TypeError: Cannot substitute in -1/2*2^Z*Z^(-1) + O(2^Z*Z^(-3)) in Asymptotic Ring <(Symbolic Constants Subring)^Z * Z^(Symbolic Constants Subring) * log(Z)^(Symbolic Constants Subring)> over Symbolic Ring.
>> *previous* TypeError: Cannot substitute in O(2^Z*Z^(-3)) in O-Term Monoid (Symbolic Constants Subring)^Z * Z^(Symbolic Constants Subring) * log(Z)^(Symbolic Constants Subring) with implicit coefficients in Symbolic Ring.
>>> *previous* TypeError: Cannot substitute in 2^Z*Z^(-3) in Growth Group (Symbolic Constants Subring)^Z * Z^(Symbolic Constants Subring) * log(Z)^(Symbolic Constants Subring).
>>>> *previous* TypeError: Cannot substitute in 2^Z in Growth Group (Symbolic Constants Subring)^Z.
>>>>> *previous* TypeError: no canonical coercion from Asymptotic Ring <n^QQ * QQ^n> over Rational Field to Symbolic Constants Subring

Depends on #20053

CC: @dkrenn @cheuberg

Component: asymptotic expansions

Branch/Commit: u/behackl/asy/coef-generating/zeta-neq-1 @ 265e9b4

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

[behackl]

Branch: u/behackl/asy/coef-generating/zeta-neq-1

[behackl]

comment:1

This is just a very quick fix the behavior; the exception that might occur should be handled as well.

---

Last 10 new commits:

0384e25	Trac #19540: use is_one()
3f0f855	Trac #19540: variable_names for growth elements
eb49c65	Trac #19540: variable_names for terms
5a4adf0	Trac #19540: variable_names for asymptotic expansions
d9f2796	Trac #19540: `_factorial_` for terms
c801853	Trac #19540: rewrite factorial
139f7c8	Trac #19540: note on log(s).factorial()
23948e4	Merge branch 'u/cheuberg/asy/singularity-analysis-method' of git://trac.sagemath.org/sage into t/19540/asy/factorial
7acc487	Trac #20053: Merge branch #19540 to resolve merge conflict
265e9b4	try to use rpow if the previous substitution fails

[behackl]

Commit: 265e9b4

[behackl]

Dependencies: #20053