nm - Questions - MaplePrimes

strange warning message from mint which ...

Asked: nm 11353 Product: Maple 2025

April 25 2025

2 3

everytime I run mint I get hundreds of messages coming from child modules, saying

These names were used as global names but were not declared: A

Where A above is the name of the top level module.

This only shows from commnd line mint, and not from maplemint used in the GUI.

The set I have is

A:=module()
    export module foo_type()
       option object;
       ....
    end module;

     export B := module()  #child module
       .....
     end module;
end module;

In the child module B above, whever I do

o:=Object(A:-foo_type);

mint gives the above warning.

It is clear the name A should not be declared, as the module B is child to it so it can see it.

The workaround is to add global A inside each child module to remove this warning.

But why is this needed?

Here is a worksheet showing maplemint does not show this warning, and below example using command line mint on same exact code, which does

>

restart;

>	interface(version);

>

A:=module()

    export module foo_type()
       option object;
       export name::string:="";
    end module;

    export B := module()
       export step := proc()::A:-foo_type;
       local o::A:-foo_type;
          o:=Object(A:-foo_type);
          o:-name:="x";
          return o;
       end proc;

    end module;

end module;

>	maplemint(A)

Nested Module foo_type() on lines 1 to 2
These exported variables were never used: name::string

Download mint_isse_april_25_2025.mw

Here is A.mpl

A:=module()

    export module foo_type()
       option object;
       export name::string:="";
    end module;

    export B := module()    
       #global A;     why is this needed for mint??
       export step := proc()::A:-foo_type;                 
       local o::A:-foo_type;   
          o:=Object(A:-foo_type);
          o:-name:="x";
          return o;
       end proc;

    end module;
end module;

And now the command

>/home/me/maple2025/bin.X86_64_LINUX/mint A.mpl
    |\^/|      Maple 2025 Diagnostic Program
._|\|   |/|_.  Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2025
 \  MINT   /   All rights reserved. Maple is a trademark of
 <____ ____>   Waterloo Maple Inc.
      |        
Nested Procedure step() on lines 10 to 15
  These names were used as global names but were not declared:  A
Module A() on lines 1 to 18
  These exported variables were never used:  foo_type
>

You see the difference. mint complains that A is not declared.

Is this a bug in mint?

collection of problems in Maple 2025. Lo...

Asked: nm 11353 Product: Maple 2025

April 20 2025

1 2

To save space, I've decided to show problems found so far in Maple 2025 in one worksheet.

Hoping someone will figure the cause. The big problem is that these internal errors can not be cought using try/catch. Which means there is no user workaround. If they can be cought, then it is not a big problem.

Some from odetest, some from int and some from simplify and some from symgen.

>	interface(version);

>	Physics:-Version()

>

restart;

>

#18573
e:=(1/4*(RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2+16)/RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)-1/2*(1/4*(RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2+16)^2/RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2-16)^(1/2))*x:

>	try timelimit(60,simplify(e)); catch: print("OK, cought error"); end try;

>

Error, (in anonymous procedure called from depends) too many levels of recursion

>

restart;

>	#12178 ode:=diff(y(x),x) = lambdaarctan(x)^ny(x)^2+betamx^(m-1)-lambdabeta^2x^(2m)arctan(x)^n: try timelimit(60,DEtools:-symgen(ode)); catch: print("OK, cought error"); end try;

Error, (in simplify/exp/exp) too many levels of recursion

>

restart;

>	#12181 ode:=diff(x(y),y) = x(y)/(x(y)^(2m)arctan(x(y))^may^2+x(y)^narctan(x(y))^mby+arctan(x(y))^mc-n*y): try timelimit(60,DEtools:-symgen(ode)); catch: print("OK, cought error"); end try;

Error, (in simplify/exp/exp) too many levels of recursion

>

restart;

>	#12187 ode:=diff(y(x),x)=lambdaarccot(x)^ny(x)^2+betamx^(m-1)-lambdabeta^2x^(2m)arccot(x)^n: try timelimit(60,DEtools:-symgen(ode)); catch: print("OK, cought error"); end try;

Error, (in simplify/exp/exp) too many levels of recursion

>

restart;

>	#12190 ode:=diff(x(y),y) = x(y)/(x(y)^(2m)arccot(x(y))^may^2+x(y)^narccot(x(y))^mby+arccot(x(y))^mc-n*y): try timelimit(60,DEtools:-symgen(ode)); catch: print("OK, cought error"); end try;

Error, (in simplify/exp/exp) too many levels of recursion

>

restart;

>	#10708 e:=2/(ln(x)-exp(1/x))xdiff(diff(u(x),x),x)-(-2/(ln(x)-exp(1/x))^2x(1/x+1/x^2exp(1/x))+2/(ln(x)-exp(1/x))+8x^3/(ln(x)-exp(1/x))^2)diff(u(x),x)-4/(ln(x)-exp(1/x))^3x^2(-2x^3+ln(x)-exp(1/x)-2x)u(x): e:=evala(e): try timelimit(60,int(e,x)); catch: print("OK, cought error"); end try;

Error, (in anonymous procedure called from property/ConvertRelation) too many levels of recursion

>

restart;

>	#6764 e:=1/2/x^(7/2)2^(1/2)Pi^(1/2)/(1/x)^(1/2)cos(1/x)(1+x): try timelimit(60,int(e,x)); catch: print("OK, cought error"); end try;

Error, (in simplify/common_factors/do) too many levels of recursion

>

restart;

>

#19337

>

sol:=-y+Intat((_a*((_a^2+1)/_a^2)^(1/2)+_a^2+1)*exp(-1/2*(arctanh(1/(_a^2+1)^(1/2))*((_a^2+1)/_a^2)^(1/2)*_a^3+2*_C3*(_a^2+1)^(1/2)*_a^2+(_a^2+1)^(1/2)*((_a^2+1)/_a^2)^(1/2)*_a+(_a^2+1)^(1/2))/(_a^2+1)^(1/2)/_a^2)/((_a^2+1)/_a^2)^(1/2)/_a^5,_a = RootOf(x(y)-exp(-1/2*(arctanh(1/(_Z^2+1)^(1/2))*((_Z^2+1)/_Z^2)^(1/2)*_Z^3+2*_C3*(_Z^2+1)^(1/2)*_Z^2+(_Z^2+1)^(1/2)*((_Z^2+1)/_Z^2)^(1/2)*_Z+(_Z^2+1)^(1/2))/(_Z^2+1)^(1/2)/_Z^2)))+_C4 = 0:
ode:=-1/2/(diff(x(y),y)^2+1)^(1/2)*(diff(x(y),y)*(arctanh(1/(diff(x(y),y)^2+1)^(1/2))*diff(x(y),y)^2+(diff(x(y),y)^2+1)^(1/2))*((diff(x(y),y)^2+1)/diff(x(y),y)^2)^(1/2)+(diff(x(y),y)^2+1)^(1/2))/diff(x(y),y)^2 = ln(x(y))+_C3:
try
timelimit(60,odetest(sol,ode));
catch:
print("OK, cought error");
end try;

Error, (in unknown) too many levels of recursion

Download collection_of_problems_maple_2025.mw

Below is worksheet showing output in Maple 2024.2. It shows NO internal error is generated in any one. Either a result is returned, or it timedout as expected.

This shows all the above cases are regressions in Maple 2025.

>	interface(version);

>	Physics:-Version()

$`The "Physics Updates" version in the MapleCloud is 1861. The version installed in this computer is 1849 created 2025, March 12, 12:37 hours Pacific Time, found in the directory C:\Users\Owner\maple\toolbox\2024\Physics Updates\lib\`$

>

restart;

>

#18573
e:=(1/4*(RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2+16)/RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)-1/2*(1/4*(RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2+16)^2/RootOf(-100*_Z^4*exp(arctanh(1/3*(5*_Z^2-32*_Z+80)/(_Z^2-16))+arctanh(1/3*(5*_Z^2+32*_Z+80)/(_Z^2-16)))+x^(16/5)*_Z^4*exp(_C11)^16-68*x^(16/5)*_Z^2*exp(_C11)^16+256*x^(16/5)*exp(_C11)^16)^2-16)^(1/2))*x:

>	try timelimit(60,simplify(e)); catch: print("OK, cought error"); end try;

>

restart;

>	#12178 ode:=diff(y(x),x) = lambdaarctan(x)^ny(x)^2+betamx^(m-1)-lambdabeta^2x^(2m)arctan(x)^n: try timelimit(60,DEtools:-symgen(ode)); catch: print("OK, cought error"); end try;

>

restart;

>	#12181 ode:=diff(x(y),y) = x(y)/(x(y)^(2m)arctan(x(y))^may^2+x(y)^narctan(x(y))^mby+arctan(x(y))^mc-n*y): try r:=timelimit(60,DEtools:-symgen(ode)); catch: print("OK, cought error"); end try;

>

restart;

>	#12187 ode:=diff(y(x),x)=lambdaarccot(x)^ny(x)^2+betamx^(m-1)-lambdabeta^2x^(2m)arccot(x)^n: try r:=timelimit(60,DEtools:-symgen(ode)); catch: print("OK, cought error"); end try;

>

restart;

>	#12190 ode:=diff(x(y),y) = x(y)/(x(y)^(2m)arccot(x(y))^may^2+x(y)^narccot(x(y))^mby+arccot(x(y))^mc-n*y): try r:=timelimit(60,DEtools:-symgen(ode)); catch: print("OK, cought error"); end try;

>

restart;

>	#10708 e:=2/(ln(x)-exp(1/x))xdiff(diff(u(x),x),x)-(-2/(ln(x)-exp(1/x))^2x(1/x+1/x^2exp(1/x))+2/(ln(x)-exp(1/x))+8x^3/(ln(x)-exp(1/x))^2)diff(u(x),x)-4/(ln(x)-exp(1/x))^3x^2(-2x^3+ln(x)-exp(1/x)-2x)u(x): e:=evala(e): try timelimit(60,int(e,x)); catch: print("OK, cought error"); end try;

>

restart;

>	#6764 e:=1/2/x^(7/2)2^(1/2)Pi^(1/2)/(1/x)^(1/2)cos(1/x)(1+x): try r:=timelimit(60,int(e,x)); catch: print("OK, cought error"); end try;

>

restart;

>

#19337

>

sol:=-y+Intat((_a*((_a^2+1)/_a^2)^(1/2)+_a^2+1)*exp(-1/2*(arctanh(1/(_a^2+1)^(1/2))*((_a^2+1)/_a^2)^(1/2)*_a^3+2*_C3*(_a^2+1)^(1/2)*_a^2+(_a^2+1)^(1/2)*((_a^2+1)/_a^2)^(1/2)*_a+(_a^2+1)^(1/2))/(_a^2+1)^(1/2)/_a^2)/((_a^2+1)/_a^2)^(1/2)/_a^5,_a = RootOf(x(y)-exp(-1/2*(arctanh(1/(_Z^2+1)^(1/2))*((_Z^2+1)/_Z^2)^(1/2)*_Z^3+2*_C3*(_Z^2+1)^(1/2)*_Z^2+(_Z^2+1)^(1/2)*((_Z^2+1)/_Z^2)^(1/2)*_Z+(_Z^2+1)^(1/2))/(_Z^2+1)^(1/2)/_Z^2)))+_C4 = 0:
ode:=-1/2/(diff(x(y),y)^2+1)^(1/2)*(diff(x(y),y)*(arctanh(1/(diff(x(y),y)^2+1)^(1/2))*diff(x(y),y)^2+(diff(x(y),y)^2+1)^(1/2))*((diff(x(y),y)^2+1)/diff(x(y),y)^2)^(1/2)+(diff(x(y),y)^2+1)^(1/2))/diff(x(y),y)^2 = ln(x(y))+_C3:
try
r:=timelimit(60,odetest(sol,ode));
catch:
print("OK, cought error");
end try;

Download collection_of_problems_maple_2024_version.mw

why Maple 2025 hangs on this separable o...

Asked: nm 11353 Product: Maple 2025

April 20 2025

1 0

This looks like regression in dsolve.

In Maple 2024.2, dsolve solves this with no problem and very quickly.

In Maple 2025 it just hangs.

Any one could find why this is the case? infolevel does not show why. Below is Maple 2024.2 worksheet and Maple 2025 worksheet. This is Maple 2024.2 NO HANG

Download dsolve_2024_no_hang_april_20_2025.mw

This is Maple 2025. HANGed. Had to terminate it after 15 minutes. It seems to hang on resolving initial conditions.

Download dsolve_2025_on_linux_hangs_april_20_2025.mw

design question: should Maple dsolve han...

Asked: nm 11353 Product: Maple 2025

April 18 2025

1 3

I wonder what is the general view on this.

Maple tries hard to find analytical solutions by trying different algorithms. Which is very good. But the question is, should it also hang doing this? Should not there be a circuit breaker to prevent the hang?

I mean there must be a limited number of algorithms it tries. So at one point one would expect it will finish and return either no solution or the solution it found.

For this Abel ode y'=x+y^3, which is known not to be solvable, Maple hangs on

> Step 2: calculating resultants to eliminate F and get candidates for

I waited for almost one hour. Clearly this indicates a problem internally. Right?

There should be some internal checks to prevent this hang I would think. I do not know where it actually hangs, since trace only shows the last step above.

It will good to find out the cause of the hang and add code to prevent this in a future version of Maple dsolve to make it more robust.

btw, using that another software, it returns instantly on this ode with no solution. May be the other software did not try as hard, but at least it did not hang :)

>

restart;

>	interface(version);

>	Physics:-Version();

>

restart;

>	infolevel[dsolve]:=5; ode:=diff(y(x),x)=x+y(x)^3; sol:=dsolve(ode,y(x))

Methods for first order ODEs:

--- Trying classification methods ---

trying a quadrature

trying 1st order linear

trying Bernoulli

trying separable

trying inverse linear

trying homogeneous types:

trying Chini

Chini's absolute invariant is: (1/27)/x^5

differential order: 1; looking for linear symmetries

trying exact

trying Abel

The relative invariant s3 is: x

The first absolute invariant s5^3/s3^5 is: 1/x^5

The second absolute invariant s3*s7/s5^2 is: 0

...checking Abel class AIL (45)

...checking Abel class AIL (310)

...checking Abel class AIR (36)

...checking Abel class AIL (301)

...checking Abel class AIL (1000)

...checking Abel class AIL (42)

...checking Abel class AIL (185)

...checking Abel class AIA (by Halphen)

...checking Abel class AIL (205)

...checking Abel class AIA (147)

...checking Abel class AIL (581)

...checking Abel class AIL (200)

...checking Abel class AIL (257)

...checking Abel class AIL (400)

...checking Abel class AIA (515)

...checking Abel class AIR (1001)

...checking Abel class AIA (201)

...checking Abel class AIA (815)

Looking for potential symmetries

... changing x -> 1/x, trying again

Looking for potential symmetries

The third absolute invariant s5*s7/s3^4 is: 0

-> ======================================

-> ...checking Abel class D (by Appell)

-> Step 1: checking for a disqualifying factor on F after evaluating x at a number

Trying x = 1

*** No disqualifying factor on F was found ***

-> Step 2: calculating resultants to eliminate F and get candidates for C

Download why_hangs_dsolve_april_18_2025.mw

division by zero calling dsolve with Abe...

Asked: nm 11353 Product: Maple 2025

April 16 2025

2 5

Do you think could be a bug in dsolve?

Download dsolve_division_by_zero_abel_april_16_2025.mw

If I do not tell it to use Abel, then dsolve does not give divison by zero.

Maple 2025 on Linux

E-Mail Address:
Password:
Remember Me:	Automatically sign in on future visits

E-Mail Address:
Password:
Remember Me:	Automatically sign in on future visits

Ask a Question

Create a Post

nm

11353 Reputation

20 Badges

MaplePrimes Activity

These are questions asked by nm

strange warning message from mint which ...

collection of problems in Maple 2025. Lo...

why Maple 2025 hangs on this separable o...

design question: should Maple dsolve han...

division by zero calling dsolve with Abe...

Save this setting as your default sorting preference?

Ask a Question

Create a Post

Generating PDF…

Save this setting as your default sorting preference?
Note: You can change your preference any time in your account settings
Don't show this again