Question: Error, (in tools/map) too many levels of recursion from odetest

I gave odetest some confusing long candidate solution to check for me. It gave an internal error

restart;
ode:=3*y(x)*cos(x)+4*x*exp(x)+2*x^3*y(x)+(3*sin(x)+3)*diff(y(x),x) = 0:
sol:=y(x) = -1/3/(exp(I*x)+I)^2*exp(((24*I*x*exp(I*x)-24*x)*polylog(2,I*exp(I*x))+(-24*I-24*exp(I*x))*polylog(3,I*exp(I*x))+(4*I*x^3-3*I*x+6*I*Re(x)-6*Im(x))*exp(I*x)-6*I*Im(x)+3*x-6*Re(x))/(3*exp(I*x)+3*I))*(1-I*exp(I*x))^(-4*x^2)*(4*int((1-I*exp(I*x))^(4*x^2)*x*(2*I*exp(((-24*I*x*exp(I*x)+24*x)*polylog(2,I*exp(I*x))+(24*I+24*exp(I*x))*polylog(3,I*exp(I*x))+(6*Im(x)-6*I*Re(x)-4*I*x^3+(3+6*I)*x)*exp(I*x)+6*I*Im(x)+6*Re(x)+(-6+3*I)*x)/(3*exp(I*x)+3*I))+exp(((-24*I*x*exp(I*x)+24*x)*polylog(2,I*exp(I*x))+(24*I+24*exp(I*x))*polylog(3,I*exp(I*x))+(6*Im(x)-6*I*Re(x)-4*I*x^3+(3+9*I)*x)*exp(I*x)+6*I*Im(x)+6*Re(x)+(-9+3*I)*x)/(3*exp(I*x)+3*I))-exp(((-24*I*x*exp(I*x)+24*x)*polylog(2,I*exp(I*x))+(24*I+24*exp(I*x))*polylog(3,I*exp(I*x))+(6*Im(x)-6*I*Re(x)-4*I*x^3+(3+3*I)*x)*exp(I*x)+6*I*Im(x)+6*Re(x)+(-3+3*I)*x)/(3*exp(I*x)+3*I)))/(sin(x)+1),x)-3*C[1]):

timelimit(30,odetest(sol,ode));

Error, (in tools/map) too many levels of recursion

I agree that the solution I gave it is very long and most likely is wrong solution. But that is besides the point. The problem with these internal recursion errors, is that try/catch does not catch them. So the whole program stops, and not able by bypass this error.

Should odetest have handled this better?

fyi, I posted similar internal error from Maple about 2 weeks ago in https://www.mapleprimes.com/questions/229872-Error-in-Discontzero-Too-Many-Levels

due to too many levels of recursion as well, but that was fromt rying to evaluate int. 

Maple 2020.1 , Physics 708

update Jan 9, 2025

The above seems to have been fixed now:

interface(version);

`Standard Worksheet Interface, Maple 2024.2, Windows 10, October 29 2024 Build ID 1872373`

restart;

ode:=3*y(x)*cos(x)+4*x*exp(x)+2*x^3*y(x)+(3*sin(x)+3)*diff(y(x),x) = 0:
sol:=y(x) = -1/3/(exp(I*x)+I)^2*exp(((24*I*x*exp(I*x)-24*x)*polylog(2,I*exp(I*x))+(-24*I-24*exp(I*x))*polylog(3,I*exp(I*x))+(4*I*x^3-3*I*x+6*I*Re(x)-6*Im(x))*exp(I*x)-6*I*Im(x)+3*x-6*Re(x))/(3*exp(I*x)+3*I))*(1-I*exp(I*x))^(-4*x^2)*(4*int((1-I*exp(I*x))^(4*x^2)*x*(2*I*exp(((-24*I*x*exp(I*x)+24*x)*polylog(2,I*exp(I*x))+(24*I+24*exp(I*x))*polylog(3,I*exp(I*x))+(6*Im(x)-6*I*Re(x)-4*I*x^3+(3+6*I)*x)*exp(I*x)+6*I*Im(x)+6*Re(x)+(-6+3*I)*x)/(3*exp(I*x)+3*I))+exp(((-24*I*x*exp(I*x)+24*x)*polylog(2,I*exp(I*x))+(24*I+24*exp(I*x))*polylog(3,I*exp(I*x))+(6*Im(x)-6*I*Re(x)-4*I*x^3+(3+9*I)*x)*exp(I*x)+6*I*Im(x)+6*Re(x)+(-9+3*I)*x)/(3*exp(I*x)+3*I))-exp(((-24*I*x*exp(I*x)+24*x)*polylog(2,I*exp(I*x))+(24*I+24*exp(I*x))*polylog(3,I*exp(I*x))+(6*Im(x)-6*I*Re(x)-4*I*x^3+(3+3*I)*x)*exp(I*x)+6*I*Im(x)+6*Re(x)+(-3+3*I)*x)/(3*exp(I*x)+3*I)))/(sin(x)+1),x)-3*C[1]):

timelimit(30,odetest(sol,ode));

Error, (in simplify/radical/findlcm) time expired

 


 

Download fixed_jan_9_2025.mw

 

Please Wait...