Stack overflow during symbolic manipulations

[sagetrac-tmonteil]

As reported on this ask question:

sage: a = var('a')
sage: assume(a>0)
sage: assume(a<1)
sage: f = integrate(x*log(1/(a*x+(1-x)^2)), x, 0, 1)

RuntimeError: ECL says: C-STACK overflow at size 1048576. Stack can probably be resized. Proceed with caution.

sage: f = integrate(x*log(1/(a*x+(1-x)*(1-x))), x, 0, 1, algorithm='sympy')
sage: f.simplify_full()

RuntimeError: ECL says: C-STACK overflow at size 1048576. Stack can probably be resized. Proceed with caution.

sage: f.limit(a=0)

RuntimeError: ECL says: C-STACK overflow at size 1048576. Stack can probably be resized. Proceed with caution.

Those errors are fixed in latest Maxima release, hence the goal of this ticket is mainly to ensure that the example will be included as a doctest to avoid further regression.

Depends on #30063

Component: symbolics

Author: Thierry Monteil

Branch/Commit: dc46127

Reviewer: Marc Mezzarobba

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

[sagetrac-tmonteil]

comment:1

Once #30063 is merged, i will make a patch to doctest that ticket.

[sagetrac-tmonteil]

Branch: u/tmonteil/stack_overflow_during_symbolic_manipulations

[sagetrac-tmonteil]

Author: Thierry Monteil

[sagetrac-tmonteil]

Commit: dc46127

[sagetrac-tmonteil]

New commits:

dc46127

#30353 : doctest for #30353

[mezzarobba]

Reviewer: Marc Mezzarobba

[vbraun]

Changed branch from u/tmonteil/stack_overflow_during_symbolic_manipulations to dc46127