Let a, b, c, d be real numbers. Define two geometric regions implicitly: a＋b＋c＋d＞0∧ab＋ac＋ad＋bc＋bd＋cd＞a²＋b²＋c²＋d², and abcd＞0∧abc＋abd＋acd＋bcd＞0. Suppose that somebody wants to prove that the former region is a subset of the latter one. Can we implement such an implication simply using certain ready-made commands in basic Maple? In other words, it is hoped that 

restart;
RealDomain:-simplify(forall([a, b, c, d], a + b​​​​​​​ + c + d > 0 and a*b + a*c + a*d + b*c + b*d + c*d > a^2 + b^2 + c^2 + d^2 implies a*b*c*d > 0 and a*b*c + a*b*d + a*c*d + b*c*d > 0));

Unfortunately, simplify just returns the statement unevaluated. So, how to address it in internal Maple? 

Note. The desired result (or return value) is true (see below).

1. restart; # Do not with(Logic): here
   RegularChains:-SemiAlgebraicSetTools:-QuantifierElimination(&A [d, c, b, a], ((d + c + b + a > 0) &and (b*a + c*a + d*a + c*b + d*b + d*c > a^2 + b^2 + c^2 + d^2)) &implies ((d*c*b*a > 0) &and (d*c*b + d*c*a + d*b*a + c*b*a > 0)));

2. restart;
   not SMTLIB:-Satisfiable(`not`(a + b + c + d > 0 and a*b + a*c + a*d + b*c + b*d + c*d > a^2 + b^2 + c^2 + d^2 implies d*c*b*a > 0 and a*b*c + a*b*d + a*c*d + b*c*d > 0)); # assuming real 

​​​​​​​​​​​​​​​​​​​​​Either ⒈ or ⒉ needs external calls. It seems that the Maple standard library functions in List of Commands still fail in simplifying expressions in the aforementioned form. Am I right?

File:

Solution_Methods.mw

Download Solution_Methods.mw

So i have an exam right around the corner, and maple decided to corrupt my file. I get the error "There was a problem in the loading process, you worksheet may be incomplete." I've tried the following troubleshooting:

Restart - No luck

Other computer - No luck

Checked the backupfolder. - 10 backups have been made, but they are all corupt aswell

I've Followed Can I repair a corrupted Maple document/worksheet file? (maplesoft.com) It didn't really do anything

Also tried the DeleteBadCharacters() proccess, but i get the error "Error, (in XMLTools:-ParseString) Element type "Equation" must be followed by either attribute specifications, ">" or "/>"."

Anyone who can help me out here? 

Hi there,

I updated to Maple 2022 recently. One problem I am facing is how after I write the code and get the output, which can be text or equations or plots, etc, when I try to copy it to MS Word for example, I don't have the option of "Copy as Image" anymore. This option was available in previous versions. So was it taken out in this version? If yes, what's a subtitue for that?

I am using Maple for a school project and need to be able to copy the 2D output to MS Word just like the previous versions of Maples did.

Regards

I am trying to run this procedure, but am getting an "Error, missing operation", highlighting the conditional break:

is_prime := proc()
     local i, x_check;
     printf(`Enter an integer to check if it is a prime number...`);
     x_check:=parse(readline(terminal));
     if x_check<=2 then
         printf(cat(x_check,` is a prime number.`));
     else
         for i from 2 to x_check-1 do
               if (irem(x_check,i)=0) then
                  printf(cat(x_check,` is not a prime number.`));
                  break 2;
             end if;
           end do;
         printf(cat(x_check,` is a prime number.`));
      end if;
end proc:

If I don't include the integer, I am able to run the procedure, but it does not function like I would like it to. I am running Maple 2022, and can sucessfully run the example conditional break code in the Help. What is wrong with my use of break?

GraphTheory/IsHamiltonian says that the method can be one of legacy, sat, or tsp. But why method = tsp brings about an error? 

GraphTheory:-IsHamiltonian(GraphTheory:-CompleteGraph(3, 3), method = tsp); # Maple 2022.2

Attachment: HamiltonianGraphQ.mws

I am trying to use the perpendicular symbol ⊥ as a superscript. Can this be done? For somereason the document will not displat?

Maple Worksheet - Error

Failed to load the worksheet /maplenet/convert/Q_10-12-22_Polar_point_line_symbol.mw .

Download Q_10-12-22_Polar_point_line_symbol.mw

I have a problem in my document (MapletsDisplayError.mw) with the following four lines of code

with(Maplets[Elements]);
maplet3 := Maplet(MessageDialog(warning, "No file containing dissociation constants found.", 'onapprove' = Shutdown()));
with(Maplets[Elements]);
Maplets[Display](maplet3);

Attached are two documents.  The first contains just the lines above and works fine.  The second generates an error when run if you choose No to both dialogs, and the error appears to be with the same four lines of code (if I comment those lines I do not get an error).

ThisWorksWithoutError.mw

MapletsDisplayError.mw

Hello.

I was wondering if it was possible for maple to automatically type in the values of the variables when calculating like

U:=50V

R:=10ohm

U/R=50V/10ohm=5A

instead of just typing

U/R=5A

hope my question makes sense :D

Let x, y, z be nonnegative real numbers. Obviously, x³+y³+z³-4xyz is not always nonnegative, since its value is -1 when x=y=z=1. But why Maple's minimize gives wrong result? 

minimize(x^3 + y^3 + z^3 - 4*x*y*z, x = 0 .. infinity, y = 0 .. infinity, z = 0 .. infinity);

Attachment: MinValue.mws.

MMA's Minimize finds correct infimum: 
So, can Maple always find correct exact (i.e., not just numerical) global minima (or maxima) at least for such problems with a small number of variables as well?

Wanted to plot a vector with the arrow function

for some reason the arrow head was not created. tried changing the input so the resulting coordinat would be [10,10] insted of [725,350] this created an arrowhead on the line.

with(plots):
with(plottools):
l1 := arrow([0, 0], [725, 350], 0.1, 0.4, 0.1, arrow, color = red, legend = "Vector v");
display(l1, axes = frame, view = [0 .. 900, 0 .. 500]);

Why does it not create the arrow head happen???

Either I am clueless (or very tired) or StringTools:-Remove is not behaving as it should (document attached)

IsThisABug.mw

I would like to be able to use python's matplotlib from Maple. I am doing the following currently

with(Python)
Start('home' = "/opt/anaconda3/lib/python3.9", 'path' = "/opt/anaconda3/lib/python3.9/site-packages")
ImportModule("matplotlib as mpl")

and the error I get back is

Error, (in Python:-ImportModule) ModuleNotFoundError: No module named 'matplotlib'
['Traceback (most recent call last):\n', '  File "<string>", line 1, in <module>\n', "ModuleNotFoundError: No module named 'matplotlib'\n"]

The string I passed into path is the directory where matplotlib seems to be located as far as I can tell. I looked this up in my IDE Spyder, but using the command print(matplotlib__file__).

UPDATE: but actually if I open a new worksheet and execute 

with(Python)
Start('home' = "/opt/anaconda3/lib/python3.9", 'path' = "/opt/anaconda3/lib/python3.9/site-packages")

The error is that 

Error, (in Python:-Start) unable to start Python: could not create process, mpython

So Maple isn't finding Python apparently.

I tried for 'home' also "/opt/anaconda3/bin", did not work.
 

In 1D worksheet mode I can't figure out how to insert a line between a and c. 

restart

a:=1
                             a := 1

c:=3
                             c := 3

Hello, everyone. I have plotted a simple equation and now have the following observation regarding it.

1- How to change or control axis style mean style like bold, colour change etc?

2-  How to change or control the font, colour and style of numbers written automatically by maple while plotting on the axis (x-axis, y-axis)?

3- How to change the font, style and colours of labels?

The problem I am facing is that whenever I save or import any graph as png or jpeg and then paste it into MS word, it's quality or pixel changes and it looks very bad. is there any way to save and paste good-quality pictures into documents that means DPI?

Qaulity_Help.mw

I've been running some animations on a Macbook Pro 2015 8GB RAM and a Macbook Pro SIlicon 2021 16GB RAM. The problem I was trying to solve was making these laptops run out of memory (animation of a 3D trajectory with 100000 points).

So I switched to a desktop linux setup with 256GB of RAM and 16 cores. I installed Maple and set everything up but it seems SUPER buggy (menus disappearing when I try to hover over their items) and it just crashes on versions of the problem I have that are easy to run even on the 8GB RAM Macbook from 2015.

Is there a history of the Linux version being worse than the Mac version or something? Is there any chance an .mla file I created on a Mac somehow doesn't work correct on Linux? Could it be some internal Maple limitation on memory? I am wondering what it could be.

The OS is Ubuntu 22.10 and the architecture is x86-64.

The requirements say Ubuntu 21.10. Does this mean at least 21.10, or exactly 21.10?

Maple is 2022.2.

Maple Build Number is 1657361

The freezing/crashing of Maple seems to occur when I play an animation. Everything gets slow and then everything stops working. 1000 point trajectory on a sphere. No issue on a much less powerful Macbook.