Dear Maple users

I am testing Maple 2026, which will be used at our school after the summer holiday. I see that AI have now found its way to Maple on a new level. AI can be used internally via the AI Assistant, but as I understand it will also be possible to let ChatGPT use Maple in order to provide an answer, instead of using it's own way to do math. I just cannot figure out how it is done. Having a school license for Maple means we take part in the Maplesoft Elite Maintenance Program (EMP). In Maple 2026 i have found Maple MCP on the "My Maple" båndet. When I click it I am however just referred to the main page of Maplesoft. My question: How can I make Maple MCP work for me?

Kind regards,

Erik V.

Hi Maple community and others,

I'm very proud to present my code.

Sequences are fun,
for those who know, about them

consider Fermat numbers, of the form,
F(n) = (2^(2^n)) + 1.
goes like

3, 5, 17, 257, 65537, 4294967297, 18446744073709551617, 
340282366920938463463374607431768211457, ...

in oeis.org database at
https://oeis.org/A000215 .

Similarly we can have base 3,

B(a) = (3^(3^a)) + 1.
goes like, this,
4,28,19684, ...
online, in database, with Universal Resource Location (URL)
https://oeis.org/A129290

There could also be base 4, that grows even faster
 

double_exponential_2_and_3_and_4.mw

That is all that I have, for now.

Thank you for this free forum.
regards,
Matt

Hi Maple community, and all,

Here is a little Maple worksheet, shoing an interesting property of prime numbers.

Numerical evidence supports Andreca's conjecture.

see    

_Andricas_conjecture.mw

good fun

see, also
Andrica's Conjecture -- from Wolfram MathWorld
Enjoy
regards,
Matt

PS online at https://MattAnderson.fun/

PPS Have a good day, everybody.

A very stupid question :I want my one-dimensional output from Maple 2016 and also Maple 2026, use as one-dimensional input in my Maple 2026 , which I just bought. I'am very inpatient and think it must be very simple but too complicated for me. Before making a very extensive and timeconsuming study somebody should be able to tell me to perform this  by a few clicks .
Thanking you beforehand and I'll be very gratefull for your help.

Bartele de Jong The netherlands

I am trying to use the Perm command in the GroupTheory package to create permutations. The problem is when the permutation has fixed points. For example, neither of the forms

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

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

will work. Any suggestions?

Has anybody seen something like that? I do not use Maple 2026 very often.

Does this vanish when the document is executed on another machine?

repeated_equation_labels.mw

Update:

• expanding the document block by "show command" makes the equation labels disappear.
• copying the input to another document block seems to fix the problem

Consider these two output, both for solving system of 2 first order different equations.

Why is the first result is put in a list, then each solution is in a set inside the list, while the second one is just a set of the two solutions?

My guess is that because the first system is non-linear.  Is this why?

This makes it little harder to parse the result later on, as it can change each time. 

Is there a way to get same output for the first example as in the second example?

Mapkle 2026.1

ode:=diff(x(t),t) = x(t)^2, diff(y(t),t) = exp(t);
sol:=dsolve([ode],[x(t),y(t)])

ode:=diff(x(t),t) = x(t), diff(y(t),t) = t;
sol:=dsolve([ode],[x(t),y(t)])

ps. the ode's are not even coupled in these example. So each can be solved on its own if needed.

And if there is one ode with multiple solutions, now dsolve returns expression sequence. No set, no list.

ode:=2*x*diff(y(x),x)*diff(diff(y(x),x),x) = -1+diff(y(x),x)^2; 
dsolve(ode,y(x));

This whole thing is a mess. 

There should be one consistent way to return solutions for all cases. 

Regadless if it is one ode with one solution, or one ode with mutliple solutions, or coupled systems of odes, linear or not and so on.

The output should be the same form in all cases. A list of lists or list of sets or whatever it is decided on.

But it should not change.

I was trying to use the debugger into a proc that has this call

P:=plots:-contourplot(RHS,':-colorbar' = false,':-contours' = L):

Even though the proc has : at its end, and the above call to plots also ends with :, the debugger insists in printing to the debugger window the contour cuves lines. i.e the value of P

Is there a way to tell the debugger not to do this? i.e. not show the value of P. It seems it does that automatically.

Here is the worksheet. Simply evaluate the call foo(); this will open a debugger windows. Then click on next button and now debugger will print  the output of plots:-contourplot(RHS,':-colorbar' = false,':-contours' = L): 

Download hang_maple_2026_1_on_timelimit.mw

Here is screen shot

In my main actual code, the output was so large that it hanged Maple UI when stepping into the debugger and hitting that line.  I had to kill Maple from task manager as Java UI got stuck due to large output.

Why is it showing value of P when I have : at the end? Is there an option to turn automatic display of variables in debugger as one steps in?

The integral shown in the attached file "test" was posted on another forum for calculation. I unsuccessfully attempted to apply Green's theorem in Maple and—as befits a Maple beginner—failed. Does Maple offer a sequence of commands to carry this out? I would appreciate some advice. If this is possible, I would then tackle the line integral using the residue theorem.

Download test.mw

I am implementing the Fokas (unified transform) method for the heat equation on a finite interval [0,1]. The solution is expressed as a contour integral in the complex k-plane and I evaluate it numerically in Maple.

When I call plot3d I get the following error, even though approx_u(0.5, 0.1)

Is there a way to make plot3d work? Any help appreciated.

Download heat_equation_on_finte_interval.mw

Any one knows a trick to help Maple obtain this much simpler solution to this ode obtained using AI?

ode := 4*(-1 + sqrt(1 - 1/x^2)*x^2)*sec(4 + 4*x + 4*arccsc(x))^2 - sqrt(1 - 1/x^2)*x^2*diff(f(x), x) = 0

Download AI_sol.mw

given

ode:=2*x^(1/2)*diff(y(x),x)-y(x) = -sin(x^(1/2))-cos(x^(1/2)); 
ic:=y(infinity) = y__0; 
sol:=dsolve([ode,ic]);

It gives  

This solution satisfies the ode itself. Now cos(sqrt(x)) when x=infinity is  -1..+1

But IC says y(infinity)=y0  so odetest do not verify the IC and gives this

odetest(sol,[ode,ic]);

I think dsolve should not have returned a solution at all. 

What do the experts here think of this result?

Maple 2026.1 on windows 10

I asked an LLM to provide an expansion of the MacDonald function of arbitrary order (a modified Bessel function of the second kind with purely imaginary order and positive argument), K(I*y,r), as a weighted sum of MacDonald functions of integer order. It came back with

         K(I*y,z)=2*sinh(Pi*y)/Pi* [K(0,r)/2*y+sum( (-1)^n*y*BesselK(0,r)/(y^2+n^2),n=1..infinity)]

(see below for more readable text)

I evaluated the LHS and RHS using Maple 2026 for various choices of y and r and found numerical agreement using both "sum" and "Sum".  I was very pleased until I realized that the RHS isn't a convergent series!

Can anyone explain to me how Maple pulls this off! 

(I asked Maplesoft Tech Support but they said it is above their pay grade... I suspect that Maple is using Borel summability to evaluate the RHS but I haven't been able to verify that)

I apologize, but I can't see how to attach a .mw file, so I've cut and pasted the code below

WHen I open many worksheets at same time, say 10. The new UI do not stack them all (i.e. the tab at the top), forcing one to use the small arrow to navigate to each worksheet.

Is there a way to tell the UI to show all tabs (may be double rows and 3 rows as needed) to make it easier to jump from one worksheet to the other?

I do not know if this is new feature in the new ribbon UI or not. 

Here is screen show where I have 10 worksheets open

There is also a pull down menu, but it only shows 8 worksheets and one can have more open but they do not show. So have to scroll down looking for the rest. Even that does not work well. many times when I try to scroll down, the window closes. It will not give me time to move the mouse to the scroll bar to move it before it closes.

Both of these solutions are not good. Having to use the arrow key to look and navigate for a different worksheet is bad UI design.

How to see all tabs for all open worksheet in same UI?  If the tabs do not fit on one row, why not make second row? If two rows do not fit, make 3rd row. This should be an option for the user. But I did not see one so far. But will keep looking.

I find tabs where all worksheet show much better design that this UI design.   

I only use worksheet and not document mode. Windows 10.

To give you idea what I mean, These are examples found on the net of stacked tabs

Where in Maple, each tab above will have the name of the worksheet open. Font can be small, is OK.

Is it possible to have this in the new UI for open worksheets?

One option I might try to make my worksheets names much shorter. May be then they will fit all in same window.

Dear all,

I'm reporting what seems to me as a bug in the SMTLIB library in maple. 

    |\^/|     Maple 2026 (X86 64 LINUX)
._|\|   |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2026
 \  MAPLE  /  All rights reserved. Maple is a trademark of
 <____ ____>  Waterloo Maple Inc.
      |       Type ? for help.
> SMTLIB:-Satisfiable({x^2=2,y^2=2,x<y});
                                     true

> SMTLIB:-Satisfiable({x^2=2,y^2=2,y<x});
                                     false

> SMTLIB:-Satisfiable({x^2=2,a^2=2,a<x});
                                     true

The Satisfiable command do not output the correct decision on two formulas of equivalent realization by switching x<y (output SAT) to y<x (output UNSAT). I suspect this is because some alphabetical order depandance in the variables as for a<y we get SAT again.

I tried to feed Z3 with the code given by ToString on the problematic formula and I get two different outputs :

• on the Z3 version 4.8.12 from the ubuntu repository (apt install) I also get the wrong UNSAT output;
• one the Z3 version 4.17.0 build from the official github repository I finally get the correct SAT output.

Thus, I suspect a version problem in SMTLIB that do not take in account the last updates made in SMT solvers (Z3?).

Many thanks for considering my problem!