acer

32358 Reputation

29 Badges

19 years, 331 days
Ontario, Canada

Social Networks and Content at Maplesoft.com

MaplePrimes Activity


These are answers submitted by acer

Last week or so _Maxim_ mentioned wrapping calls involving large Arrays in try..catch, presumably so that an error could be rethrown with a terse (or no) message string.

I noticed that in Maple 18(?) the error message arising from an invalid call to say InageTools:-Embed would elide the large Array/Matrix from the formatted error string.

So sometime between Maple 18 and Maple 2017 something has changed. If I'm right then it would be worthwhile pinning down the version where it changed, perhaps figure out if it were accidental or deliberate regression, and (in either case) submitting a bug report.

 

Using two calls to ArrayTools:-BlockCopy this can be done very quickly.

For N=10^4 and P=5 my machine does it so quickly that the elapsed time is reported as 0 seconds, because the time is below the timer threshold. Memory allocation increase is not measurably more than the memory footprint of the result Matrix. Garbage collection effects are also too small to measure (except in kilobytes, ie. tiny).

The only caveat is that the datatype of A and B must match.  But that allows for the case where neither has a specified datatype. (And mixed float[8] and complex[8] could be accomodated with minor changes).

In the attachment below I show it running for unspecified datatype (ie. `anything`) as well as float[8]. For interest I compare with Tom's two methods.

If you need to re-use Matrix C from some earlier use then it'd be a trivial change to edit the procedure F so that C is passed in as an argument. Of course you could then add boilerplate to verify that dimensions match, etc.

restart;

F:=proc(a::Matrix,b::Matrix,N::posint,P::posint)
  local C, dta, dtb;
  dta:=rtable_options(a,':-datatype');
  dtb:=rtable_options(b,':-datatype');
  if dta<>dtb then error "expecting matrices with same datatype";
  end if;
  C:=Matrix(N,2*P,':-datatype'=dta):
  ArrayTools:-BlockCopy(A,0,N,N,P,C,0,2*N,N,P);
  ArrayTools:-BlockCopy(B,0,N,N,P,C,N,2*N,N,P);
  C;
end proc:

n:=4;
p:=5;

4

5

A:=LinearAlgebra:-RandomMatrix(n,p,generator=1..10);

_rtable[18446883882722325438]

B:=LinearAlgebra:-RandomMatrix(n,p,generator=-10..-1);

_rtable[18446883882722328438]

F(A,B,n,p);

_rtable[18446883882722327598]

nr:=1000:
nc:=5:
A:=LinearAlgebra:-RandomMatrix(nr, nc):
B:=LinearAlgebra:-RandomMatrix(nr, nc):

M:=CodeTools:-Usage( Matrix
                                        ( [ seq
                                            ( [A[..,k], B[..,k]][],
                                              k=1..op([1,2],A)
                                            )
                                          ]
                                        )
                                     ):

memory used=30.86MiB, alloc change=1.00MiB, cpu time=195.00ms, real time=196.00ms, gc time=0ns

P:=CodeTools:-Usage( Matrix
                                        ( ListTools:-Interleave
                                          ( [LinearAlgebra:-Column(A,[1..op([1,2],A)])],
                                            [LinearAlgebra:-Column(B,[1..op([1,2],B)])]
                                          )
                                        )
                                     ):

memory used=29.74MiB, alloc change=0 bytes, cpu time=192.00ms, real time=193.00ms, gc time=12.00ms

Q:=CodeTools:-Usage( F(A,B,nr,nc) ):

memory used=83.35KiB, alloc change=0 bytes, cpu time=0ns, real time=0ns, gc time=0ns

LinearAlgebra:-Norm(P-M);

0

LinearAlgebra:-Norm(P-Q);

0

A:=LinearAlgebra:-RandomMatrix(nr, nc, datatype=float[8]):
B:=LinearAlgebra:-RandomMatrix(nr, nc, datatype=float[8]):

M:=CodeTools:-Usage( Matrix
                                        ( [ seq
                                            ( [A[..,k], B[..,k]][],
                                              k=1..op([1,2],A)
                                            )
                                          ]
                                        )
                                     ):

memory used=30.04MiB, alloc change=0 bytes, cpu time=189.00ms, real time=191.00ms, gc time=8.00ms

P:=CodeTools:-Usage( Matrix
                                        ( ListTools:-Interleave
                                          ( [LinearAlgebra:-Column(A,[1..op([1,2],A)])],
                                            [LinearAlgebra:-Column(B,[1..op([1,2],B)])]
                                          )
                                        )
                                     ):

memory used=30.04MiB, alloc change=0 bytes, cpu time=196.00ms, real time=194.00ms, gc time=12.00ms

Q:=CodeTools:-Usage( F(A,B,nr,nc) ):

memory used=83.43KiB, alloc change=0 bytes, cpu time=0ns, real time=0ns, gc time=0ns

LinearAlgebra:-Norm(P-M);

0.

LinearAlgebra:-Norm(P-Q);

0.

 


Download interleavecolumns.mw

From that website you should be able to right-click and Save-As from your webbrowser, and then use File-Open in Maple's GUI.

But if that is a problem for you, here's that example opened directly from within Maple (done in two related ways).
 

restart;

kernelopts(version);

`Maple 2016.2, X86 64 LINUX, Jan 13 2017, Build ID 1194701`

str:=Import("http://www.yorku.ca/marko/ComPhys/maple6-files/SpecialRel.mws"):

# Write it to a file.
# Here I'm writing it out to "/tmp/SpecialRel.mws" on Linux.
# On MS-Windows you could use an appropriate location, say
# "C:/TEMP/SpecialRel.mws" or what have you.

filename := "/tmp/SpecialRel.mws";
FileTools:-Text:-WriteFile(filename, str);

"/tmp/SpecialRel.mws"

93552

# Open that saved .mws file in a new Standard GUI tab.

Worksheet:-DisplayFile(filename);

# Optionally, open it immediately in a new tab of the Standard GUI.

streamcall(INTERFACE_WORKSHEET(':-display', ':-text'=str));

 

 

Download import_mws.mw

A MathContainer component is a very poor choice for storing numeric data. That is borne out by the absurdity of having to paste in a whole Matrix (or set its `expression` to the whole Matrix), and the inability to efficiently extract entries.

A DataTable component is much more suitable to storing a Matrix or Vector. A DataTable is tied directly to an actual Matrix/Vector so programmatic extraction and update is as usual, and efficient. The data is stored in the document and available after restart or close/re-open. 

@Earl 

It is a common misunderstanding about the solve command that it somehow requires you to solve for all variables, or is otherwise weirdly picky about which.

A related misunderstanding is that when solve returns NULL it means that there is no solution at all for the supplied variables. But it can mean that there is no solution for the solving-variables that allows the remaining variables to be unrestricted.

The essence is in whether solve can return solutions in which all the variables are either free or defined in terms of those that are free.

In your example you cannot solve only for xp, since x and tp are otherwise restricted. And you cannot solve for just xpx, and tp because then t and v are still restricted. Even if you evaluate those particular expressions PrimeTime and PrimeLength beforehand at the special values of x and tp then solve would still need to get at least one of t or v as a solving variable, because t and v are restricted by each other.

So if you want to utilize solve for your example then you have to include at least one of t or v in the set of solving-variables (or pass the parametric option so that restrictions can be handled and expressed via piecewise, but that has limited support for inequalites and non-polynomial expressions).

Another command for this kind of thing (often overlooked) is eliminate. For your example it can return a formula for xp (and other solving-variable subsets) as well as the set of restrictions on the remaining variables.

When the second component of the list returned by eliminate is the empty set then there are no restrictions on the remaining variables, which means that the particular call to eliminate would also have succeeded with solve.

See attached: SpecialRelativity_1.mw

Yes, this is handled in Maple 2017 via new Typesetting:-Settings(typesetdot) functionality.

See the second bullet point of the first section of the help page with topic updates,Maple2017,compatibility .

restart

kernelopts(version)

`Maple 2017.2, X86 64 LINUX, Jul 19 2017, Build ID 1247392`

interface(typesetting = extended)

fun1 := diff(x(t), t, t)+2*xi*(diff(x(t), t))+omega[n]*x(t) = a*omega[f]^2*y(t)

diff(diff(x(t), t), t)+2*xi*(diff(x(t), t))+omega[n]*x(t) = a*omega[f]^2*y(t)

Typesetting:-Settings(typesetdot = true)

fun1

diff(diff(x(t), t), t)+2*xi*(diff(x(t), t))+omega[n]*x(t) = a*omega[f]^2*y(t)

``

 

Download dotfun.mw

It looks like you may have inadvertently entered one of those r-subscript-i instances as r__i instead of r[i] , in that call to `seq`.

Make sure that those subscripts are with square bracket indexing and not with double underscores. Otherwise they won't be mutable with respect to index `i` as it takes on takes from 1 to 8.

Also make sure that all the others are like r[1] , r[2] , etc.

In other words, you need to be consistent.

The alternative is to use double underscore subscripting for all 8, and then build the pair inside `seq` dynamically with concatenation. That would be ugly code.

For the example with HankelH1(0,...), without the change of variables. And a few observations about handling the imaginary part.

restart;

kernelopts(version);

`Maple 2017.3, X86 64 LINUX, Sep 27 2017, Build ID 1265877`

ig:=cos(alpha*s)*(1/8*I)*(-HankelH1(0, beta*s)-(2*I)*BesselK(0, beta*s)/Pi)/beta^2;

((1/8)*I)*cos(alpha*s)*(-HankelH1(0, beta*s)-(2*I)*BesselK(0, beta*s)/Pi)/beta^2

bah:=int(ig, s=0..infinity); # Bah.

(1/8)/(beta^3*((alpha^2+beta^2)/beta^2)^(1/2))

evalf(eval([bah, Int(ig,s=0..infinity)], [alpha=1,beta=3/2]));

[0.3081667755e-1, 0.3081667757e-1-0.4969039950e-1*I]

newig:=convert(ig,Bessel);

((1/8)*I)*cos(alpha*s)*(-BesselJ(0, beta*s)-I*BesselY(0, beta*s)-(2*I)*BesselK(0, beta*s)/Pi)/beta^2

conds:=s>0, alpha>0, beta>0, seq(r::real,r=indets(newig,specfunc({BesselJ,BesselY,BesselK})));

0 < s, 0 < alpha, 0 < beta, (BesselJ(0, beta*s))::real, (BesselK(0, beta*s))::real, (BesselY(0, beta*s))::real

ans:=int(newig,s=0..infinity) assuming conds;

(1/2)*2^(1/2)*Pi^(1/2)*(-((1/8)*I)*2^(1/2)*Heaviside(beta-alpha)/(Pi^(1/2)*(-alpha^2+beta^2)^(1/2)*beta^2)-(1/8)*2^(1/2)*Heaviside(-beta+alpha)/(Pi^(1/2)*(alpha^2-beta^2)^(1/2)*beta^2)+(1/8)*2^(1/2)/(Pi^(1/2)*(alpha^2+beta^2)^(1/2)*beta^2))

rans:=radnormal(convert(ans,piecewise,alpha)) assuming alpha>0, beta>0;

rans := piecewise(alpha < beta, -(I*sqrt(alpha^2+beta^2)-sqrt(-alpha^2+beta^2))/(8*sqrt(alpha^2+beta^2)*beta^2*sqrt(-alpha^2+beta^2)), alpha = beta, ((undefined*I)*sqrt(alpha^2+beta^2)*sqrt(alpha^2-beta^2)-undefined*sqrt(alpha^2+beta^2)*sqrt(-alpha^2+beta^2)+sqrt(-alpha^2+beta^2)*sqrt(alpha^2-beta^2))/(8*sqrt(alpha^2+beta^2)*beta^2*sqrt(-alpha^2+beta^2)*sqrt(alpha^2-beta^2)), beta < alpha, (sqrt(alpha^2-beta^2)-sqrt(alpha^2+beta^2))/(8*sqrt(alpha^2+beta^2)*beta^2*sqrt(alpha^2-beta^2)))

evalf(eval([ans,rans,Int(ig,s=0..infinity)], [alpha=1,beta=3/2]));

[0.3081667754e-1-0.4969039945e-1*I, 0.3081667754e-1-0.4969039949e-1*I, 0.3081667757e-1-0.4969039950e-1*I]

evalf(eval([ans,rans,Int(ig,s=0..infinity)], [alpha=2,beta=3/2]));

[-0.1977383032e-1, -0.1977383033e-1, -0.1977383033e-1+0.6e-13*I]

plots:-display(
    plot3d([Re,Im](rans),alpha=0..beta,beta=0..2, view=-1..1, color=[red,blue], style=surface),
    plot3d([Re,Im](rans),alpha=beta..2,beta=0..2, view=-1..1, color=[red,blue], style=surface)
);

 

I suspect that the following relates to how it can lose the imaginary part.

 

ig_hmm:=simplify(Im(newig)) assuming conds;

-(1/8)*cos(alpha*s)*BesselJ(0, beta*s)/beta^2

int(ig_hmm, s=0..infinity); # Bah. We are lucky this didn't happen for `ans` above!

0

 

We can look at similar ways to get it right, or wrong...

 

another:=evalc(Re(newig)+Im(newig)*I) assuming conds;

(1/8)*cos(alpha*s)*(BesselY(0, beta*s)*Pi+2*BesselK(0, beta*s))/(beta^2*Pi)-((1/8)*I)*cos(alpha*s)*BesselJ(0, beta*s)/beta^2

int(another, s=0..infinity): simplify(%) assuming conds; # Bah
evalf(eval(%, [alpha=1,beta=3/2]));

(1/8)/(beta^2*(alpha^2+beta^2)^(1/2))

0.3081667757e-1

int(another, s=0..infinity) assuming conds: simplify(%) assuming conds;
evalf(eval(%, [alpha=1,beta=3/2]));

-((1/8)*I)*Heaviside(beta-alpha)/((-alpha^2+beta^2)^(1/2)*beta^2)-(1/8)/(beta^2*(alpha^2-beta^2)^(1/2))+(1/8)*Heaviside(beta-alpha)/(beta^2*(alpha^2-beta^2)^(1/2))+(1/8)/(beta^2*(alpha^2+beta^2)^(1/2))

0.3081667757e-1-0.4969039948e-1*I

int(evalc(Re(newig)+Im(newig)*I), s=0..infinity) assuming conds;
simplify(%) assuming conds;
evalf(eval(%, [alpha=1,beta=3/2]));

(1/2)*2^(1/2)*Pi^(1/2)*(-((1/8)*I)*2^(1/2)*Heaviside(beta-alpha)/(Pi^(1/2)*(-alpha^2+beta^2)^(1/2)*beta^2)-(1/8)*2^(1/2)*Heaviside(-beta+alpha)/(Pi^(1/2)*(alpha^2-beta^2)^(1/2)*beta^2)+(1/8)*2^(1/2)/(Pi^(1/2)*(alpha^2+beta^2)^(1/2)*beta^2))

-((1/8)*I)*Heaviside(beta-alpha)/((-alpha^2+beta^2)^(1/2)*beta^2)-(1/8)/(beta^2*(alpha^2-beta^2)^(1/2))+(1/8)*Heaviside(beta-alpha)/(beta^2*(alpha^2-beta^2)^(1/2))+(1/8)/(beta^2*(alpha^2+beta^2)^(1/2))

0.3081667757e-1-0.4969039948e-1*I

 


Download IntcosBesselJ.mw

[edited] Somehow I missed the following simpler variant, in which after converting to the integrand `Bessel` the extra assumptions on the Bessel calls are not needed. (I wonder what I was doing that made me think it was needed above... likely I just got confused.)

restart;

kernelopts(version);

`Maple 2017.3, X86 64 LINUX, Sep 27 2017, Build ID 1265877`

integrand:=cos(alpha*s)*(1/8*I)*(-HankelH1(0, beta*s)-(2*I)*BesselK(0, beta*s)/Pi)/beta^2;

((1/8)*I)*cos(alpha*s)*(-HankelH1(0, beta*s)-(2*I)*BesselK(0, beta*s)/Pi)/beta^2

ans1:=int(convert(integrand,Bessel), s=0..infinity) assuming alpha>0, beta>0;

(1/2)*2^(1/2)*Pi^(1/2)*(-((1/8)*I)*2^(1/2)*Heaviside(beta-alpha)/(Pi^(1/2)*(-alpha^2+beta^2)^(1/2)*beta^2)-(1/8)*2^(1/2)*Heaviside(-beta+alpha)/(Pi^(1/2)*(alpha^2-beta^2)^(1/2)*beta^2)+(1/8)*2^(1/2)/(Pi^(1/2)*(alpha^2+beta^2)^(1/2)*beta^2))

ans2:=simplify(convert(ans1,piecewise,alpha)) assuming alpha>0, beta>0;;

ans2 := piecewise(alpha < beta, -(I*sqrt(alpha^2+beta^2)-sqrt(-alpha^2+beta^2))/(8*sqrt(alpha^2+beta^2)*beta^2*sqrt(-alpha^2+beta^2)), alpha = beta, ((undefined*sqrt(alpha^2+beta^2)*beta^2+sqrt(alpha^2-beta^2))*sqrt(-alpha^2+beta^2)+(undefined*I)*sqrt(alpha^2-beta^2)*sqrt(alpha^2+beta^2)*beta^2)/(8*sqrt(alpha^2-beta^2)*sqrt(-alpha^2+beta^2)*sqrt(alpha^2+beta^2)*beta^2), beta < alpha, (sqrt(alpha^2-beta^2)-sqrt(alpha^2+beta^2))/(8*sqrt(alpha^2+beta^2)*beta^2*sqrt(alpha^2-beta^2)))

evalf(eval([ans1,ans2,Int(integrand,s=0..infinity)], [alpha=1,beta=3/2]));

[0.3081667754e-1-0.4969039945e-1*I, 0.3081667754e-1-0.4969039949e-1*I, 0.3081667757e-1-0.4969039950e-1*I]

evalf(eval([ans1,ans2,Int(integrand,s=0..infinity)], [alpha=2,beta=3/2]));

[-0.1977383032e-1, -0.1977383033e-1, -0.1977383033e-1+0.6e-13*I]

plots:-display(
    plot3d([Re,Im](ans1),alpha=0..beta,beta=0..2, view=-1..1, color=[red,blue], grid=[600,50], style=surface),
    plot3d([Re,Im](ans1),alpha=beta..2,beta=0..2, view=-1..1, color=[red,blue], grid=[600,50], style=surface)
);

 


Download IntcosBesselJ_2.mw

The name Psi is the name of an assigned special function in Maple. Use another name. Eg,

restart;
with(PDEtools):

U := diff_table(PSI(`&psi;_2`, `&psi;_1`)):

pde := `&psi;_2`*(diff(PSI(`&psi;_2`,`&psi;_1`),`&psi;_1`))+`&psi;_1`*U[`&psi;_1`]+2*U[] = 0:

pdsolve(pde);

                                   _F1(&psi;_2)
          PSI(&psi;_2, &psi;_1) = --------------------
                                                    2
                                 (&psi;_1 + &psi;_2)

The most important thing that I suspect you might not have realized is that there is a huge difference between the typeset 2D Math ft as a unit (which gets pretty-printed in upright roman font) versus ft as a name (which gets pretty-printed in italics).

Before Maple 2017 units were typeset within double-brace fencing. In Maple 2017 the braces have gone, which is nice for some people but confusing for others.

There are three common ways to enter an actual unit:
1) Using the Units palette (in the left panel of the GUI). This always typesets it in upright roman, even for input.
2) Typing the keystrokes Unit, and then either typing in round-brackets to make that a function call, or using command-completion (Esc key, say) to turn such 2D Input into the brace-less upright roman font form.
3) Typing keyboard accelerations like Alt-shift-u (for Linux, but varies with platforms) to get into unit entry mode.

Attached below are a Worksheet with 1D Maple Notation and a Document with 2D Input (I used command-completion to enter all the units for the Document).

I've utilized the Units:-Simple package so that arithmetic operations done at the top-level combine units.

I've shown the combine(...,units) command which is the best way to combine units into the "base unit" for the final dimensions of a result.

I've used the Units:-UseUnit command to force the "base unit" for several different combinations of dimension (you may wish to augment this). I find this much superior to the right-click Units Formatting since the latter has to be done every time one wants a result in a preferred unit rather than the default unit for a given dimension.

units1.mw

units2.mw

I'll also mention that if you loaded the Units:-Natural package (instead of Units:-Standard or Units:-Simple) then you would be able to type in names and symbols of units without any extra work (palettes, Unit() command, keyboard acceleration, etc). That's how many Mathcad users are used to doing things. The problem with that scheme in Maple is that things get just too awkward with such a huge number of single-letter names being effectively removed from one's global namespace. Almost nobody uses Units:-Natural . (I consider it unworkable, and wish it would go away...) If you do  not load this subpackage then you cannot simply type a name like `feet` and have Maple interpret it as a unit, but instead you need to use 1), 2), or 3) above (or cut & paste from some actual unit).

Once again, it appears that you are looking for pretty-printed output, since for 2D Input there's little difficulty.

I'll leave aside the approach of building it with the mouse using palettes (or command completion for the Greek), and then conversion to Atomic Identifier via the right-click menu. You've been shown that in another recent thread.

We can construct TypeMK (the stuff that atomic identifiers are made of) for this.

 

Using TypeMK.

 

A + `#mrow(msub(mn("&lambda;"),mn("1")),mi("I"));` = <1,2; 3,4>;

"A+lambda[1]I=[[[1,2],[3,4]]]"

 

And now with upright roman A and I.

 

`#mn("A")` + `#mrow(msub(mn("&lambda;"),mn("1")),mn("I"));` = <1,2; 3,4>;

"A+lambda[1]I=[[[1,2],[3,4]]]"

 

And now with upright roman A and I, in bold.

 

`#mn("A",fontweight = "bold")`
+ `#mrow(msub(mn("&lambda;"),mn("1")),mn("I",fontweight = "bold"));` = <1,2; 3,4>;

"A+lambda[1]I=[[[1,2],[3,4]]]"

NULL


Download typemk.mw

Presumably your question is about the pretty-printing of 2D Math output.

This was done in Maple 16.02, but may work in your Maple 13.
 

restart

M := Matrix([[1, 2], [3, 4]])

Matrix(%id = 18446884297779762110)

 

For these next two examples I used the right-click context menu to turn the LHS into atomic identifiers.

NB. This second example still has the usual Matrix brackets (round when typesetting level is standard, and square when extended) inside the vertical bar fencing, however. And that's not what was requested.

 

`#mrow(mo("&verbar;"),mi("M"),mo("&verbar;"))` = LinearAlgebra:-Determinant(M)

`#mrow(mo("&verbar;"),mi("M"),mo("&verbar;"))` = -2

`#mrow(mo("&verbar;"),mfenced(mtable(mtr(mtd(mn("7")),mtd(mn("2"))),mtr(mtd(mn("3")),mtd(mn("3")))),open = "&lsqb;",close = "&rsqb;"),mo("&verbar;"))` = LinearAlgebra[Determinant](Matrix(2, 2, {(1, 1) = 7, (1, 2) = 2, (2, 1) = 3, (2, 2) = 3}))

`#mrow(mo("&verbar;"),mfenced(mtable(mtr(mtd(mn("7")),mtd(mn("2"))),mtr(mtd(mn("3")),mtd(mn("3")))),open = "&lsqb;",close = "&rsqb;"),mo("&verbar;"))` = 15

 

The last two examples are done without using atomic identifiers.

 

They simply wrap the LHS with uneval quotes (single right quotes), and then rely on the following custom printing function.

 

This custom printing procedure could be put in the Startup Code Region of the Document/Worksheet, or put in one's Maple initialization file.

 

`print/Determinant`:=proc(A)
  uses Typesetting;
  if not type(eval(A),Matrix) then error "expecting a Matrix"; end if;
  mrow(mo("&verbar;"),eval(Typeset(EV(A)),mfenced=(x->x)),mo("&verbar;"));
end proc:

'abs(M)' = abs(M)

LinearAlgebra:-Determinant(M) = -2

'LinearAlgebra:-Determinant(M)' = LinearAlgebra:-Determinant(M)

LinearAlgebra:-Determinant(M) = -2

 


Download verbar.mw

@mapleatha 

In 2D Input mode you can enter A=B=C , or A+lamda I = A+ 4I = B , say. Then right-click on it and choose the context-menu action 2-D Math -> Convert To -> Atomic Variable in the menus that pop up. That turns it into a name which pretty-prints as output like the original input. In Maple 13 it is called an Atomic Identifier, I believe.

You can also create 2D Math expressions which do not execute, and you can also intersperse those within paragraphs of text, say. That is possible in Maple 13 too, I believe.

In a Document in Maple 2017 you could also enter such a thing in 2D Input, and then hover the mouse cursor near its end to reveal a round toggle button that can be used to disable execution of the line.

In this was you can create quite a variety of expository mathematical formulas which don't necessarily have to parse and evaluate to valid Maple language constructs.

In the example Document below I used the right-click conversion to the inputs assigned to foo and bar, and toggled the Q+R+S to non-executable. This was in Maple 2017.3.

restart

foo := `#mrow(mi("A"),mo("&equals;"),mi("B"),mo("&equals;"),mi("C"))`

`#mrow(mi("A"),mo("&equals;"),mi("B"),mo("&equals;"),mi("C"))`

foo

`#mrow(mi("A"),mo("&equals;"),mi("B"),mo("&equals;"),mi("C"))`

bar := `#mrow(mi("A"),mo("&plus;"),mi("&lambda;",fontstyle = "normal"),mo("&InvisibleTimes;"),mi("I"),mo("&InvisibleTimes;"),mo("&equals;"),mi("A"),mo("&plus;"),mn("4"),mo("&InvisibleTimes;"),mi("I"),mo("&equals;"),mi("B"))`

`#mrow(mi("A"),mo("&plus;"),mi("&lambda;",fontstyle = "normal"),mo("&InvisibleTimes;"),mi("I"),mo("&InvisibleTimes;"),mo("&equals;"),mi("A"),mo("&plus;"),mn("4"),mo("&InvisibleTimes;"),mi("I"),mo("&equals;"),mi("B"))`

bar

`#mrow(mi("A"),mo("&plus;"),mi("&lambda;",fontstyle = "normal"),mo("&InvisibleTimes;"),mi("I"),mo("&InvisibleTimes;"),mo("&equals;"),mi("A"),mo("&plus;"),mn("4"),mo("&InvisibleTimes;"),mi("I"),mo("&equals;"),mi("B"))`

Q+R+S

5

5

``

 

Download 2datomic.mw

Here are some examples executed in Maple 13 (including convert-to-atomic-identifier on the rhs of the assignments to foo and bar).

The left-alignment below is an artefact of inlining into Mapleprimes; the items were centered in Maple 13's GUI.

restart

x := 7;

7

(1)

foo := `#mrow(mi("A"),mo("&equals;"),mi("B"),mo("&equals;"),mi("C"))`

`#mrow(mi("A"),mo("&equals;"),mi("B"),mo("&equals;"),mi("C"))`

(2)

foo;

`#mrow(mi("A"),mo("&equals;"),mi("B"),mo("&equals;"),mi("C"))`

(3)

bar := `#mrow(mi("A"),mo("&plus;"),mi("&lambda;",fontstyle = "normal"),mo("&InvisibleTimes;"),mi("I"),mo("&equals;"),mi("A"),mo("&plus;"),mn("4"),mo("&InvisibleTimes;"),mi("I"),mo("&equals;"),mi("B"))`

`#mrow(mi("A"),mo("&plus;"),mi("&lambda;",fontstyle = "normal"),mo("&InvisibleTimes;"),mi("I"),mo("&equals;"),mi("A"),mo("&plus;"),mn("4"),mo("&InvisibleTimes;"),mi("I"),mo("&equals;"),mi("B"))`

(4)

bar

`#mrow(mi("A"),mo("&plus;"),mi("&lambda;",fontstyle = "normal"),mo("&InvisibleTimes;"),mi("I"),mo("&equals;"),mi("A"),mo("&plus;"),mn("4"),mo("&InvisibleTimes;"),mi("I"),mo("&equals;"),mi("B"))`

(5)

This is some text and some math such as sqrt(sin(Pi/x))or x = foo and foo = baror A=B=C is inlined. I use Ctl-r to switch to 2D Math entry mode and Ctl-t to switch to text mode.

 

5

5

(6)

`#mrow(mfenced(mtable(mtr(mtd(mn("1")),mtd(mn("3"))),mtr(mtd(mn("7")),mtd(mn("9")))),open = "&lsqb;",close = "&rsqb;"),mo("&plus;"),mfenced(mtable(mtr(mtd(mi("a")),mtd(mi("b"))),mtr(mtd(mi("c")),mtd(mi("d")))),open = "&lsqb;",close = "&rsqb;"),mo("&equals;"),mfenced(mtable(mtr(mtd(mn("1")),mtd(mn("3"))),mtr(mtd(mn("7")),mtd(mn("9")))),open = "&lsqb;",close = "&rsqb;"),mo("&plus;"),mn("4"),mo("&InvisibleTimes;"),mfenced(mtable(mtr(mtd(mn("1")),mtd(mn("0"))),mtr(mtd(mn("0")),mtd(mn("1")))),open = "&lsqb;",close = "&rsqb;"),mo("&equals;"),mfenced(mtable(mtr(mtd(mn("5")),mtd(mn("3"))),mtr(mtd(mn("7")),mtd(mn("13")))),open = "&lsqb;",close = "&rsqb;"))`

(Matrix(2, 2, {(1, 1) = 1, (1, 2) = 3, (2, 1) = 7, (2, 2) = 9}))+(Matrix(2, 2, {(1, 1) = a, (1, 2) = b, (2, 1) = c, (2, 2) = d})) = (Matrix(2, 2, {(1, 1) = 1, (1, 2) = 3, (2, 1) = 7, (2, 2) = 9}))+4*(Matrix(2, 2, {(1, 1) = 1, (1, 2) = 0, (2, 1) = 0, (2, 2) = 1})) and (Matrix(2, 2, {(1, 1) = 1, (1, 2) = 3, (2, 1) = 7, (2, 2) = 9}))+4*(Matrix(2, 2, {(1, 1) = 1, (1, 2) = 0, (2, 1) = 0, (2, 2) = 1})) = (Matrix(2, 2, {(1, 1) = 5, (1, 2) = 3, (2, 1) = 7, (2, 2) = 13}))

(7)

``

NULL


Download 2dm13.mw

Using Maple 2017.2,

restart;

assume(nu > 2, beta > 0, lambda > 0, delta > 0, y >= 0):

S:=dsolve(beta+y+(D(h))(y) = nu*((lambda+beta+y)^2-delta*h(y))^(1/2)):

subsindets(simplify(S),RootOf,u->map(simplify,u));

[edited: I see that the OP has since indicated he is using 2016.2]

For Maple 2016.2 you could try instead,

subsindets(simplify(simplify(S),size), RootOf,
           u->map(uu->simplify(simplify(uu),size),u));
In Maple 2017 the `simplify` command (without extra argument) does the additional actions of `simplify(...,size)` even when not executed at the top-level.

The syntax to load the package is,

   with(simplex)

and not,

   with simplex

as your Comment indicates.

Note the there should be no space between the "h" of "with" and the opening round bracket.

The round brackets are required, since here they denote a function call to the `with` command, and they are not merely separators.

First 190 191 192 193 194 195 196 Last Page 192 of 336