Maple 2024 Questions and Posts

These are Posts and Questions associated with the product, Maple 2024

Maple does not have full_simplify() command like with Mathematica.

So I figured why not make one? 

Here is a basic implementation. All what it does is blindly tries different simplifications methods I know about and learned from this forum then at the end sorts the result by leaf count and returns to the user the one with smallest leaf count.

I tried it on few inputs.

Advantage of full_simplify() is that user does not have to keep trying themselves. One disadvantage is that this can take longer time. timelimit can be added to this to make it not hang.

Can you see and make more improvement to this function?

May be we all together can make a better full_simplify() in Maple to use. Feel free to edit and change.

#version 1.0  
#increment version number each time when making changes.

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:

worksheet below

 


 

204648

#version 1.0  
#increment version number each time when making changes.

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:

#test cases
T:=[(-192*cos(t)^6 + 288*cos(t)^4 - 912*cos(t)^3 - 108*cos(t)^2 + 684*cos(t) - 54)/(4608*cos(t)^9 - 10368*cos(t)^7 + 6208*cos(t)^6 + 7776*cos(t)^5 - 9312*cos(t)^4 - 2440*cos(t)^3 + 3492*cos(t)^2 + 372*cos(t) - 1169),
(10*(5+sqrt(41)))/(sqrt(70+10*sqrt(41))*sqrt(130+10*sqrt(41))),
((6-4*sqrt(2))*ln(3-2*sqrt(2))+(3-2*sqrt(2))*ln(17-12*sqrt(2))+32-24*sqrt(2))/(48*sqrt(2)-72)*(ln(sqrt(2)+1)+sqrt(2))/3,
(1/2)*exp((1/2)*x)*(cosh((1/2)*x)-cosh((3/2)*x)+sinh((1/2)*x)+sinh((3/2)*x))
];

[(-192*cos(t)^6+288*cos(t)^4-912*cos(t)^3-108*cos(t)^2+684*cos(t)-54)/(4608*cos(t)^9-10368*cos(t)^7+6208*cos(t)^6+7776*cos(t)^5-9312*cos(t)^4-2440*cos(t)^3+3492*cos(t)^2+372*cos(t)-1169), 10*(5+41^(1/2))/((70+10*41^(1/2))^(1/2)*(130+10*41^(1/2))^(1/2)), (1/3)*((6-4*2^(1/2))*ln(3-2*2^(1/2))+(3-2*2^(1/2))*ln(17-12*2^(1/2))+32-24*2^(1/2))*(ln(1+2^(1/2))+2^(1/2))/(48*2^(1/2)-72), (1/2)*exp((1/2)*x)*(cosh((1/2)*x)-cosh((3/2)*x)+sinh((1/2)*x)+sinh((3/2)*x))]

full_simplify~(T)

[-6*(10+cos(6*t)+38*cos(3*t))/(-975+18*cos(9*t)-70*cos(3*t)+194*cos(6*t)), (1/2)*2^(1/2), (1/9)*(ln(1+2^(1/2))+2^(1/2))^2, (1/2)*exp(x)-(1/2)*exp(-x)]

 


 

Download full_simplify.mw

I just installed Maple 2024.0 and I discovered a problem in that the "Manage Style Sets" under the "Format" menu DOESN'T WORK!!! Type the following to understand how this feature works and see if you have the same problem:

>?workshhet,documenting,styles

Follow the instructions.  They are pretty simple.  Find a worksheet that has the styles you like and open it up and then save this Style Set in Maple 2024.0.  Then close it.  Open a new worksheet.  Go to "Format" and then click on "Managing Style Sets" and then click on the Style Set file name you saved previously and you will find that it does not set the style set you saved previously.  

 

Another problem you will find is that it doesn't save your Style Set file where it is supposed to save it.  It needs to be saved in a Maple 2024.0 created folder known as "data" and then in a folder under "data" called "stylesets".  I had to manually go find my Style Set file and copy and paste it there.  

Please check this out and see if I am wrong.  I use the "Format" "Manage Style Sets" option a lot when I download files from this blog and ".mw"  have fonts size 12 and they default to the nearly impossible to read font!  After I have applied the "Manage Style Sets" I can see what I have! But for some reason in Maple 2024.0 this feature was not tested or something has changed in Maple 2024.0 to break this feature!

AllGraphs is a new function in Maple 2024. Good things!

However, it seems that most of its functionalities are already provided by NonIsomorphicGraphs, and its speed even lags behind that of NonIsomorphicGraphs 

 

I'm curious about what truly sets this function apart from existing ones. It generates isomorphic graphs if nonisomorphic=falseBut I donot know what its application is. Supporting directed graphs is a new thing, but its speed is not well.

iterator := GraphTheory[AllGraphs](vertices = 6, edges =6..7, connected, nonisomorphic)
s:=[seq(p, p = iterator)]:
nops(s)

Note that this function is suitable for generating non-isomorphic connected graphs with 6 vertices and either 6 or 7 edges. It doesn't hold an advantage in terms of speed, andNonIsomorphicGraphs also provides an iteration option.

I have been trying Maple 2024 and found this strange result. 

Calling solve(identity...  on same input in Maple 2024 gives very large and complex output compare with Maple 2023.2.1.

This was causing problem, until I found that simplifying the solution now gives same output as Maple 2023.2.1

But why is this now needed in Maple 2024? i.e. why is calling simplify needed when in Maple 2023 the simpler solution was returned automatically?

I changed my code to call simplify now on result of solve(identity...  but I am just curious what happened to cause this?

Below are two worksheets, one from Maple 2024 and one from Maple 2023.2 and you see the huge difference in result.


 

56056

interface(version);

`Standard Worksheet Interface, Maple 2023.2, Windows 10, November 24 2023 Build ID 1762575`

Physics:-Version();

`The "Physics Updates" version in the MapleCloud is 1693. The version installed in this computer is 1672 created 2024, February 7, 18:34 hours Pacific Time, found in the directory C:\Users\Owner\maple\toolbox\2023\Physics Updates\lib\`

restart;

238012

trial_solution_constants:=[A[1], A[2], A[3], A[4], A[5], A[6], A[7], A[8]];
eq:=-2*A[1]*sin(x)+2*A[2]*cos(x)-4*A[2]*x*sin(x)+2*A[3]*sin(x)+4*A[3]*x*cos(x)+2*A[4]*cos(x)-6*A[5]*sin(3*x)-8*A[5]*x*cos(3*x)+6*A[6]*cos(3*x)-8*A[6]*x*sin(3*x)-8*A[7]*cos(3*x)-8*A[8]*sin(3*x) = x*cos(x)^3;
solve(identity(eq,x),trial_solution_constants)

[A[1], A[2], A[3], A[4], A[5], A[6], A[7], A[8]]

-2*A[1]*sin(x)+2*A[2]*cos(x)-4*A[2]*x*sin(x)+2*A[3]*sin(x)+4*A[3]*x*cos(x)+2*A[4]*cos(x)-6*A[5]*sin(3*x)-8*A[5]*x*cos(3*x)+6*A[6]*cos(3*x)-8*A[6]*x*sin(3*x)-8*A[7]*cos(3*x)-8*A[8]*sin(3*x) = x*cos(x)^3

[[A[1] = 3/16, A[2] = 0, A[3] = 3/16, A[4] = 0, A[5] = -1/32, A[6] = 0, A[7] = 0, A[8] = 3/128]]

 


 

Download solve_identity_march_11_2024_maple_2023.mw

 


 

56056

interface(version);

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

Physics:-Version();

`The "Physics Updates" version in the MapleCloud is 1693 and is the same as the version installed in this computer, created 2024, March 7, 17:27 hours Pacific Time.`

restart;

56944

trial_solution_constants:=[A[1], A[2], A[3], A[4], A[5], A[6], A[7], A[8]];
eq:=-2*A[1]*sin(x)+2*A[2]*cos(x)-4*A[2]*x*sin(x)+2*A[3]*sin(x)+4*A[3]*x*cos(x)+2*A[4]*cos(x)-6*A[5]*sin(3*x)-8*A[5]*x*cos(3*x)+6*A[6]*cos(3*x)-8*A[6]*x*sin(3*x)-8*A[7]*cos(3*x)-8*A[8]*sin(3*x) = x*cos(x)^3;
solve(identity(eq,x),trial_solution_constants)

[A[1], A[2], A[3], A[4], A[5], A[6], A[7], A[8]]

-2*A[1]*sin(x)+2*A[2]*cos(x)-4*A[2]*x*sin(x)+2*A[3]*sin(x)+4*A[3]*x*cos(x)+2*A[4]*cos(x)-6*A[5]*sin(3*x)-8*A[5]*x*cos(3*x)+6*A[6]*cos(3*x)-8*A[6]*x*sin(3*x)-8*A[7]*cos(3*x)-8*A[8]*sin(3*x) = x*cos(x)^3

[[A[1] = -(3/16)*(648*cos(3)*sin(1)^3+972*cos(3)*sin(1)^2*cos(1)+432*sin(3)*sin(1)^3+648*sin(3)*sin(1)^2*cos(1)+2268*sin(1)^4+1296*sin(1)^3*cos(1)+324*sin(3)*cos(3)-108*sin(1)*cos(3)-585*cos(3)*cos(1)-133*sin(3)^2-153*sin(3)*sin(1)-48*sin(3)*cos(1)-2025*sin(1)^2+225)/(108*sin(1)*cos(3)+99*cos(3)*cos(1)-2*sin(3)^2+153*sin(3)*sin(1)-276*sin(3)*cos(1)-162*sin(1)^2+261), A[2] = (9/32)*(-48*cos(3)*sin(1)^3-72*cos(3)*sin(1)^2*cos(1)+88*sin(3)*sin(1)^3+132*sin(3)*sin(1)^2*cos(1)+864*sin(1)^4-108*sin(1)^3*cos(1)+21*sin(3)*cos(3)+117*sin(1)*cos(3)-144*cos(3)*cos(1)+40*sin(3)^2-12*sin(3)*sin(1)-141*sin(3)*cos(1)-972*sin(1)^2+243*cos(1)*sin(1)+144)/(108*sin(1)*cos(3)+99*cos(3)*cos(1)-2*sin(3)^2+153*sin(3)*sin(1)-276*sin(3)*cos(1)-162*sin(1)^2+261), A[3] = -(3/32)*(648*cos(3)*sin(1)^3+972*cos(3)*sin(1)^2*cos(1)+432*sin(3)*sin(1)^3+648*sin(3)*sin(1)^2*cos(1)+2268*sin(1)^4+1296*sin(1)^3*cos(1)+324*sin(3)*cos(3)-216*sin(1)*cos(3)-684*cos(3)*cos(1)-131*sin(3)^2-306*sin(3)*sin(1)+228*sin(3)*cos(1)-1863*sin(1)^2-36)/(108*sin(1)*cos(3)+99*cos(3)*cos(1)-2*sin(3)^2+153*sin(3)*sin(1)-276*sin(3)*cos(1)-162*sin(1)^2+261), A[4] = 0, A[5] = (1/64)*(216*cos(3)*sin(1)^3+324*cos(3)*sin(1)^2*cos(1)+144*sin(3)*sin(1)^3+216*sin(3)*sin(1)^2*cos(1)+756*sin(1)^4+432*sin(1)^3*cos(1)+41*cos(3)^2+108*sin(3)*cos(3)-216*sin(1)*cos(3)-360*cos(3)*cos(1)-306*sin(3)*sin(1)+444*sin(3)*cos(1)-405*sin(1)^2-401)/(2*cos(3)^2+108*sin(1)*cos(3)+99*cos(3)*cos(1)+153*sin(3)*sin(1)-276*sin(3)*cos(1)-162*sin(1)^2+259), A[6] = -(3/64)*(48*cos(3)*sin(1)^3+72*cos(3)*sin(1)^2*cos(1)-88*sin(3)*sin(1)^3-132*sin(3)*sin(1)^2*cos(1)-864*sin(1)^4+108*sin(1)^3*cos(1)+40*cos(3)^2-21*sin(3)*cos(3)-117*sin(1)*cos(3)+144*cos(3)*cos(1)+12*sin(3)*sin(1)+141*sin(3)*cos(1)+972*sin(1)^2-243*cos(1)*sin(1)-184)/(2*cos(3)^2+108*sin(1)*cos(3)+99*cos(3)*cos(1)+153*sin(3)*sin(1)-276*sin(3)*cos(1)-162*sin(1)^2+259), A[7] = (27/256)*(-48*cos(3)*sin(1)^3-72*cos(3)*sin(1)^2*cos(1)+88*sin(3)*sin(1)^3+132*sin(3)*sin(1)^2*cos(1)+864*sin(1)^4-108*sin(1)^3*cos(1)+21*sin(3)*cos(3)+117*sin(1)*cos(3)-144*cos(3)*cos(1)+40*sin(3)^2-12*sin(3)*sin(1)-141*sin(3)*cos(1)-972*sin(1)^2+243*cos(1)*sin(1)+144)/(108*sin(1)*cos(3)+99*cos(3)*cos(1)-2*sin(3)^2+153*sin(3)*sin(1)-276*sin(3)*cos(1)-162*sin(1)^2+261), A[8] = -(3/256)*(744*cos(3)*sin(1)^3+1116*cos(3)*sin(1)^2*cos(1)+496*sin(3)*sin(1)^3+744*sin(3)*sin(1)^2*cos(1)+2604*sin(1)^4+1488*sin(1)^3*cos(1)+372*sin(3)*cos(3)-216*sin(1)*cos(3)-756*cos(3)*cos(1)-151*sin(3)^2-306*sin(3)*sin(1)+180*sin(3)*cos(1)-2187*sin(1)^2+36)/(108*sin(1)*cos(3)+99*cos(3)*cos(1)-2*sin(3)^2+153*sin(3)*sin(1)-276*sin(3)*cos(1)-162*sin(1)^2+261)]]

simplify(%);

[[A[1] = 3/16, A[2] = 0, A[3] = 3/16, A[4] = 0, A[5] = -1/32, A[6] = 0, A[7] = 0, A[8] = 3/128]]

 


 

Download solve_identity_march_11_2024.mw

 


 

I have the following expressions:

m^3*r*(cos(theta)^6*a^6-9*cos(theta)^4*a^4*r^2+11*cos(theta)^2*a^2*r^4-(1/3)*r^6)*(cos(theta)^2*a^2-(1/3)*r^2)/(r^2+cos(theta)^2*a^2)^9

m^3*r*(cos(theta)^6*a^6-9*cos(theta)^4*a^4*r^2+11*cos(theta)^2*a^2*r^4-(1/3)*r^6)*(cos(theta)^2*a^2-(1/3)*r^2)/(r^2+cos(theta)^2*a^2)^9

(1)

(a^8*(r^10-10*m*r^9+(5*(a^2+8*m^2))*r^8-80*m^3*r^7+(10*(a^4+12*a^2*m^2+8*m^4))*r^6+(4*(-15*a^4*m-40*a^2*m^3-8*m^5))*r^5+(10*(a^6+12*a^4*m^2+8*a^2*m^4))*r^4+(40*(-a^6*m-2*a^4*m^3))*r^3+(5*(a^8+8*a^6*m^2))*r^2-10*a^8*m*r+a^10)*cos(theta)^8-(1/3)*(28*(-30*sin(theta)^2*a^4*m*r^5*(1/7)+r^10-10*m*r^9+(5*(a^2+8*m^2))*r^8+(40*(-a^2*m-2*m^3))*r^7+(10*(a^4+12*a^2*m^2+8*m^4))*r^6+(32*(-5*a^2*m^3-m^5))*r^5+(10*(a^6+12*a^4*m^2+8*a^2*m^4))*r^4+(40*(-a^6*m-2*a^4*m^3))*r^3+(5*(a^8+8*a^6*m^2))*r^2-10*a^8*m*r+a^10))*a^6*r^2*cos(theta)^6+(14*(-260*sin(theta)^2*a^6*m*r^3*(1/7)+r^10-10*m*r^9+(5*(a^2+8*m^2))*r^8+(40*(-a^2*m-2*m^3))*r^7+(10*(a^4+12*a^2*m^2+8*m^4))*r^6+(4*(-15*a^4*m-40*a^2*m^3-8*m^5))*r^5+(10*(a^6+12*a^4*m^2+8*a^2*m^4))*r^4-80*a^4*m^3*r^3+(5*(a^8+8*a^6*m^2))*r^2-10*a^8*m*r+a^10))*a^4*r^4*cos(theta)^4-4*a^2*(-10*a^8*m*r*sin(theta)^2+r^10-10*m*r^9+(5*(a^2+8*m^2))*r^8+(40*(-a^2*m-2*m^3))*r^7+(10*(a^4+12*a^2*m^2+8*m^4))*r^6+(4*(-15*a^4*m-40*a^2*m^3-8*m^5))*r^5+(10*(a^6+12*a^4*m^2+8*a^2*m^4))*r^4+(40*(-a^6*m-2*a^4*m^3))*r^3+(5*(a^8+8*a^6*m^2))*r^2+a^10)*r^6*cos(theta)^2+(1/9)*r^8*(a^2-2*m*r+r^2)^5)*m^3*r/((r^2+a^2*cos(theta)^2)^9*(a^2-2*m*r+r^2)^5)

(a^8*(r^10-10*m*r^9+5*(a^2+8*m^2)*r^8-80*m^3*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*cos(theta)^8-(28/3)*(-(30/7)*sin(theta)^2*a^4*m*r^5+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+32*(-5*a^2*m^3-m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*a^6*r^2*cos(theta)^6+14*(-(260/7)*sin(theta)^2*a^6*m*r^3+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4-80*a^4*m^3*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*a^4*r^4*cos(theta)^4-4*a^2*(-10*a^8*m*r*sin(theta)^2+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2+a^10)*r^6*cos(theta)^2+(1/9)*r^8*(a^2-2*m*r+r^2)^5)*m^3*r/((r^2+cos(theta)^2*a^2)^9*(a^2-2*m*r+r^2)^5)

(2)

The two expressions are the same because:

simplify(m^3*r*(cos(theta)^6*a^6-9*cos(theta)^4*a^4*r^2+11*cos(theta)^2*a^2*r^4-(1/3)*r^6)*(a^2*cos(theta)^2-(1/3)*r^2)/(r^2+a^2*cos(theta)^2)^9-(a^8*(r^10-10*m*r^9+5*(a^2+8*m^2)*r^8-80*m^3*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*cos(theta)^8-(28/3)*(-(30/7)*sin(theta)^2*a^4*m*r^5+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+32*(-5*a^2*m^3-m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*a^6*r^2*cos(theta)^6+14*(-(260/7)*sin(theta)^2*a^6*m*r^3+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4-80*a^4*m^3*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*a^4*r^4*cos(theta)^4-4*a^2*(-10*a^8*m*r*sin(theta)^2+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2+a^10)*r^6*cos(theta)^2+(1/9)*r^8*(a^2-2*m*r+r^2)^5)*m^3*r/((r^2+a^2*cos(theta)^2)^9*(a^2-2*m*r+r^2)^5))

0

(3)

But I don't get the expression (1) from (2) with the help of simplify() command:

simplify((a^8*(r^10-10*m*r^9+5*(a^2+8*m^2)*r^8-80*m^3*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*cos(theta)^8-(28/3)*(-(30/7)*sin(theta)^2*a^4*m*r^5+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+32*(-5*a^2*m^3-m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*a^6*r^2*cos(theta)^6+14*(-(260/7)*sin(theta)^2*a^6*m*r^3+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4-80*a^4*m^3*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*a^4*r^4*cos(theta)^4-4*a^2*(-10*a^8*m*r*sin(theta)^2+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2+a^10)*r^6*cos(theta)^2+(1/9)*r^8*(a^2-2*m*r+r^2)^5)*m^3*r/((r^2+a^2*cos(theta)^2)^9*(a^2-2*m*r+r^2)^5))

(a^8*(r^10-10*m*r^9+5*(a^2+8*m^2)*r^8-80*m^3*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*cos(theta)^8-(28/3)*(-(30/7)*sin(theta)^2*a^4*m*r^5+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+32*(-5*a^2*m^3-m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*a^6*r^2*cos(theta)^6+14*(-(260/7)*sin(theta)^2*a^6*m*r^3+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4-80*a^4*m^3*r^3+5*(a^8+8*a^6*m^2)*r^2-10*a^8*m*r+a^10)*a^4*r^4*cos(theta)^4-4*a^2*(-10*a^8*m*r*sin(theta)^2+r^10-10*m*r^9+5*(a^2+8*m^2)*r^8+40*(-a^2*m-2*m^3)*r^7+10*(a^4+12*a^2*m^2+8*m^4)*r^6+4*(-15*a^4*m-40*a^2*m^3-8*m^5)*r^5+10*(a^6+12*a^4*m^2+8*a^2*m^4)*r^4+40*(-a^6*m-2*a^4*m^3)*r^3+5*(a^8+8*a^6*m^2)*r^2+a^10)*r^6*cos(theta)^2+(1/9)*r^8*(a^2-2*m*r+r^2)^5)*m^3*r/((r^2+cos(theta)^2*a^2)^9*(a^2-2*m*r+r^2)^5)

(4)

Why not? Is there any solution for this?

 

NULL


 

Download QuestionSimplifyMultivariateRationalFunction.mw

 Hello,

  Doing simple calculations I found Maple 2024 and 2023 don't recognize Kronecker delta in the expression