Is there a trick to make Maple simplify 

to

I can't use the exp() trick given in earlier questions, since there is no exp here. Below are my attempts. Can someone find another smart trick to do this simplification? Should simplify() have simplified it as is with no assumptions or using tricks? This is all done in code, so solutions can not depend on "looking on screen" and deciding what to do for each step.

Download simplification_may_8_2025.mw

For reference, using another software

I asked similar question 5 years ago about Physics update but it was not possible to find this information

How-To-Find-What-Changed-In-Physics

I'd like to ask now again same about  SupportTools. Can one find out what update is actually included in new version?

Even if it is just 2-3 lines. It will be good if users had an idea what was fixed or improved in the new version.

Any update to software should inlcude such information. Not asking for details, just general information will be nice. Right now one does an update and have no idea at all what the new update fixed or improved which is not good.

May be such information can be displayed on screen after a user updates?

Hi!

Sorry if I am missing something or not following any implicit rules, I am really new to Maple and this forum.

For the sake of completeness, here the code that is given:

Ve := Vector([VeX, VeY, VeZ]);
with(LinearAlgebra);
Vh := Normalize(Vector([alphaX*Ve(1), alphaY*Ve(2), Ve(3)]), Euclidean, conjugate = false);
lensq := Vh(1)*Vh(1) + Vh(2)*Vh(2);
T1 := Vector([-Vh(2), Vh(1), 0])/sqrt(lensq);
T2 := CrossProduct(Vh, T1);
r := sqrt(x);
phi := 2*Pi*y;
t1 := r*cos(phi);
t2 := r*sin(phi);
s := 1/2*(1 + Vh(3));
t22 := (1 - s)*sqrt(1 - t1*t1) + s*t2;
Nh := t1*T1 + t22*T2 + sqrt(1 - t1*t1 - t22*t22)*Vh;
NULL;
Ne := Normalize(Vector([alphaX*Nh(1), alphaY*Nh(2), Nh(3)]), Euclidean, conjugate = false);
AV := (-1 + sqrt(1 + (alphaX^2*Ve(1)^2 + alphaY^2*Ve(2)^2)/Ve(3)^2))/2;
G1 := 1/(1 + AV);
DN := 1/(Pi*alphaX*alphaY*(Ne(1)^2/alphaX^2 + Ne(2)^2/alphaY^2 + Ne(3)^2)^2);

DVN := G1*DotProduct(Ve, Ne, conjugate = false)*DN/DotProduct(Ve, Vector([0, 0, 1]), conjugate = false);
PDF := DVN/(4*DotProduct(Ve, Ne, conjugate = false));

So far, so good. Now what I want to do is:

PDFint := int(PDF, [x = xInf .. xSup, y = yInf .. ySup]);

to calculate the symbolic integral of PDF over x and y. The issue is that I keep running out of memory after a few hours and my operating system (Linux Fedora) automatically shuts Maple down.

I am convinced that there must be a way to either preprocess PDF so that the int(...) command doesn't eat up all the RAM, or some different way to calculate an integral that maybe has a different structure?

I have tried codegen[optimize](PDF) and liked what it did, but I don't know how to progress with the result of it, if at all possible.

I know that there is also a way to calculate the integral numerically, but I need the analytic integral, so numerical solutions are of no use to me.

If there is really no way for me to obtain this integral, I would really appreciate an explanation of why, so that I can rest at night finally lol.

Thank you in advance,

Jane

according to what is new in Maple 2025, it says

• Maple 2025 introduces several important improvements to simplify regarding expressions containing exponential, trigonometric, hyperbolic, and/or inverse trigonometric functions, resulting in more compact results. Other commands in the math library also provide simpler results due to these improvements.

But I still see weakness in simplify. (see also recent question).

Here is an example, A and B below are equivalent mathematically. But A is almost twice as big. So one would expect simplify(A) to return B. right? But it does not. Also using size option has no effect.  

Does one need more tricks in Maple to make it simplify this? Is this not something that a powerful CAS software like Maple should have been able to do?

Download why_can_not_simplify_may_4_2025.mw

Using another software, all what is needed is call to Simpify to do it:

I also tried my most power full_simplify() function in Maple, and it had no effect

full_simplify:=proc(e::anything)
   local result::list;
   local f:=proc(a,b)
      RETURN(MmaTranslator:-Mma:-LeafCount(a)<MmaTranslator:-Mma:-LeafCount(b))
   end proc;

   #add more methods as needed

   result:=[simplify(e),
            simplify(e,size),
            simplify(combine(e)),
            simplify(combine(e),size),
            radnormal(evala( combine(e) )),
            simplify(evala( combine(e) )),
            evala(radnormal( combine(e) )),
            simplify(radnormal( combine(e) )),
            evala(factor(e)),
            simplify(e,ln),
            simplify(e,power),
            simplify(e,RootOf),
            simplify(e,sqrt),
            simplify(e,trig),
            simplify(convert(e,trig)),
            simplify(convert(e,exp)),
            combine(e)
   ];   
   RETURN( sort(result,f)[1]);   

end proc:

Calling full_simplify(A) did not simplify it.

I wanted to search for all files with some extention in directory tree. But when adding depth=infinity and also adding 'select'="*.log" (or whatever the extension I want is), then it returns an empty list even though there are files with this extension but deep in the tree.

If I remove select, then it does work, but it returns list of the files in the tree. Which I do not want. I want to filter these by select.

If I remove depth=infinity then select works but only finds such files at top level of the directory and does look down the tree where there are more such files.

It seems select and depth conflict with each others.  Adding 'all' option makes no difference.

I do not remember now if I reported this before or not.

Here is worksheet showing this problem

Download listdirectory_may_3_2025.mw

How can one get list of files with specific extension in the whole tree? And why is adding select makes it not work? Help does not say anything about select does not work when adding depth=infinity.

I suppose I can get list of all files in tree, then iterate over the list and remove all entries that do not end with the extension I wanted. But this is what select is supposed to do. For example

folder_name:="/home/me/maple2025/"; #works but this finds everything
L:=FileTools:-ListDirectory(folder_name,depth=infinity):
map(X->`if`(FileTools:-Extension(X)="wav",X,NULL),L);

Gives list of only files with extension "wav". So the above is workaround for now.

These are the same (i.e. mathematically equivalent for real x)

A:=-x*(x - 4*exp(x/2) + 2);
B:=x*sqrt((-8*x - 16)*exp(x/2) + x^2 + 4*x + 16*exp(x) + 4);

But can't see how to use Maple to show this, other than numerically and by plotting.

Any one knows of a trick? Below is worksheet. Using another software, it was able to show they are same:

Here are my attempts in Maple 2025
 

>  interface(version); >  restart; >  A:=-x*(x - 4*exp(x/2) + 2); B:=x*sqrt((-8*x - 16)*exp(x/2) + x^2 + 4*x + 16*exp(x) + 4); >  plots:-display(Array([plot(A,x=-3..3),plot(B,x=-3..3)]))   >  Digits:=16; seq(MmaTranslator:-Mma:-Chop(A-B),x=-2..2,.1) >  simplify(A-B); >  simplify(A-B) assuming real; >  simplify(evala(A-B)) assuming real; >  simplify(normal(A-B)) assuming real; >  simplify(A-B,exp) assuming real; >  simplify(evalc(A-B)) assuming real;

Download show_same_may_3_2025.mw

For compution this is not important, for latex, I find  n>0 little more clear to read than 0<n 

Is there a way to tell Maple not to reverse terms on each side of the > just for latex purposes?

It seems Maple does this only for   > and not for  <

I know the latex output follows what is displayed on the screen in Maple. And that is what happens also for display. Maple rewrites n>0 as   0<n.   

I tried changing display->Typesetting level from extended to maple standard but this had no effect. 

Is there a trick to make Maple not all the > to  <  ?

Again, I wanted to do this just for the latex output because for computation and for screen display in worksheet, it is not an the issue for me, as I only use Latex output.

It seems Maple like to make everything  based on "<" internally and that is why it reverses it?

Download why_reverses_may_1_2025.mw

This happens in Maple 2025, but when I checked Maple 2024.2, same thing happen.

To reproduce, I typed ?coeff in the worksheet. Now the help page for coeff comes up OK. On the right, there are some links below "see also". 

Clicking on the one that says PolynomialTools[CoefficientVector] and now an EMPTY page opens up.

Also, typing ?PolynomialTools in worksheet, opens the help page for Overview of the PolynomialTools Package. Now clicking on CoefficientList link, opens an EMPTY page. Same when clicking on CoefficientVector, an EMPTY page !

Have not checked all the links in the help page, but why are some commands have empty help pages?

The series to ode using 'series' option (if it exists) should always be series(...), i.e. with big O at end. but sometimes Maple forgets to add this. Here is an example

Download bug_report_dsolve_series_april_28_2025.mw

Hello everyone,

I am creating this post to begin a thread where I will share a series of worksheets on important topics in Complex Analysis, written as part of my notes for my classes. Complex_Analysis_Notes.pdf

The planned sections include:

• Section 1: Infinite Series

• Section 2: Power Series

• Section 3: The Radius of Convergence of a Power Series

• Section 4: The Riemann Zeta Function and the Riemann Hypothesis

• Section 5: The Prime Number Theorem

Each worksheet will include calculations, plots, and examples using Maple to illustrate key ideas.

✅ I plan to upload one worksheet every week to keep a steady pace and allow time for discussion and feedback between posts.

I hope this thread will be helpful both for learning and for deeper exploration.
Feel free to comment, suggest improvements, or ask questions as I post the materials.

Thank you!

Download infinite_series.mw

These two expressions are the same, just pulled minus sign out

But look what happens when integrating them. the anti derivative of one is much more complicated than the other and contains complex numbers and logs. And no matter what I tried, I could not convert the complicated one to look same as the simpler result. Also could not verify the complicated one by back differentiating.

Download int_strange_result_april_27_2025.mw

I would have expected same anti derivative to show.  To check, I used another software, and that one gave same anti-derivative for both integrands.

The questions I have: Why Maple gives such different result for same integrand? And how could one convert the one with the logs and complex numbers to the first one?

Maple 2025

 I am writing notes on complex analysis, I need to use figures of contour paths to integrate on them, i want to create something like this

I tried to plot the contour for 
\oint_{|z|=2} \frac{1}{z^2+1}\,dz
I need to have connecting lines all around because the poles can not be isolated

Download CIF.mw

Hello all,

After updating the Physics package I have this error :

Physics:-Version();
The "Physics Updates" version "1862" is installed in the

   directory C:\Users\jm\maple\toolbox\2025\Physics Updates but

   is not active. The active version of Physics is within the

   library C:/Users/jm/maple/toolbox/2025/Physics Updates/lib\Ph\

  ysics Updates.maple.

What am I supposed to do next?

Thanks a lot and kind regards to all,

Jean-Michel

FYI;

You might have to try the command more than one time to see the above crash. Here is the worksheet

Download crash_maple_2025_april_27_2025.mw

Hopefully a fix could be found for this.

Just found new regression in Maple 2025. This internal error can not be cought and was not there in Maple 2024.2. This is new from the ones reprted earlier in Collection-Of-Problems-In-Maple-2025 

Here it is , using latest SupportTools

Download regression_maple_2025_april_26_2025.mw

Here is the same code in Maple 2024.2 but using windows. No internal error and timeout was cought as expected.

Download no_problem_in_maple_2024_april_26_2025.mw