nm

11493 Reputation

20 Badges

13 years, 88 days

MaplePrimes Activity


These are questions asked by nm

I see this error once in a while

Error, (in SolveTools:-CancelInverses) assertion failed, simplify should not leak _Z variables out from RootOfs 

When I run a long script. Unfortunately, I have not been able to make a small example to reproduce it. So it is random. I've seen it about 5-6 times in the last 2-3 weeks, over 100 runs during this time.

Just wanted to see if anyone saw this before. The strange thing it is random. I can re-run the same script, or restart it from the point where it failed,  with no changes anywhere, and this error do not show up again for days, and suddenly it shows up again.

Must be related how to Maple internal cache memory happened to be arranged at that time. I noticed that a number of things in Maple seem to happen at random times, such as a random hang of the server at different times and places. I could never understand why this happens in Maple.

If there is only one thing Maplesoft could do for the next version, it will be to improve the robustness of its software.


Update March 7, 2024.

FYI, examples giving this error using Maple 2024 using different functions

interface(version);

`Standard Worksheet Interface, Maple 2024.0, Windows 10, March 01 2024 Build ID 1794891`

restart;

kernelopts('assertlevel'=2):

ode:=(exp(x)*sin(y(x))-3*x^2)+(exp(x)*cos(y(x))+y(x)^(-2/3)/3)*diff(y(x),x)=0;
DEtools:-odeadvisor(ode,y(x))

exp(x)*sin(y(x))-3*x^2+(exp(x)*cos(y(x))+(1/3)/y(x)^(2/3))*(diff(y(x), x)) = 0

Error, (in SolveTools:-CancelInverses) assertion failed, simplify should not leak _Z variables out from RootOfs

ode:=diff(y(x),x)*y(x)/(1+1/2*sqrt(1+diff(y(x),x)^2))=-x;
dsolve([ode,y(0)=3],y(x))

(diff(y(x), x))*y(x)/(1+(1/2)*(1+(diff(y(x), x))^2)^(1/2)) = -x

Error, (in SolveTools:-CancelInverses) assertion failed, simplify should not leak _Z variables out from RootOfs

 

 

Download leak_Z_maple_2024.mw

I have reported this to Mapesoft.

 

Whenever I call solve, I now make sure to convert the solution to a set first to get rid of duplicate solutions which could be generated.

Is there a way to tell solve to return unique solution only by default?

restart:
expr:=-1/2*ln(u)-1/4*ln(u^2+2)-ln(x)-C[1]:
sol:=solve(expr = 0,u):
nops([sol])

   8

But there are actually only 4. The other 4 are duplicated

nops(convert([sol],set))

 4

This does not happen all the time,but I noticed it few times now. Is this to be expected?

Maple 2020.1

 

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

 

why does Maple say that timelimit got one argument when doing

timelimit(30,solve(x^2+a=0,x) assuming a>0)

There is clearly 2 arguments in the above, The first is 30 and the second argument is solve(x^2+a=0,x) assuming a>0

I know the workaround is to add [ ] around solve(). 

timelimit(30, [solve(x^2+a=0,x) assuming a>0])

Maple 2020.1 windows

I've asked about this 5 years ago

 

https://www.mapleprimes.com/questions/203628-Maple-2015-No-Longer-Autoscroll-As

And according to the reply there at the time, this is supposed to have been fixed in Maple 2015.1:

It appears that the scrolling issue has been fixed in the next version of Maple

But ever since then, whenever I use Maple, the worksheet do not auto-scroll as the program runs and prints outout to the screen. I have to keep using the mouse to move the bar down to see the latest prints.

Not only that, the bar itself (on the right side) shrinks in size as more outpout is printed.

It becomes smaller and smaller with time, and becomes very hard to grab it with the mouse since it become so thin.  Once all the output is deleted, the bar become long again.

So I think there is an option to enable autoscrolling somewhere.

But I am not able to find it. I looked at options, display, general and interface and see nothing there to turn it on.

Sometimes I get the feeling that the folks at Maplesoft do not use Maple interface the way we users use it, becuase this is such a basic interface problem and any one who uses Maple interface for more than one day must see these problems all the time.

So how come these are still not fixed?  Here is a screen shot showing the bar on the right after long print out, and showing how it was before.

I use only worksheet mode, not document mode. On windows 10.

 

 

 

 

First 125 126 127 128 129 130 131 Last Page 127 of 202