@yahya121990 For me, the block generation is working well: selecting subsystem t and using all defaults. I've tested this on two different machines (macOS and Windows). [Currently, I have no recent Matlab/Simulink installed, so I cannot check the block in the target environment. But the problem you see is independent of that.]

I suppose you have the Ropes & Pulleys library installed? Your model (essentially this one, then wrapped into a subsystem) requires it.

Edit: link insertion in MaplePrimes is buggy: try this instead: https://wwww.maplesoft.com/products/maplesim/ModelGallery/detail.aspx?id=335

If you upload your MapleSim model (using the green arrow-up button in the message editor), we can take a look. If you you don't want to publish it, please send it to our support team.

Where did you obtain that overly complicated representation from?

If you insert

sol := simplify(sol,'symbolic');

odetest will succeed.

It's still not as compact as dsolve's output.

AFM means Adobe Font Metrics, and the files are located in Maple's afm subdirectory.

Since I have never seen that error message, I'm afraid I cannot help, sorry.

If you find a MWE, please submit an SCR.

@Axel Vogt That's a good suggestion. But I guess one more step needs to be inserted to make it tractable:

expr := eval(expr,c[2]=ln(a));
expr := evala(expr);
result := int(expr,y);

@vs140580 I'm not an expert on QCT, but since today is a holiday in Canada, I wanted to jump in and confirm that QCT 2023 has been released ~6 weeks ago, and yes, it includes SMILES functionality.

Thanks for bringing this to our attention. I have submitted a bug report internally.

If you have reasons to believe that those floats should be rational, then convert/rational is fine, of course.

But if that restriction is not given, try identify instead. It will suggest that r[0] = 60*sqrt(2) in the first solution set. Does that make sense (e.g. if the solutions describe some geometrical or physical object)?

For more insights, it might be necessary to increase Digits and rerun the fsolve command (or whatever sol was obtained from).

@Zhao_zhifu Multigraphs are a new feature of Maple 2023 which was released a few weeks ago. Please see here for more news.

@sursumCorda Those two SMTLIB:-Satisfy calls seem to hang in Maple 2023. That problem is already under investigation, as far as I know. So I won't install any extra runtimes for now; it's better to wait for the fix.

@sursumCorda Ah, okay, I didn't check the coulditbe help page.

No, I haven't installed any addition runtime redistributables. I guess they were cleaned up between Maple versions 2022 and 2023. At least I always found that 6 was too much...

@Christian Wolinski That was fixed later on; please enter ?updates,Maple2018,AdvancedMath if you have a newer version, or see the online document.

I'm getting consistent results. Did you rerun your worksheet?

Just for fun, I have rewritten it in 1D math:

Download able_to_prove.mw

By the way, what do you want to achieve by _EnvTry := hard: ?
Did you mean _EnvTryHard := true: (as documented under ?solve,details)? Even that is not needed here...

I tried with Maple 2023 on W10 and various mws files: all working well, no freezes.

If it's a specific file, send it to de_support, please.

@MANUTTM I'm afraid I don't understand your question. So I'm just guessing, but here are some operations and commands you could try:

A := -20342.18861*(-0.392*exp(0.4*t2) + 0.392*exp(0.98*t2))*exp(-0.98*t2) + 19935.34483*(-0.98*exp(0.4*t2) + 0.4*exp(0.98*t2) + 0.58)*exp(-0.98*t2) - 1009.0057*i*(-0.98*exp(-0.98*t2)*exp(0.4*t2) + 0.4*exp(-0.98*t2)*exp(0.4*t2))/(exp(-0.98*t2)*exp(0.4*t2) - 1)^2 = 0:
indets(A, 'name'); # determine which variables occur
A := simplify(A); # optional step
isolate(A, t2); # self-explanatory
assign(%); # no output; turning an equation into an assignment
indets(t2, 'name');
RP := simplify(exp(-t2/50));  # isolate the RootOf placeholder
P := op(1, RP); # extract the polynomial
sort(P); # optional step; an inplace operation
degree(P);

As we can see, only the monomial of degree 29 contains a variable in its coefficient. Therefore,

coeff(P, _Z^29);

will return it. This step of visual inspection could also be automated, of course.