A bundle of planes is here defined as the set of all planes in Cartesian (x, y, z)-space that intersect along the same straight line. This line is commonly referred to as the axis of the bundle. Is there an efficient method in Maple to model a bundle of planes in a simple, symbolic way?
The background to my request for advice is the following problem (for those interested in the puzzle), dating back to 1965:
Let a surface be given in Euclidean space. Suppose that every planar section of the surface is a circle, provided the section contains more than one point. Prove that the surface is a sphere.

edited:

Simple deductions are sufficient to solve the puzzle. Complex calculations are not necessary.

how we can find the X1 and X2 in such system with high degree power 

aaaa.mw

A Blog Post reminded me of an old problem from my Mathcad-days:
Given a torus and two points, P and Q, on its surface, calculate and graphically represent the shortest path from P to Q.

edited:
Can Mathcad worksheets (MC14) be converted into functional worksheets for Maple?

I've reported a Maple 2026 bug, that Maple becomed unresponsive, when using a Nvidia driver later than version 610. I described in detail, what happens and I described, that I can break down this issue to the release of the Nvidia driver.

And now I get a message, that a moderator deleted my post as SPAM? Wow! Maple is considering SPAM, when a technical issue is reported? I am completely disappointed.

deleted post:

https://www.mapleprimes.com/questions/243789-Maple-Gets-Unresponsive-With-Nvidia?sp=243789

I am delighted to share that the ExaktAI Workspace now also provides a full-featured mathematical document interface for Lean, the theorem prover and proof assistant, integrated directly with computer algebra system (CAS) computation.

The Workspace, including its Lean integration, is in free beta testing and open to everybody.

Lean files (.lean) open as Lean documents, proofs are checked step by step with goals shown under each step, CAS computations can be inserted inside proofs, and a class of CAS results can be turned into Lean theorem candidates that Lean then independently checks.

The Workspace also includes a Lean tutorial, intended to make this accessible to users who are not yet familiar with Lean syntax and workflow.

CAS computations can be inserted between Lean proof steps. A class of CAS results can also be turned into Lean theorem candidates that Lean independently checks.



Edgardo S. Cheb-Terrab
ExaktAI, Canada
Research Fellow Emeritus at Maplesoft.

The former Maple UI displayed shortcut-keys in the menu entries. There was no need to consult the help system and good overview of possible menu control alternatives was provided.

In the new ribbon interface, such hints are not given anymore (if I am not mistaken).

Suggestion:
The information of shortcut keys could be added after the mouse-over text. For example Crtl+O after "Open a file"

 

For me, attaching the shortcut-key to the corresponding menu item is the most intuitive way to look up this information. Adding text is probably less invasive then graphical design changes, hence this pragmatic suggestion.

Alternatively, AI could provide the information but simple prompts (like "shortcut to open a file in Maple" or "list all keyboard shortcuts for Maple under Windows") did not work for me. A waist of time, credits and energy for nothing. Somehow it is difficult for to todays AIs to identify that there is a help page (not easy to find for beginners and me in Maples help system, IMO) that contains all information needed:
?worksheet,reference,hotwin

What I want in fact is to do the plot in 3D that you can see by looking at the image I have insert (Gauss Fct 3D with Plane.png). The important part of the plot is to reproduce the grid of the xz plane and yz plane with the plot in bue and orange. That is what I would like to do when I plot the gaussian fct exp(-(x^2+y^2)). Can it be done?

Thank you in advance. If it is not possible, I will ask for that in the beta forum.

Mario

Procedure MassRot in this worksheet animates the motion of two beads sliding without friction on a closed wire loop.

My question is stated in comments in the procedure where the beads' Angular Momentum vectors are calculated.

Beads_sliding.mw

On my installations I can neither convert nor copy/paste code with comments from 2D-Math to 1D without loosing the comments.
Also pasting to Word removes the comments.

Is that a known behaviour? Any workarounds?

Download copy_comments.mw

In the same sheet (Engineering Notation)

you can have: 

and

and even correct formating ... 

but there is no possibility to correct anything, it just ignores the settings ... unfortunately, I am pushed to use an older version ...

Hope this will change.

In the attached file, I want to represent a mixed polynomial in x, y, and z as the sum of squares from bracketed expressions. I know the result. But how do I do this in Maple? The help text didn't help me :-( .

test.mw

Download revert_application_of_function_composition.mw

Dear All,

I am currently encountering an issue while solving my boundary value problem in Maple. The following error message appears:
"Error (in dsolve/numeric/bvp/convertsys): unable to convert to an explicit first-order system".

This problem arises when I attempt to generate plots 

Maple_17_Error.mw

I am pleased to announce that Volume 6 Issue 2 of Maple Transactions has now been published.  In some ways it is the largest issue we have yet published, because it leads off with a magnificent paper by Gilbert Labelle, which clocks in (with its appendix) at over a hundred pages.  Professor Labelle is one of the world's best combinatorialists, and this paper is (in my mind) beautiful, and well worth the effort to read it.  The illustrations are also illuminating, and excellent.  

David Jeffrey and I put in two related papers, and together they clock in at just over fifty pages; and well I have to say there's some neat illustrations there, too.

But the real contributions of the issue are, first, Bill Bauldry's Simulation of the Enigma, in Maple (a worksheet included by popular demand!) and the five refereed papers.

The cover image is a picture from the Maplesoft reception at the International Conference on Mathematical Software held in Waterloo in July, which I reproduce here, just for fun.

The following statement is to be examined:

For every natural number n, there exists a natural number m such that (sqrt(2)-1)^n = sqrt(m+1)-sqrt(m).