Opened 16 months ago
Closed 15 months ago
#30353 closed defect (fixed)
Stack overflow during symbolic manipulations
Reported by:  tmonteil  Owned by:  

Priority:  major  Milestone:  sage9.2 
Component:  symbolics  Keywords:  
Cc:  Merged in:  
Authors:  Thierry Monteil  Reviewers:  Marc Mezzarobba 
Report Upstream:  N/A  Work issues:  
Branch:  dc46127 (Commits, GitHub, GitLab)  Commit:  dc4612747fca011a4d8abcf2fbc118e7be78f672 
Dependencies:  #30063  Stopgaps: 
Description
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+(1x)^2)), x, 0, 1) RuntimeError: ECL says: CSTACK overflow at size 1048576. Stack can probably be resized. Proceed with caution.
sage: f = integrate(x*log(1/(a*x+(1x)*(1x))), x, 0, 1, algorithm='sympy') sage: f.simplify_full() RuntimeError: ECL says: CSTACK overflow at size 1048576. Stack can probably be resized. Proceed with caution.
sage: f.limit(a=0) RuntimeError: ECL says: CSTACK 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.
Change History (5)
comment:1 Changed 16 months ago by
comment:2 Changed 15 months ago by
 Branch set to u/tmonteil/stack_overflow_during_symbolic_manipulations
comment:3 Changed 15 months ago by
 Commit set to dc4612747fca011a4d8abcf2fbc118e7be78f672
 Status changed from new to needs_review
New commits:
dc46127  #30353 : doctest for #30353

comment:4 Changed 15 months ago by
 Reviewers set to Marc Mezzarobba
 Status changed from needs_review to positive_review
comment:5 Changed 15 months ago by
 Branch changed from u/tmonteil/stack_overflow_during_symbolic_manipulations to dc4612747fca011a4d8abcf2fbc118e7be78f672
 Resolution set to fixed
 Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Once #30063 is merged, i will make a patch to doctest that ticket.