Opened 6 years ago

Closed 9 days ago

#20467 closed defect (fixed)

stackoverflow in Maxima integral

Reported by: Karl-Dieter Crisman Owned by:
Priority: major Milestone: sage-9.8
Component: calculus Keywords:
Cc: Nils Bruin, Thierry Monteil Merged in:
Authors: Frédéric Chapoton Reviewers: Nils Bruin
Report Upstream: Completely fixed; Fix reported upstream Work issues:
Branch: 22385d9 (Commits, GitHub, GitLab) Commit: 22385d98106c739db2f5cbee71e264e3831a5039
Dependencies: Stopgaps:

Status badges

Description (last modified by Karl-Dieter Crisman)

sage: k=var('k')
sage: integral(sin(k*x)/x*erf(x^2), x, 0, oo)
RuntimeError: ECL says: C-STACK overflow at size 4259840. Stack can probably be resized.

This is related to this ask.sagemath question though I couldn't reproduce this behavior.

Upstream: https://sourceforge.net/p/maxima/bugs/3144/

Change History (13)

comment:1 Changed 6 years ago by Nils Bruin

As far as I can see, this happens in vanilla maxima on SBCL too:

Maxima 5.36.1 http://maxima.sourceforge.net
using Lisp SBCL 1.2.11-1.fc22
(%i1) integrate(sin(k*x)/x*erf(x^2),x,0,inf);
Maxima encountered a Lisp error:
Control stack exhausted (no more space for function call frames).

This is not the latest version, but it's the kind of bug that, unless it's been specifically addressed, it's probably still there. Might want to report it (why is there no online maxima calculator with an up-to-date maxima? maximacell or something like that?)

comment:2 Changed 6 years ago by Karl-Dieter Crisman

Description: modified (diff)
Report Upstream: N/AReported upstream. No feedback yet.

comment:3 Changed 6 years ago by Karl-Dieter Crisman

Report Upstream: Reported upstream. No feedback yet.Fixed upstream, but not in a stable release.

comment:4 Changed 2 years ago by Matthias Köppe

Cc: Thierry Monteil added
Milestone: sage-7.2sage-duplicate/invalid/wontfix
Status: newneeds_review

Seems fixed in 9.2.beta10

comment:5 Changed 2 years ago by Karl-Dieter Crisman

Status: needs_reviewneeds_work

As always, verify with doctest :-)

comment:6 Changed 2 weeks ago by Frédéric Chapoton

Branch: u/chapoton/20467
Commit: 22385d98106c739db2f5cbee71e264e3831a5039
Milestone: sage-duplicate/invalid/wontfixsage-9.8
Status: needs_workneeds_review

here is a doctest


New commits:

22385d9adding one doctest for integral

comment:7 Changed 2 weeks ago by Frédéric Chapoton

Report Upstream: Fixed upstream, but not in a stable release.Completely fixed; Fix reported upstream

comment:8 Changed 2 weeks ago by Nils Bruin

Reviewers: nbruin
Status: needs_reviewpositive_review

comment:9 Changed 2 weeks ago by Volker Braun

Status: positive_reviewneeds_work

Merge failure on top of:

cb51da16e9b Trac #17965: Uniformize the API to compute the inverse of an element

a833b0e9c81 Trac #34491: Upgrade igraph to 0.9.10

7747f43b0d1 Trac #34467: fix random doctest failure in EllipticCurveHom_velusqrt

cba244ef373 Trac #34466: fix various linter errors

5d89d36f1f9 Trac #34228: tox -e docker-...-incremental

627b2bdfe92 Updated SageMath version to 9.7

author does not look right

comment:10 Changed 2 weeks ago by Nils Bruin

Authors: Frédéric Chapoton
Status: needs_workpositive_review

Indeed. Since there's now a doctest submitted, there is actually something to be committed, so there needs to be an author.

comment:11 Changed 2 weeks ago by Volker Braun

Status: positive_reviewneeds_work

Merge failure on top of:

527891674e8 Trac #34203: Find and uninstall broken installed SPKGs and wheels

ed76311f002 Trac #34118: Update sympy to 1.11.1

97beeae9521 Trac #33981: latte_int: ExponentialSubst?.h:62:3: error: ISO C++17 does not allow dynamic exception specifications

787b4bed4cf Trac #33640: sage fails to factor some easy expressions

700a1f538d0 Trac #33613: Add pip packages to conda environments, add missing conda.txt files

92b1db1a327 Trac #33431: Category of submodules of sage.modules.free_module.FreeModule_ambient_pid

d238396ec64 Trac #33093: 5 doctests failing related to external program octave

509ed920b2a Trac #33002: Method tikz of polyhedron class can now return an object of type TikzPicture?

2a41c6ee213 Trac #32669: Adding upper and lower Bruhat cones of M. Dyer to sage/combinat/root_system/reflection_group_real.py

12756f654c7 Trac #29619: Matrix and Components should have a sparse iterator

cb51da16e9b Trac #17965: Uniformize the API to compute the inverse of an element

a833b0e9c81 Trac #34491: Upgrade igraph to 0.9.10

7747f43b0d1 Trac #34467: fix random doctest failure in EllipticCurveHom_velusqrt

cba244ef373 Trac #34466: fix various linter errors

5d89d36f1f9 Trac #34228: tox -e docker-...-incremental

627b2bdfe92 Updated SageMath version to 9.7

reviewer 'nbruin' does not look right

comment:12 Changed 13 days ago by Nils Bruin

Reviewers: nbruinNils Bruin
Status: needs_workpositive_review

comment:13 Changed 9 days ago by Volker Braun

Branch: u/chapoton/2046722385d98106c739db2f5cbee71e264e3831a5039
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.