C_R

3732 Reputation

21 Badges

6 years, 212 days

MaplePrimes Activity


These are questions asked by C_R

I have troubles writing text passages including non-executable math with Maple 2026 in worksheet mode.

Since these "indicator switches" (or radio buttons) are not available any more, I have tried "toggling" between text and non-executable math by using F5. I am struggeling with too many use errors (changing mode, start writing in the wrong mode, deleting wrong text, toggling the mode with F5).

Is it normal that the cursor does not clearly indicate the entry mode state? Here is an example

There seems to be no difference between non-executable math and executable math. Only a small underline is visible. In document mode the cursor changes to grey for non-executable and to light blue for executable input. Was it allways like this (and I did not pay attention because of the above indicators switches) or is it something related to my local setting? Can someone confirm? Any other suggestions to speed up text editing.

Context: Commenting Maple worksheets with text mixed with nonexecutable math. I look for ways to speed up my workflow because the new quick access buttons do not provide quick access to change the entry mode. Too many clicks are needed. Usabilty has been degraded further with Maples 2026 version by shrinking the quick access button in size and moving them out of the user focus. They are now in the upper right corner of the screen but most user interactions happen on the left side of the screen. This is forcing me going back to shortcuts that I stopped using after the introduction of Maple 2021.

The command completion facility is real time saver. On the other hand, entering the colon dash is not fluent since it requires searching the keys on the key board.

I was wondering if there is a keyboard shortcut that enters both characters at once.

Can someone explain why the element selection inside Compare works differently for the second argument?

ode := diff(diff(y(x), x), x)+sin(y(x)) = 0; IC := y(infinity) = Pi; sol := [dsolve([ode, IC])]

diff(diff(y(x), x), x)+sin(y(x)) = 0

 

y(infinity) = Pi

 

[y(x) = RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. Pi))+_a+c__2))^(1/2), _a = 0 .. _Z))+x+c__2), y(x) = RootOf(Int(1/(2*cos(_a)+RootOf(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. Pi)+_a+c__2))^(1/2), _a = 0 .. _Z)+x+c__2)]

(1)

dsolve([ode, y(x__IC) = y__IC])

y(x) = RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. y__IC))+x__IC+c__2))^(1/2), _a = 0 .. _Z))+x+c__2), y(x) = RootOf(Int(1/(2*cos(_a)+RootOf(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. y__IC)+x__IC+c__2))^(1/2), _a = 0 .. _Z)+x+c__2)

(2)

ExpressionTools:-Compare(sol[1], [y(x) = RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. y__IC))+x__IC+c__2))^(1/2), _a = 0 .. _Z))+x+c__2), y(x) = RootOf(Int(1/(2*cos(_a)+RootOf(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. y__IC)+x__IC+c__2))^(1/2), _a = 0 .. _Z)+x+c__2)][1])

"([[y(x)=RootOf(-(∫)[0]^_Z1/(sqrt(2 cos(_a)+RootOf(-(∫)[0]^Pi1/(sqrt(2 cos(_a)+_Z)) ⅆ_a+_a+`c__2`))) ⅆ_a+x+`c__2`)],[[y(x)=RootOf(-(∫)[0]^_Z1/(sqrt(2 cos(_a)+RootOf(-(∫)[0]^`y__IC`1/(sqrt(2 cos(_a)+_Z)) ⅆ_a+`x__IC`+`c__2`))) ⅆ_a+x+`c__2`),y(x)=RootOf((∫)[0]^_Z1/(sqrt(2 cos(_a)+RootOf((∫)[0]^`y__IC`1/(sqrt(2 cos(_a)+_Z)) ⅆ_a+`x__IC`+`c__2`))) ⅆ_a+x+`c__2`)][1]]])"

(3)

whattype(y(x) = RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. y__IC))+x__IC+c__2))^(1/2), _a = 0 .. _Z))+x+c__2), y(x) = RootOf(Int(1/(2*cos(_a)+RootOf(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. y__IC)+x__IC+c__2))^(1/2), _a = 0 .. _Z)+x+c__2))

exprseq

(4)

ExpressionTools:-Compare(sol[1], (y(x) = RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. y__IC))+x__IC+c__2))^(1/2), _a = 0 .. _Z))+x+c__2), y(x) = RootOf(Int(1/(2*cos(_a)+RootOf(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. y__IC)+x__IC+c__2))^(1/2), _a = 0 .. _Z)+x+c__2))[1])

"([[y(x)=RootOf(-(∫)[0]^_Z1/(sqrt(2 cos(_a)+RootOf(-(∫)[0]^Pi1/(sqrt(2 cos(_a)+_Z)) ⅆ_a+_a+`c__2`))) ⅆ_a+x+`c__2`)],[(y(x)=RootOf(-(∫)[0]^_Z1/(sqrt(2 cos(_a)+RootOf(-(∫)[0]^`y__IC`1/(sqrt(2 cos(_a)+_Z)) ⅆ_a+`x__IC`+`c__2`))) ⅆ_a+x+`c__2`),y(x)=RootOf((∫)[0]^_Z1/(sqrt(2 cos(_a)+RootOf((∫)[0]^`y__IC`1/(sqrt(2 cos(_a)+_Z)) ⅆ_a+`x__IC`+`c__2`))) ⅆ_a+x+`c__2`))[1]]])"

(5)

NULL

(y(x) = RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. y__IC))+x__IC+c__2))^(1/2), _a = 0 .. _Z))+x+c__2), y(x) = RootOf(Int(1/(2*cos(_a)+RootOf(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. y__IC)+x__IC+c__2))^(1/2), _a = 0 .. _Z)+x+c__2))[1]; ExpressionTools:-Compare(sol[1], %)

y(x) = RootOf(-(Int(1/sqrt(2*cos(_a)+RootOf(-(Int(1/sqrt(2*cos(_a)+_Z), _a = 0 .. y__IC))+x__IC+c__2)), _a = 0 .. _Z))+x+c__2)

(6)
 

NULL

Download Compare_and_indexing_output.mw

Is there an easier or shorter way to do the following? Any handy package command?

RootOf(-(Int(1/sqrt(2*cos(_a)+RootOf(-(Int(1/sqrt(2*cos(_a)+_Z), _a = 0 .. Pi))+_a+c__2)), _a = 0 .. _Z))+x+c__2)

RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. Pi))+_a+c__2))^(1/2), _a = 0 .. _Z))+x+c__2)

(1)

indets(RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. Pi))+_a+c__2))^(1/2), _a = 0 .. _Z))+x+c__2), 'specfunc(anything, RootOf)')

{RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. Pi))+_a+c__2), RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. Pi))+_a+c__2))^(1/2), _a = 0 .. _Z))+x+c__2)}

(2)

subs(_a = _b, {RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. Pi))+_a+c__2), RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. Pi))+_a+c__2))^(1/2), _a = 0 .. _Z))+x+c__2)}[1])

RootOf(-(Int(1/(2*cos(_b)+_Z)^(1/2), _b = 0 .. Pi))+_b+c__2)

(3)

subs({RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. Pi))+_a+c__2), RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. Pi))+_a+c__2))^(1/2), _a = 0 .. _Z))+x+c__2)}[1] = RootOf(-(Int(1/(2*cos(_b)+_Z)^(1/2), _b = 0 .. Pi))+_b+c__2), RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_a)+_Z)^(1/2), _a = 0 .. Pi))+_a+c__2))^(1/2), _a = 0 .. _Z))+x+c__2))

RootOf(-(Int(1/(2*cos(_a)+RootOf(-(Int(1/(2*cos(_b)+_Z)^(1/2), _b = 0 .. Pi))+_b+c__2))^(1/2), _a = 0 .. _Z))+x+c__2)

(4)

NULL

Related question: Is that substitution mathematically correct or does the _a belong to the outermost RootOf?

Download parameters_in_nested_RootOf.mw

To find the recently introduced new command that compares two expressions, I prompted the large model: 

Answer:

A useful Maple command specifically for comparing two expressions is verify.
Use it like this:
verify(expr1, expr2, equal);
This asks Maple whether the two expressions are mathematically equal.
If you want a more robust algebraic check, a very common alternative is:
is(simplify(expr1 - expr2) = 0);
For polynomial expressions, this is also common:
evalb(expand(expr1 - expr2) = 0);

This is not what I was looking for. I was looking for the command that visually highlights differences.
Can the prompt be improved?

1 2 3 4 5 6 7 Last Page 1 of 51