@acer 

Proofs in 2d math would not only be instructive but also a nice demonstration of Maple's capabilities producing texbook like output. Students and teachers will like it.

I think not many people are aware of it. Maybe worth considering doing this in the form of an example worksheet.

Do fun stuff and let it be known!

I have not found the right-panel subsexpression menu but replacing subexpressions is possible using subs. With that there is already allot functionality available that could justify a context pannel extension - if there is demand.

@acer

Thank you!

@acer 

Yes, what you demonstrate was my intention when I used the palette hands on to reproduce textbook snippets: Entering an assertion and doing some transformations on its elements to proof “something”. I see now that it is not that straight forward with a nice display in standard math notation.

Thank you for providing an example of proofs in textbook notation. In this case I see a clear advantage of using 2d input: What you click is what you read – the right parentheses provided it’s even correct.

Why the Logic package is not providing a lhs and rhs to easier refer to terms is a question for another day.

@Carl Love 

Finally it makes sense. Thank you!

Interesting Maplet.

I can guess some of the parameters but not all of them.

Could you give some explanations or examples?

What units should be used?

@Joe Riel 

It helps in combination with Carls response which uses &iff in a different way. What I would need now are examples how to manipulate, if possible, such assertions (on a student level).

@Carl Love 

Here is an example (using the arrow palette in Maple 2023) where Maples parser does not change the assertion. (That no equivalence symbol is returned is a different story. My intention was to keep the symbol, which I understand now, is nothing the Maple engine has a representation for.)

There is something with the examples of my original post, which I do not understand. The assertion is rephrased ("simplified") to something correct which wahshes out De Morgans laws, which I want to keep.

2d_Arrows.mw

The solution for the pendulum cannot be derived with "generic" methods available in Maple: see solution for pendulum and cantilever

@FDS 

It is good that you have clarified that my guess (of difference in methods) was wrong. I was not satisfied with that guess. Carl's amazing solution, from a different angle, demonstrated that we are not dealing with a nonlinear problem which makes solutions less depended on the method.

Your explanations above will help others. If you have not done it yet, you might want to add the mathcad tag in your original post.

Unfortuneately, I cannot provide a more efficient way - neither in terms of simple and compact syntax nor in computation efficiency. My optimization experience is not more than basic. You might want to clarify what is more important to you.

@Traruh Synred 

The forget function is used to clear remember tables of procedures it does not clear the any return values, i.e results of a precedure call. Maybe your procedure invokes other procedures that update their remember tables each time they are called.

Example: If you call sin(1.2345) Maple will only do the calculation once. Next time you call sin with that same argument Maple will return what it remembers. This process makes Maple efficient but can fill up the memory.

@Traruh Synred 

have you tried the forget command on your routine to clear memory?

@FDS                                                                

@MagnusMJ 

Does the Maple.ini file change when you change options (under tools).

Possible file locations are described here help(worksheet,reference,initialization).

You can equally rename the Maple.ini file to test if Maple creates a new Maple.ini file at the next startup.

If it does, we know at least that the GUI can write to the file system.

The GUI is implemented in Java. Do you have other Java installions on your system?

Try also minimizing the Maple Window and change display settings. Maybe the file dialogues are placed out of screen bounds.

@MagnusMJ 

What happens if you click on a Maplefile like Download jrive_ex4.mw , do some changes and then save? Close all files and open the file via Recent documents.Did you use the default settings and folders during installation?

What does "save as" do? Do you get a file dialogue?

Can you at least save to Maplecloud (to My Files) or export files?

(Maplecloud, if it works, could be a temporary workaround.) 

@FDS 

I read

the number one minus a vector divided by a scalar Q0. How to substract a vector form a scalar?