MaplePrimes Questions

I am reading the Maple Programming Guide chapter 3 "Maple Expressions". There are subsections on "Indexed Expressions" and "Member Selection".

The following is based on reading these sections.

Consider the following module definition

m := module() export e, f:=2; end module:

What is the difference between m[e] and m:-e or m[f] and m:-f?

The documentation says that both evaluate module m's export e but the difference is that the index selection form will evaluate e before resolving the export.

What does this mean exactly?

When I try out in a worksheet both m[f] and m:-f return 2 and m[e] and m:-e return the name e.

when i finding parameter i want just choose a case for example a_1=a_1  and any other case a_2=0,and remove other case how i can do in maple

restart

with(PDEtools)

undeclare(prime)

`There is no more prime differentiation variable; all derivatives will be displayed as indexed functions`

(1)

with(DEtools)

with(DifferentialAlgebra)

"with(Student[ODEs][Solve]): "

with(IntegrationTools)

with(inttrans)

with(PDEtools)

with(Physics)

with(PolynomialTools)

with(RootFinding)

with(SolveTools)

with(LinearAlgebra)

with(sumtools)

``

ode := F(xi)^5*a[4]+F(xi)^4*a[3]+F(xi)^3*a[2]+(-k^2*a[1]+(diff(diff(F(xi), xi), xi))*a[5]-w)*F(xi)^2+(1/2)*F(xi)*(diff(diff(F(xi), xi), xi))*a[1]-(1/4)*(diff(F(xi), xi))^2*a[1] = 0

NULL

L := convert((cosh(xi)+sinh(xi))/(cosh(xi)-sinh(xi)), trig)

"Q(xi):=L:"

S := sum(A[i]*Q(xi)^i, i = 0 .. 1)+sum(B[i]*Q(xi)^(-i), i = 1 .. 1)

``

(2)

S

K := F(xi) = S

F1 := eval(ode, K)

simplify(%)

P := numer(lhs())*denom(rhs()) = numer(rhs())*denom(lhs())

Warning,  computation interrupted

 

NULL

solve(identity(P, xi), {k, w, A[0], A[1], B[1], a[1], a[2], a[3], a[4], a[5]})

Warning, solutions may have been lost

 

{k = k, w = w, A[0] = 0, A[1] = A[1], B[1] = 0, a[1] = a[1], a[2] = a[2], a[3] = a[3], a[4] = a[4], a[5] = a[5]}, {k = k, w = -4*A[0]*a[5], A[0] = A[0], A[1] = A[1], B[1] = B[1], a[1] = 0, a[2] = -4*a[5], a[3] = 0, a[4] = 0, a[5] = a[5]}, {k = k, w = (1/2)*A[0]*(3*k^2*A[0]^2*a[4]+2*k^2*A[0]*a[3]+k^2*a[2]+4*k^2*a[5]+2*A[0]^2*a[4]+2*A[0]*a[3]+2*a[2]), A[0] = A[0], A[1] = 0, B[1] = 0, a[1] = -(1/2)*A[0]*(3*A[0]^2*a[4]+2*A[0]*a[3]+a[2]+4*a[5]), a[2] = a[2], a[3] = a[3], a[4] = a[4], a[5] = a[5]}, {k = k, w = w, A[0] = A[0], A[1] = 0, B[1] = 0, a[1] = a[1], a[2] = (-A[0]^3*a[4]+k^2*a[1]-A[0]^2*a[3]+w)/A[0], a[3] = a[3], a[4] = a[4], a[5] = a[5]}, {k = k, w = 4*A[1]*a[5]+4*B[1]*a[5], A[0] = -A[1]-B[1], A[1] = A[1], B[1] = B[1], a[1] = 0, a[2] = -4*a[5], a[3] = 0, a[4] = 0, a[5] = a[5]}, {k = k, w = -k^2*a[1]-4*A[0]*a[5]+a[1], A[0] = A[0], A[1] = (1/4)*A[0]^2/B[1], B[1] = B[1], a[1] = a[1], a[2] = -4*a[5], a[3] = 0, a[4] = 0, a[5] = a[5]}, {k = k, w = w, A[0] = 2*B[1], A[1] = B[1], B[1] = B[1], a[1] = a[1], a[2] = (1/2)*(k^2*a[1]+w-a[1])/B[1], a[3] = 0, a[4] = 0, a[5] = -(1/8)*(k^2*a[1]+w-a[1])/B[1]}, {k = k, w = w, A[0] = A[0], A[1] = B[1], B[1] = B[1], a[1] = 0, a[2] = w/A[0], a[3] = 0, a[4] = 0, a[5] = -(1/4)*w/A[0]}, {k = k, w = 0, A[0] = 0, A[1] = B[1], B[1] = B[1], a[1] = 0, a[2] = a[2], a[3] = 0, a[4] = 0, a[5] = -(1/4)*a[2]}

(3)

Download choose_case.mw

dear maple user help me to correct this error . 

I want to solve the coupled pdes  plot the graphs but unable to get it. please help me. Here are the maple codes

restart:
L:=0.4:
d1:=0.3: d2:=0.3: 

h:=z->piecewise( z<=d1,   1,
                 z<=d1+L,   1-(delta/(2))*(1 + cos((2*(Pi)/L)*(z - d1 - L/2))), 
                 z<=d1+L+d2,  1 ):

a:=x4*S*Gr/(4*x1*x5)*sin(alpha):
b:=1/Da+(x3*M/(x1*(1+m^2))):
c:=(1/x1)*DP:
x1:=1/((1-phi1)^2.5*(1-phi2)^2.5):
x5:=khnf/kf:
x3:=shnf/sf:
x4:=(1-phi2)*((1-phi1)+phi1*(RBs1)/(RBf))+phi2*RBs2/RBf:
shnf:=sbf*((ss2+2*sbf-2*phi2*(sbf-ss2))/(ss2+2*sbf+phi2*(sbf-ss2))):
sbf:=sf*((ss1+2*sf-2*phi1*(sf-ss1))/(ss1+2*sf+phi1*(sf-ss1))):
ss2:=2.7*10^(-8):
ss1:=59.6*10^(6):
sf:=6.67*10^(-1):
khnf:=kbf*((ks2+2*kbf-2*phi2*(kbf-ks2))/(ks2+2*kbf+phi2*(kbf-ks2))):
kbf:=kf*((ks1+2*kf-2*phi1*(kf-ks1))/(ks1+2*kf+phi1*(kf-ks1))):
ks1:=401:
ks2:=76.5:
kf:=0.4972:
RBs1:=8933*16.7*10^(6):
RBs2:=6320*18*10^(6):
RBf:=1063*1.8*10^(6):
DP:=(1/192)*(18432*F-77*b^2*h(z)^8+308*b*h(z)^8*a+768*h(z)^6*a+12*b*h(z)^8)/(h(z)^4*(b*h(z)^2-6)):
conds:= w(h(z),0)=0, theta(h(z),0)=0, D[1](w)(r,0)=0, D[1](theta)(r,0)=0:
pdes:= diff(w(r, z), r, r)+(1/r)*(diff(w(r, z), r))-(1/Da+(x3/x1)*M)*w(r, z)-(1/x1)*(DP+theta*x4*sin(alpha))=0,
         diff(theta(r, z), r,r)+(1/r)*(diff(theta(r, z), r))+(S/x5)=0:
pars:= { F=1.5,Da=0.1,phi1=0.01,phi2=0.02,alpha=Pi/4,S=0.1,Gr=2,m=0.5}:
         
  PrVals:=[2, 5, 7,9]:
  colors:=[red, green, blue, black]:
  for j from 1 to numelems(PrVals) do
      pars1:=`union`( pars, {M=PrVals[j]}):
      pdSol:= pdsolve( eval([pdes], pars1),
                       eval([conds], pars1),
                       numeric
                     );
      plt[j]:=pdSol:-plot( w(r,z), z=1, r=0..1, numpoints=200, color=colors[j]);
  od:
  plots:-display( [seq(plt[j], j=1..numelems(PrVals))]);
Error, final value in for loop must be numeric or character
Error, unable to execute seq
 PrVals:=[2, 5, 7,9]:
  colors:=[red, green, blue, black]:
  for j from 1 to numelems(PrVals) do
      pars1:=`union`( pars, {M=PrVals[j]}):
      pdSol:= pdsolve( eval([pdes], pars1),
                       eval([conds], pars1),
                       numeric
                     );
      plt[j]:=pdSol:-plot( theta(r,z), z=1, r=0..1, numpoints=200, color=colors[j]);
  od:
  plots:-display( [seq(plt[j], j=1..numelems(PrVals))]);
Error, final value in for loop must be numeric or character
Error, unable to execute seq

 PrVals:=[2, 5, 7,9]:
  colors:=[red, green, blue, black]:
  for j from 1 to numelems(PrVals) do
      pars1:=`union`( pars, {M=PrVals[j]}):
      pdSol:= pdsolve( eval([pdes], pars1),
                       eval([conds], pars1),
                       numeric
                     );
      plt[j]:=pdSol:-plot( DP,  z=0..1, numpoints=200, color=colors[j]);
  od:
  plots:-display( [seq(plt[j], j=1..numelems(PrVals))]);

i am looking for simplify this type of simplifying assume beta is Real and there is any stuf package for working with complex and conjugate automaticaly

NULL

restart

with(inttrans)

with(PDEtools)

with(DEtools)

with(DifferentialAlgebra)

"with(Student[ODEs][Solve]): "

with(IntegrationTools)

with(inttrans)

with(PDEtools)

with(Physics)

with(PolynomialTools)

with(RootFinding)

with(SolveTools)

with(LinearAlgebra)

with(sumtools)

declare(u(x, t), conjugate(u(x, t)))

u(x, t)*`will now be displayed as`*u

(1)

undeclare(prime)

`There is no more prime differentiation variable; all derivatives will be displayed as indexed functions`

(2)

B__0 := I*G(x)^3*conjugate(G(x))^2+(2*I)*G(x)^2*(diff(G(x), x))+(2*I)*(diff(G(x), x))*G(x)*conjugate(G(x))

I*G(x)^3*conjugate(G(x))^2+(2*I)*G(x)^2*(diff(G(x), x))+(2*I)*(diff(G(x), x))*G(x)*conjugate(G(x))

(3)

"G(x):=beta*exp(I*x) "

proc (x) options operator, arrow, function_assign; Physics:-`*`(beta, exp(Physics:-`*`(I, x))) end proc

(4)

R__0 := diff(G(x), `$`(x, 2))

-beta*exp(I*x)

(5)

B__0

I*beta^3*(exp(I*x))^3*conjugate(beta*exp(I*x))^2-2*beta^3*(exp(I*x))^3-2*beta^2*(exp(I*x))^2*conjugate(beta*exp(I*x))

(6)

"#`B__0 `must equal to (I*beta^(5)*exp(I*x)) after simplify betwen expresion  what code need i don't know"?""

B1 := laplace(B__0, t, s)

(-2*beta^2*exp((2*I)*x)*conjugate(beta*exp(I*x))+(I*conjugate(beta*exp(I*x))+1+I)*(conjugate(beta*exp(I*x))+(-1+I))*exp((3*I)*x)*beta^3)/s

(7)

R1 := laplace(R__0, t, s)

-beta*exp(I*x)/s

(8)

B2 := invlaplace(B1/s, s, t)

(-2*beta^2*exp((2*I)*x)*conjugate(beta*exp(I*x))+(I*conjugate(beta*exp(I*x))+1+I)*(conjugate(beta*exp(I*x))+(-1+I))*exp((3*I)*x)*beta^3)*t

(9)

R2 := invlaplace(R1/s, s, t)

-beta*exp(I*x)*t

(10)

Sol := B2+R2

(-2*beta^2*exp((2*I)*x)*conjugate(beta*exp(I*x))+(I*conjugate(beta*exp(I*x))+1+I)*(conjugate(beta*exp(I*x))+(-1+I))*exp((3*I)*x)*beta^3)*t-beta*exp(I*x)*t

(11)

simplify((-2*beta^2*exp((2*I)*x)*conjugate(beta*exp(I*x))+(I*conjugate(beta*exp(I*x))+1+I)*(conjugate(beta*exp(I*x))+(-1+I))*exp((3*I)*x)*beta^3)*t-beta*exp(I*x)*t)

(I*exp((3*I)*x)*conjugate(beta*exp(I*x))^2*beta^2-2*exp((2*I)*x)*conjugate(beta*exp(I*x))*beta-2*exp((3*I)*x)*beta^2-exp(I*x))*beta*t

(12)

expand((I*exp((3*I)*x)*conjugate(beta*exp(I*x))^2*beta^2-2*exp((2*I)*x)*conjugate(beta*exp(I*x))*beta-2*exp((3*I)*x)*beta^2-exp(I*x))*beta*t)

I*beta^3*t*(exp(I*x))^3*conjugate(beta)^2*(exp(-I*conjugate(x)))^2-2*t*beta^2*(exp(I*x))^2*conjugate(beta)*exp(-I*conjugate(x))-2*t*(exp(I*x))^3*beta^3-beta*exp(I*x)*t

(13)
 

NULL

Download simplify.mw

A little continuation of topics 1 and 2. This is a very similar cube from 2
 

but with a different equation:

f1 := (x1-sin(x1))^2+(x2-sin(x2))^2+(x3-sin(x3))^2-0.02513144866;
And other point coordinates (-.8283302152, -.8283302152, .8283302152) and (.8283302152, .8283302152, -.8283302152).

 

I'm a little busy with the Rule feature in Maple 
Just started with the limits and can't get 1 limit rule working in my FSimp procedure yet
As a limit example I saw this in Maple help 

with(Student:-Calculus1);
infolevel[Student[Calculus1]] := 1;

Rule[lhopital, ln(x)](Limit(x*ln(x), x = 0, right));
Creating problem #2

                  lim   (x ln(x)) =   lim   (-x)
                x -> 0+             x -> 0+     

A meaningless example of how one limit of a function is equal to another limit of a function, when I think there is no connection between the two functions. ( I don't see it ) 
You might as well calculate the limit value right away.

It gets more interesting when you analyze the function/expression : x*ln(x) and start rewriting it, to a [0/0] or [infinity/infinity] form in this case and from this it shows the need to start using lhopital rule.

The Rule feature has a Hint capability and gives as a hint, lhopital that this rule is applied 
Of course, you also have a series of standard limits, beyond the lhopital limits
The Rule feature for the limit is not yet step by step, because the need to start using a lhopital limit rule has not yet been demonstrated by the user

I'm interested in installing the package update from I M Anderson's site, the Differential Geometry Software Project. This corresponds to the 2022 update. There are many new features:
- Submanifold theory
- Differential operators and  Pseudo-Differential Operators
- Principal connections
- Integrable System Library
- Cartan normal connections
and more. 
It's unfortunate that this update isn't included in this version of Maple 2024

Hi all guys, how can I extract the coefficient of order 6 of expand(SUMY-T) as below? I use the coeff but no use and I search last posts in mapleprime but no fit for my case, and substitute the parematers of a,b,c....

Thank you!

A[21] = 3/20-(1/20)*sqrt(5), A[31] = 0, A[32] = 3/20+(1/20)*sqrt(5), a[21] = 1/30-(1/75)*sqrt(5), a[31] = -1288/452405, a[32] = 98209/2714430-(1/75)*sqrt(5), b[1] = 1/24, b[2] = 1/16+(1/48)*sqrt(5), b[3] = 1/16-(1/48)*sqrt(5), bp[1] = 1/12, bp[2] = 5/24+(1/24)*sqrt(5), bp[3] = 5/24-(1/24)*sqrt(5), c[2] = 1/2-(1/10)*sqrt(5), c[3] = 1/2+(1/10)*sqrt(5)

T := (1/6)*h^3*G+(1/24)*h^4*((diff(y(x), x))*G[y]+F*G[z])+(1/120)*h^5*(G[yy]*(diff(y(x), x))^2+2*G[yz]*(diff(y(x), x))*F+F*G[y]+G[zz]*F^2+G*G[z])+(1/720)*h^6*(G[yyy]*(diff(y(x), x))^3+3*(diff(y(x), x))^2*G[yyz]*F+3*(diff(y(x), x))*G[yy]*F+3*(diff(y(x), x))*G[yzz]*F^2+3*G[yz]*(diff(y(x), x))*G+3*G[yz]*F^2+G[y]*G+G[zzz]*F^3+3*F*G[zz]*G+G[z]*((diff(y(x), x))*G[y]+F*G[z]))

NULL

SUMY := y(x)+h*(diff(y(x), x))+(1/2)*h^2*F+h^3*b[1]*G+h^3*b[2]*(G+((diff(y(x), x))*G[y]*c[2]+F*G[z]*c[2])*h+((1/2)*(diff(y(x), x))^2*G[yy]*c[2]^2+(diff(y(x), x))*F*G[yz]*c[2]^2+(1/2)*F^2*G[zz]*c[2]^2+(1/2)*F*G[y]*c[2]^2+G*G[z]*A[21])*h^2+((diff(y(x), x))*G*G[yz]*A[21]*c[2]+F*G*G[zz]*A[21]*c[2]+(1/6)*(diff(y(x), x))^3*G[yyy]*c[2]^3+(1/6)*F^3*G[zzz]*c[2]^3+(1/2)*(diff(y(x), x))*F*G[yy]*c[2]^3+G*G[y]*a[21]+(1/2)*(diff(y(x), x))^2*F*G[yyz]*c[2]^3+(1/2)*(diff(y(x), x))*F^2*G[yzz]*c[2]^3+(1/2)*F^2*G[yz]*c[2]^3)*h^3+((1/8)*F^2*G[yy]*c[2]^4+(1/2)*G^2*G[zz]*A[21]^2+(1/4)*F^3*G[yzz]*c[2]^4+(1/6)*(diff(y(x), x))^3*F*G[yyyz]*c[2]^4+(1/4)*(diff(y(x), x))^2*F^2*G[yyzz]*c[2]^4+(1/6)*(diff(y(x), x))*F^3*G[yzzz]*c[2]^4+(1/4)*(diff(y(x), x))^2*F*G[yyy]*c[2]^4+(1/2)*(diff(y(x), x))*F^2*G[yyz]*c[2]^4+(1/2)*G[yyz]*(diff(y(x), x))^2*G*A[21]*c[2]^2+(1/2)*G[zzz]*F^2*G*A[21]*c[2]^2+(1/24)*(diff(y(x), x))^4*G[yyyy]*c[2]^4+(1/24)*F^4*G[zzzz]*c[2]^4+G[yzz]*(diff(y(x), x))*F*G*A[21]*c[2]^2+(1/2)*F*G*G[yz]*A[21]*c[2]^2+(diff(y(x), x))*G*G[yy]*a[21]*c[2]+F*G*G[yz]*a[21]*c[2])*h^4+((1/120)*(diff(y(x), x))^5*G[yyyyy]*c[2]^5+(1/8)*F^3*G[yyz]*c[2]^5+(1/120)*F^5*G[zzzzz]*c[2]^5+(1/12)*F^4*G[yzzz]*c[2]^5+(1/12)*(diff(y(x), x))^2*F^3*G[yyzzz]*c[2]^5+(1/12)*(diff(y(x), x))^3*F^2*G[yyyzz]*c[2]^5+(1/24)*(diff(y(x), x))^4*F*G[yyyyz]*c[2]^5+(1/24)*(diff(y(x), x))*F^4*G[yzzzz]*c[2]^5+(1/8)*(diff(y(x), x))*F^2*G[yyy]*c[2]^5+(1/4)*(diff(y(x), x))*F^3*G[yyzz]*c[2]^5+(1/4)*(diff(y(x), x))^2*F^2*G[yyyz]*c[2]^5+(1/12)*(diff(y(x), x))^3*F*G[yyyy]*c[2]^5+G^2*G[yz]*A[21]*a[21]+(1/2)*G[yzz]*F^2*G*a[21]*c[2]^2+(1/2)*G[zzz]*F*G^2*A[21]^2*c[2]+(1/2)*F*G*G[yy]*a[21]*c[2]^2+(1/6)*G[zzzz]*F^3*G*A[21]*c[2]^3+(1/2)*G[yyy]*(diff(y(x), x))^2*G*a[21]*c[2]^2+(1/2)*G[yzz]*(diff(y(x), x))*G^2*A[21]^2*c[2]+(1/6)*G[yyyz]*(diff(y(x), x))^3*G*A[21]*c[2]^3+(1/2)*G[yzz]*F^2*G*A[21]*c[2]^3+(1/2)*G[yzzz]*(diff(y(x), x))*F^2*G*A[21]*c[2]^3+(1/2)*G[yyzz]*(diff(y(x), x))^2*F*G*A[21]*c[2]^3+(1/2)*G[yyz]*(diff(y(x), x))*F*G*A[21]*c[2]^3+G[yyz]*(diff(y(x), x))*F*G*a[21]*c[2]^2)*h^5+((1/6)*G[zzz]*G^3*A[21]^3+(1/16)*F^4*G[yyzz]*c[2]^6+(1/720)*F^6*G[zzzzzz]*c[2]^6+(1/48)*F^5*G[yzzzz]*c[2]^6+(1/2)*G^2*G[yy]*a[21]^2+(1/720)*G[yyyyyy]*(diff(y(x), x))^6*c[2]^6+(1/48)*F^3*G[yyy]*c[2]^6+(1/8)*(diff(y(x), x))*F^3*G[yyyz]*c[2]^6+(1/16)*(diff(y(x), x))^2*F^2*G[yyyy]*c[2]^6+(1/12)*(diff(y(x), x))*F^4*G[yyzzz]*c[2]^6+(1/8)*(diff(y(x), x))^2*F^3*G[yyyzz]*c[2]^6+(1/12)*(diff(y(x), x))^3*F^2*G[yyyyz]*c[2]^6+(1/48)*(diff(y(x), x))^4*F*G[yyyyy]*c[2]^6+(1/36)*F^3*G[yyyzzz]*(diff(y(x), x))^3*c[2]^6+(1/48)*F^4*G[yyzzzz]*(diff(y(x), x))^2*c[2]^6+(1/48)*F^2*G[yyyyzz]*(diff(y(x), x))^4*c[2]^6+(1/120)*F*G[yyyyyz]*(diff(y(x), x))^5*c[2]^6+(1/120)*F^5*G[yzzzzz]*(diff(y(x), x))*c[2]^6+(1/4)*G[yzzz]*F^3*G*A[21]*c[2]^4+(1/6)*G[yzzz]*F^3*G*a[21]*c[2]^3+(1/4)*G[zzzz]*F^2*G^2*A[21]^2*c[2]^2+(1/2)*G[yyz]*F^2*G*a[21]*c[2]^3+(1/4)*G[yzz]*F*G^2*A[21]^2*c[2]^2+(1/24)*G[zzzzz]*F^4*G*A[21]*c[2]^4+(1/8)*G[yyz]*F^2*G*A[21]*c[2]^4+(1/6)*G[yyyy]*(diff(y(x), x))^3*G*a[21]*c[2]^3+(1/4)*G[yyzz]*(diff(y(x), x))^2*G^2*A[21]^2*c[2]^2+(1/24)*G[yyyyz]*(diff(y(x), x))^4*G*A[21]*c[2]^4+G[yyz]*(diff(y(x), x))*G^2*A[21]*a[21]*c[2]+(1/4)*G[yyzzz]*(diff(y(x), x))^2*F^2*G*A[21]*c[2]^4+(1/6)*G[yyyzz]*(diff(y(x), x))^3*F*G*A[21]*c[2]^4+(1/2)*G[yzzz]*(diff(y(x), x))*F*G^2*A[21]^2*c[2]^2+(1/4)*G[yyyz]*(diff(y(x), x))^2*F*G*A[21]*c[2]^4+(1/2)*G[yyzz]*(diff(y(x), x))*F^2*G*A[21]*c[2]^4+G[yzz]*F*G^2*A[21]*a[21]*c[2]+(1/2)*G[yyyz]*(diff(y(x), x))^2*F*G*a[21]*c[2]^3+(1/2)*G[yyzz]*(diff(y(x), x))*F^2*G*a[21]*c[2]^3+(1/6)*G[yzzzz]*(diff(y(x), x))*F^3*G*A[21]*c[2]^4+(1/2)*G[yyy]*(diff(y(x), x))*F*G*a[21]*c[2]^3)*h^6+O(h^7))+h^3*b[3]*(G+((diff(y(x), x))*G[y]*c[3]+F*G[z]*c[3])*h+((1/2)*F*G[y]*c[3]^2+(1/2)*(diff(y(x), x))^2*G[yy]*c[3]^2+(1/2)*F^2*G[zz]*c[3]^2+G*G[z]*A[31]+G*G[z]*A[32]+(diff(y(x), x))*F*G[yz]*c[3]^2)*h^2+(G*G[y]*a[31]+(1/6)*(diff(y(x), x))^3*G[yyy]*c[3]^3+(1/6)*F^3*G[zzz]*c[3]^3+(1/2)*(diff(y(x), x))*F*G[yy]*c[3]^3+(1/2)*(diff(y(x), x))^2*F*G[yyz]*c[3]^3+(1/2)*(diff(y(x), x))*F^2*G[yzz]*c[3]^3+(1/2)*F^2*G[yz]*c[3]^3+G[y]*G[z]*(diff(y(x), x))*A[32]*c[2]+G[z]^2*F*A[32]*c[2]+G*G[y]*a[32]+F*G*G[zz]*A[32]*c[3]+(diff(y(x), x))*G*G[yz]*A[32]*c[3]+F*G*G[zz]*A[31]*c[3]+(diff(y(x), x))*G*G[yz]*A[31]*c[3])*h^3+((1/24)*(diff(y(x), x))^4*G[yyyy]*c[3]^4+(1/8)*F^2*G[yy]*c[3]^4+(1/4)*F^3*G[yzz]*c[3]^4+(1/24)*F^4*G[zzzz]*c[3]^4+(1/2)*G^2*G[zz]*A[31]^2+(1/2)*G^2*G[zz]*A[32]^2+G[yzz]*(diff(y(x), x))*F*G*A[31]*c[3]^2+G[yzz]*(diff(y(x), x))*F*G*A[32]*c[3]^2+G[y]*G[yz]*(diff(y(x), x))^2*A[32]*c[2]*c[3]+G[z]*G[yz]*F*(diff(y(x), x))*A[32]*c[2]^2+G[z]*G[zz]*F^2*A[32]*c[2]*c[3]+(1/2)*(diff(y(x), x))*F^2*G[yyz]*c[3]^4+(1/4)*(diff(y(x), x))^2*F*G[yyy]*c[3]^4+(1/2)*G[zzz]*F^2*G*A[31]*c[3]^2+(1/2)*F*G*G[yz]*A[31]*c[3]^2+F*G*G[yz]*a[31]*c[3]+(1/2)*G[yyz]*(diff(y(x), x))^2*G*A[31]*c[3]^2+(diff(y(x), x))*G*G[yy]*a[31]*c[3]+(1/2)*F*G*G[yz]*A[32]*c[3]^2+F*G*G[yz]*a[32]*c[3]+(1/2)*G[zzz]*F^2*G*A[32]*c[3]^2+(1/2)*G[z]*G[yy]*(diff(y(x), x))^2*A[32]*c[2]^2+(diff(y(x), x))*G*G[yy]*a[32]*c[3]+(1/2)*G[yyz]*(diff(y(x), x))^2*G*A[32]*c[3]^2+(1/2)*G[z]*G[zz]*F^2*A[32]*c[2]^2+(1/2)*G[y]*G[z]*F*A[32]*c[2]^2+G[y]*G[z]*F*a[32]*c[2]+(1/6)*(diff(y(x), x))^3*F*G[yyyz]*c[3]^4+(1/4)*(diff(y(x), x))^2*F^2*G[yyzz]*c[3]^4+(1/6)*(diff(y(x), x))*F^3*G[yzzz]*c[3]^4+G[y]^2*(diff(y(x), x))*a[32]*c[2]+G^2*G[zz]*A[31]*A[32]+G[z]^2*G*A[21]*A[32]+G[y]*G[zz]*F*(diff(y(x), x))*A[32]*c[2]*c[3]+G[z]*G[yz]*F*(diff(y(x), x))*A[32]*c[2]*c[3])*h^4+((1/2)*G[z]*G[yzz]*F^2*(diff(y(x), x))*A[32]*c[2]^3+(1/8)*(diff(y(x), x))*F^2*G[yyy]*c[3]^5+(1/4)*(diff(y(x), x))*F^3*G[yyzz]*c[3]^5+(1/4)*(diff(y(x), x))^2*F^2*G[yyyz]*c[3]^5+(1/12)*(diff(y(x), x))^3*F*G[yyyy]*c[3]^5+(1/24)*(diff(y(x), x))^4*F*G[yyyyz]*c[3]^5+(1/12)*(diff(y(x), x))^3*F^2*G[yyyzz]*c[3]^5+(1/12)*(diff(y(x), x))^2*F^3*G[yyzzz]*c[3]^5+(1/24)*(diff(y(x), x))*F^4*G[yzzzz]*c[3]^5+(1/2)*G[y]^2*F*a[32]*c[2]^2+(1/2)*G[z]*G[yy]*F*(diff(y(x), x))*A[32]*c[2]^3+G[y]*G*G[zz]*(diff(y(x), x))*A[32]^2*c[2]+(1/2)*G[y]*G[yyz]*(diff(y(x), x))^3*A[32]*c[2]*c[3]^2+(1/2)*G[z]*G[zzz]*F^3*A[32]*c[2]*c[3]^2+G[z]*G[yz]*F^2*a[32]*c[2]*c[3]+G[z]*G*G[zz]*F*A[32]^2*c[2]+(1/2)*G[z]*G[yz]*F^2*A[32]*c[2]*c[3]^2+(1/2)*G[y]*G[zz]*F^2*A[32]*c[2]^2*c[3]+(1/6)*G[z]*G[zzz]*F^3*A[32]*c[2]^3+G^2*G[yz]*A[32]*a[31]+G^2*G[yz]*A[31]*a[31]+G^2*G[yz]*A[31]*a[32]+(1/2)*G[yz]*G[yy]*(diff(y(x), x))^3*A[32]*c[2]^2*c[3]+G[y]*G[yz]*F*(diff(y(x), x))*a[32]*c[2]^2+(1/2)*G[y]*G[yy]*(diff(y(x), x))^2*a[32]*c[2]^2+(1/6)*(diff(y(x), x))^3*G*G[yyyz]*A[32]*c[3]^3+G[y]*G[yzz]*F*(diff(y(x), x))^2*A[32]*c[2]*c[3]^2+G[z]*G[yz]*(diff(y(x), x))*G*A[21]*A[32]*c[2]+G[y]*G[zz]*(diff(y(x), x))*G*A[31]*A[32]*c[2]+G[z]*G[yz]*(diff(y(x), x))*G*A[21]*A[32]*c[3]+G[z]*G[zz]*F*G*A[21]*A[32]*c[2]+G[z]*G[zz]*F*G*A[31]*A[32]*c[2]+G[z]*G[zz]*F*G*A[21]*A[32]*c[3]+G[y]*G[z]*G*A[32]*a[21]+(1/2)*G[yzz]*(diff(y(x), x))*G^2*A[31]^2*c[3]+(1/6)*G[yyyz]*(diff(y(x), x))^3*G*A[31]*c[3]^3+(1/2)*F*G*G[yy]*a[31]*c[3]^2+(1/6)*G[zzzz]*F^3*G*A[31]*c[3]^3+G[y]*G[z]*G*A[21]*a[32]+(1/120)*F^5*G[zzzzz]*c[3]^5+G[y]*G[yz]*F*(diff(y(x), x))*a[32]*c[2]*c[3]+(1/2)*G[z]*G[yyz]*F*(diff(y(x), x))^2*A[32]*c[2]*c[3]^2+(1/6)*F^3*G*G[zzzz]*A[32]*c[3]^3+(1/2)*F^2*G*G[yzz]*A[32]*c[3]^3+(1/2)*F^2*G*G[yzz]*a[32]*c[3]^2+(1/2)*(diff(y(x), x))^2*G*G[yyy]*a[32]*c[3]^2+(1/2)*(diff(y(x), x))*G^2*G[yzz]*A[32]^2*c[3]+G[z]*G[yzz]*F^2*(diff(y(x), x))*A[32]*c[2]*c[3]^2+(1/12)*F^4*G[yzzz]*c[3]^5+(1/8)*F^3*G[yyz]*c[3]^5+(1/120)*(diff(y(x), x))^5*G[yyyyy]*c[3]^5+(1/2)*G[z]*G[yz]*F^2*A[32]*c[2]^3+(1/2)*G[zz]^2*F^3*A[32]*c[2]^2*c[3]+G[y]*G[yy]*(diff(y(x), x))^2*a[32]*c[2]*c[3]+G[yz]^2*F*(diff(y(x), x))^2*A[32]*c[2]^2*c[3]+(diff(y(x), x))*F*G*G[yyz]*a[32]*c[3]^2+(1/2)*(diff(y(x), x))*F^2*G*G[yzzz]*A[32]*c[3]^3+(1/2)*(diff(y(x), x))*F*G*G[yyz]*A[32]*c[3]^3+(1/2)*(diff(y(x), x))^2*F*G*G[yyzz]*A[32]*c[3]^3+(1/2)*G[yyz]*(diff(y(x), x))*F*G*A[31]*c[3]^3+(1/2)*G[yyzz]*(diff(y(x), x))^2*F*G*A[31]*c[3]^3+(1/2)*G[yzzz]*(diff(y(x), x))*F^2*G*A[31]*c[3]^3+G[yyz]*(diff(y(x), x))*F*G*a[31]*c[3]^2+G[yzz]*(diff(y(x), x))*G^2*A[31]*A[32]*c[3]+G[zzz]*F*G^2*A[31]*A[32]*c[3]+3*G[yz]*G[zz]*F^2*(diff(y(x), x))*A[32]*c[2]^2*c[3]*(1/2)+(1/2)*F*G^2*G[zzz]*A[32]^2*c[3]+(1/2)*G[yyy]*(diff(y(x), x))^2*G*a[31]*c[3]^2+(1/2)*G[yzz]*F^2*G*A[31]*c[3]^3+(1/2)*G[yzz]*F^2*G*a[31]*c[3]^2+(1/2)*G[zzz]*F*G^2*A[31]^2*c[3]+(1/2)*F*G*G[yy]*a[32]*c[3]^2+(1/2)*G[z]*G[yyz]*F*(diff(y(x), x))^2*A[32]*c[2]^3+(1/6)*G[z]*G[yyy]*(diff(y(x), x))^3*A[32]*c[2]^3+(1/2)*G[y]*G[zz]*F^2*a[32]*c[2]^2+(1/2)*G[y]*G[yz]*F*(diff(y(x), x))*A[32]*c[2]^2*c[3]+G[z]*G[yy]*F*(diff(y(x), x))*a[32]*c[2]*c[3]+(1/2)*G[y]*G[zzz]*F^2*(diff(y(x), x))*A[32]*c[2]*c[3]^2+(1/2)*G[yy]*G[zz]*F*(diff(y(x), x))^2*A[32]*c[2]^2*c[3]+(1/2)*G[y]*G[yz]*F*(diff(y(x), x))*A[32]*c[2]*c[3]^2+G^2*G[yz]*A[32]*a[32])*h^5+((1/6)*G[z]*G[yzzz]*F^3*(diff(y(x), x))*A[32]*c[2]^4+(1/16)*F^4*G[yyzz]*c[3]^6+(1/2)*G[z]*G[yyz]*F^2*(diff(y(x), x))*A[32]*c[2]*c[3]^3+(1/2)*G^2*G[yy]*a[31]^2+(1/2)*G[y]*G[yzz]*F^2*(diff(y(x), x))*a[32]*c[2]^3+(1/6)*G[zz]*G[yyy]*F*(diff(y(x), x))^3*A[32]*c[2]^3*c[3]+(1/2)*(diff(y(x), x))*F*G^2*G[yzzz]*A[32]^2*c[3]^2+(1/6)*(diff(y(x), x))*F^3*G*G[yzzzz]*A[32]*c[3]^4+(1/4)*G[y]*G[yz]*F^2*A[32]*c[2]^2*c[3]^2+(1/36)*F^3*G[yyyzzz]*(diff(y(x), x))^3*c[3]^6+(1/48)*F^4*G[yyzzzz]*(diff(y(x), x))^2*c[3]^6+(1/6)*G^3*G[zzz]*A[32]^3+(diff(y(x), x))*G^2*G[yyz]*A[32]*a[32]*c[3]+(1/2)*(diff(y(x), x))*F*G*G[yyy]*a[32]*c[3]^3+(1/2)*G[y]*G[yz]*F^2*a[32]*c[2]^2*c[3]+(1/4)*G[yz]*G[yy]*F*(diff(y(x), x))^2*A[32]*c[2]^2*c[3]^2+(1/12)*(diff(y(x), x))^3*F^2*G[yyyyz]*c[3]^6+(1/8)*(diff(y(x), x))^2*F^3*G[yyyzz]*c[3]^6+(1/6)*G[zzz]*G^3*A[31]^3+(1/2)*G[zz]*G[yyz]*F^2*(diff(y(x), x))^2*A[32]*c[2]^3*c[3]+(1/4)*G[z]*G[yyzz]*F^2*(diff(y(x), x))^2*A[32]*c[2]^4+G[z]*G[zz]*G^2*A[21]*A[32]^2+3*G[yz]*G[yy]*F*(diff(y(x), x))^2*a[32]*c[2]^2*c[3]*(1/2)+(1/4)*(diff(y(x), x))^2*F*G*G[yyyz]*A[32]*c[3]^4+(1/4)*(diff(y(x), x))^2*F^2*G*G[yyzzz]*A[32]*c[3]^4+(1/2)*G[yz]*G[zz]*F^3*a[32]*c[2]^2*c[3]+G[y]*G*G[zzz]*F*(diff(y(x), x))*A[32]^2*c[2]*c[3]+(1/720)*F^6*G[zzzzzz]*c[3]^6+(1/720)*G[yyyyyy]*(diff(y(x), x))^6*c[3]^6+(1/2)*G[y]*G*G[zz]*F*A[32]^2*c[2]^2+(1/24)*G[z]*G[yyyy]*(diff(y(x), x))^4*A[32]*c[2]^4+(1/2)*(diff(y(x), x))*F^2*G*G[yyzz]*a[32]*c[3]^3+(1/4)*G[z]*G[yyy]*F*(diff(y(x), x))^2*A[32]*c[2]^4+(1/6)*G[z]*G[yyyz]*F*(diff(y(x), x))^3*A[32]*c[2]^4+(1/2)*G[y]*G[yzzz]*F^2*(diff(y(x), x))^2*A[32]*c[2]*c[3]^3+(1/6)*(diff(y(x), x))^3*G*G[yyyy]*a[32]*c[3]^3+(1/2)*G[yy]*G[yzz]*F*(diff(y(x), x))^3*A[32]*c[2]^2*c[3]^2+(1/48)*F^2*G[yyyyzz]*(diff(y(x), x))^4*c[3]^6+G[y]^2*G*a[21]*a[32]+(1/2)*G[y]*G[yyz]*F*(diff(y(x), x))^2*a[32]*c[2]^3+(1/2)*G[yz]^2*F^2*(diff(y(x), x))*A[32]*c[2]^3*c[3]+(1/4)*(diff(y(x), x))^2*G^2*G[yyzz]*A[32]^2*c[3]^2+(1/2)*G[y]*G[yy]*F*(diff(y(x), x))*a[32]*c[2]^2*c[3]+(1/2)*G[z]^2*G[zz]*F^2*A[32]^2*c[2]^2+(1/2)*G[yyzz]*(diff(y(x), x))*F^2*G*A[31]*c[3]^4+G[yyz]*(diff(y(x), x))*G^2*A[31]*a[31]*c[3]+(1/2)*G[y]*G[yzz]*F^2*(diff(y(x), x))*A[32]*c[2]*c[3]^3+(1/120)*F^5*G[yzzzzz]*(diff(y(x), x))*c[3]^6+(1/120)*F*G[yyyyyz]*(diff(y(x), x))^5*c[3]^6+(1/4)*G[yz]*G[zz]*F^3*A[32]*c[2]^2*c[3]^2+(1/2)*(diff(y(x), x))^2*F*G*G[yyyz]*a[32]*c[3]^3+G[yzz]*F*G^2*A[32]*a[31]*c[3]+(1/2)*G[zzzz]*F^2*G^2*A[31]*A[32]*c[3]^2+(1/6)*G[yzzzz]*(diff(y(x), x))*F^3*G*A[31]*c[3]^4+(1/2)*G[yyzz]*(diff(y(x), x))^2*G^2*A[31]*A[32]*c[3]^2+(1/2)*G[yyy]*(diff(y(x), x))*F*G*a[31]*c[3]^3+(1/2)*G[zz]^2*F^2*G*A[31]*A[32]*c[2]^2+G[z]*G[zz]*G^2*A[21]*A[31]*A[32]+G[yzz]*F*G^2*A[31]*a[32]*c[3]+(1/2)*G[yzz]*F*G^2*A[31]*A[32]*c[3]^2+(1/2)*G[z]*G[yzz]*F^3*A[32]*c[2]*c[3]^3+(1/2)*G[yz]*G[zzz]*F^3*(diff(y(x), x))*A[32]*c[2]^2*c[3]^2+G[z]*G[yzz]*(diff(y(x), x))*F*G*A[21]*A[32]*c[3]^2+G[z]*G[yzz]*(diff(y(x), x))*F*G*A[21]*A[32]*c[2]^2+G[z]*G[zzz]*F^2*G*A[31]*A[32]*c[2]*c[3]+G[zz]*G[yz]*(diff(y(x), x))*F*G*A[31]*A[32]*c[2]^2+G[y]*G[yzz]*(diff(y(x), x))^2*G*A[31]*A[32]*c[2]*c[3]+(1/2)*G[y]*G[yzz]*F^2*(diff(y(x), x))*A[32]*c[2]^2*c[3]^2+(1/4)*G[zzzz]*F^2*G^2*A[31]^2*c[3]^2+(1/2)*G[yyz]*F^2*G*a[31]*c[3]^3+(1/8)*G[yyz]*F^2*G*A[31]*c[3]^4+(1/4)*G[yzz]*F*G^2*A[31]^2*c[3]^2+(1/2)*G[y]^2*G[zz]*(diff(y(x), x))^2*A[32]^2*c[2]^2+(1/6)*G[y]*G[yyy]*(diff(y(x), x))^3*a[32]*c[2]^3+(1/6)*G[y]*G[yyyz]*(diff(y(x), x))^4*A[32]*c[2]*c[3]^3+G[yz]^2*F^2*(diff(y(x), x))*a[32]*c[2]^2*c[3]+(1/2)*G[yy]*G[zz]*F^2*(diff(y(x), x))*A[32]*c[2]^3*c[3]+(1/2)*G[y]*G[yy]*F*(diff(y(x), x))*a[32]*c[2]^3+(1/2)*G[yz]*G[yyz]*F*(diff(y(x), x))^3*A[32]*c[2]^2*c[3]^2+(1/4)*G[zz]*G[yyz]*F^2*(diff(y(x), x))^2*A[32]*c[2]^2*c[3]^2+(1/8)*G[z]*G[yy]*F^2*A[32]*c[2]^4+(1/2)*G[z]*G[yyy]*F*(diff(y(x), x))^2*a[32]*c[2]*c[3]^2+(1/2)*G[zzz]*G^3*A[31]*A[32]^2+G^2*G[yy]*a[31]*a[32]+(1/2)*G[y]*G[yyz]*F*(diff(y(x), x))^2*A[32]*c[2]*c[3]^3+(1/12)*(diff(y(x), x))*F^4*G[yyzzz]*c[3]^6+(1/2)*G[zzz]*G^3*A[31]^2*A[32]+(1/4)*G[yy]*G[zzz]*F^2*(diff(y(x), x))^2*A[32]*c[2]^2*c[3]^2+F*G^2*G[yzz]*A[32]*a[32]*c[3]+(1/6)*G[yz]*G[zzz]*F^3*(diff(y(x), x))*A[32]*c[2]^3*c[3]+(1/48)*(diff(y(x), x))^4*F*G[yyyyy]*c[3]^6+(1/8)*(diff(y(x), x))*F^3*G[yyyz]*c[3]^6+(1/16)*(diff(y(x), x))^2*F^2*G[yyyy]*c[3]^6+G[y]*G[z]*G[zz]*F*(diff(y(x), x))*A[32]^2*c[2]^2+G[yzz]*F*G^2*A[31]*a[31]*c[3]+(1/2)*G[yzzz]*(diff(y(x), x))*F*G^2*A[31]^2*c[3]^2+2*G[z]*G[yz]*G*F*A[32]*a[32]*c[2]+(1/2)*G[y]*G[yzz]*F^2*(diff(y(x), x))*a[32]*c[2]*c[3]^2+(1/2)*G[zz]*G[yzz]*F^3*(diff(y(x), x))*A[32]*c[2]^3*c[3]+(1/2)*G*G[yy]*G[zz]*(diff(y(x), x))^2*A[32]^2*c[2]^2+(1/2)*G[z]*G[yy]*F^2*a[32]*c[2]*c[3]^2+(1/2)*G[z]*G[yz]*F*G*A[21]*A[32]*c[2]^2+G[y]*G[yz]*(diff(y(x), x))*G*A[32]*a[21]*c[3]+(1/2)*G[z]*G[zzz]*F^2*G*A[21]*A[32]*c[2]^2+(1/4)*G[yzzz]*F^3*G*A[31]*c[3]^4+(1/24)*G[zzzzz]*F^4*G*A[31]*c[3]^4+(1/6)*G[yzzz]*F^3*G*a[31]*c[3]^3+G[yz]^2*(diff(y(x), x))^2*G*A[21]*A[32]*c[2]*c[3]+(1/24)*(diff(y(x), x))^4*G*G[yyyyz]*A[32]*c[3]^4+(1/24)*G[z]*G[zzzz]*F^4*A[32]*c[2]^4+G[yz]*G[yzz]*F^2*(diff(y(x), x))^2*A[32]*c[2]^2*c[3]^2+(1/24)*F^4*G*G[zzzzz]*A[32]*c[3]^4+(1/2)*G[yy]^2*(diff(y(x), x))^3*a[32]*c[2]^2*c[3]+(1/2)*G[y]*G[yy]*F*(diff(y(x), x))*a[32]*c[2]*c[3]^2+(1/2)*G[yz]^2*F^2*(diff(y(x), x))*A[32]*c[2]^2*c[3]^2+(1/2)*G[y]*G[yyzz]*F*(diff(y(x), x))^3*A[32]*c[2]*c[3]^3+2*G[y]*G[yz]*G*(diff(y(x), x))*A[32]*a[32]*c[2]+(1/4)*G[yy]*G[yyz]*(diff(y(x), x))^4*A[32]*c[2]^2*c[3]^2+(1/2)*G[z]*G[zz]*G^2*A[21]^2*A[32]+(1/6)*G[yyyy]*(diff(y(x), x))^3*G*a[31]*c[3]^3+(1/4)*G[yyzz]*(diff(y(x), x))^2*G^2*A[31]^2*c[3]^2+(1/24)*G[yyyyz]*(diff(y(x), x))^4*G*A[31]*c[3]^4+(1/6)*G[z]*G[zzzz]*F^4*A[32]*c[2]*c[3]^3+(1/4)*G[y]*G[yyz]*F*(diff(y(x), x))^2*A[32]*c[2]^2*c[3]^2+G[y]*G[zz]*F*G*A[32]*a[21]*c[3]+(1/2)*G[yy]*G[zz]*(diff(y(x), x))^2*G*A[31]*A[32]*c[2]^2+(1/2)*G[z]*G[zzz]*F^2*G*A[21]*A[32]*c[3]^2+G[z]*G[yz]*F*G*A[21]*a[32]*c[3]+G[zz]^2*F^2*G*A[21]*A[32]*c[2]*c[3]+(1/2)*G[yy]*G[zz]*F^2*(diff(y(x), x))*a[32]*c[2]^2*c[3]+(1/2)*G[z]*G[yzz]*F^3*a[32]*c[2]*c[3]^2+(1/4)*G[y]*G[zzz]*F^3*A[32]*c[2]^2*c[3]^2+(1/4)*G[zz]*G[zzz]*F^4*A[32]*c[2]^2*c[3]^2+(1/2)*G[y]*G[yyy]*(diff(y(x), x))^3*a[32]*c[2]*c[3]^2+(1/2)*(diff(y(x), x))*F^2*G*G[yyzz]*A[32]*c[3]^4+G[yz]*G*G[zz]*F*(diff(y(x), x))*A[32]^2*c[2]^2+(1/6)*G[z]*G[yyyz]*F*(diff(y(x), x))^3*A[32]*c[2]*c[3]^3+(1/2)*G[yz]*G[yyz]*F*(diff(y(x), x))^3*A[32]*c[2]^3*c[3]+G[y]*G[zzz]*(diff(y(x), x))*F*G*A[31]*A[32]*c[2]*c[3]+2*G[zz]*G[yz]*(diff(y(x), x))*F*G*A[21]*A[32]*c[2]*c[3]+G[z]*G[yzz]*(diff(y(x), x))*F*G*A[31]*A[32]*c[2]*c[3]+G[z]*G[yz]*F*G*A[32]*a[21]*c[2]+G[y]*G[zz]*F*G*A[21]*a[32]*c[2]+(1/2)*G[z]*G[yz]*F*G*A[21]*A[32]*c[3]^2+(1/2)*G[y]*G[zz]*F*G*A[31]*A[32]*c[2]^2+G[z]*G[yz]*F*G*A[31]*a[32]*c[2]+(1/2)*G[z]*G[yyz]*(diff(y(x), x))^2*G*A[21]*A[32]*c[2]^2+G[z]*G[yy]*(diff(y(x), x))*G*A[32]*a[21]*c[2]+G[y]*G[yz]*(diff(y(x), x))*G*A[21]*a[32]*c[2]+G[yzzz]*(diff(y(x), x))*F*G^2*A[31]*A[32]*c[3]^2+G[z]*G[yz]*F*G*A[32]*a[31]*c[2]+(1/2)*G[z]*G[yyz]*F^2*(diff(y(x), x))*A[32]*c[2]^4+(1/2)*G[zz]*G[yzz]*F^3*(diff(y(x), x))*A[32]*c[2]^2*c[3]^2+(1/2)*G[z]*G[yyzz]*F^2*(diff(y(x), x))^2*A[32]*c[2]*c[3]^3+G[y]*G*G[yzz]*(diff(y(x), x))^2*A[32]^2*c[2]*c[3]+(1/2)*G[yz]*G[yzz]*F^2*(diff(y(x), x))^2*A[32]*c[2]^3*c[3]+(1/2)*G[yz]*G[yy]*F*(diff(y(x), x))^2*A[32]*c[2]^3*c[3]+(1/2)*G[z]*G[yzzz]*F^3*(diff(y(x), x))*A[32]*c[2]*c[3]^3+(1/48)*F^3*G[yyy]*c[3]^6+(1/48)*F^5*G[yzzzz]*c[3]^6+(1/2)*G^2*G[yy]*a[32]^2+(1/4)*G[z]*G[yzz]*F^3*A[32]*c[2]^4+(1/6)*G[zz]*G[zzz]*F^4*A[32]*c[2]^3*c[3]+G[z]*G*G[zzz]*F^2*A[32]^2*c[2]*c[3]+(1/2)*F^2*G*G[yyz]*a[32]*c[3]^3+(1/6)*G[y]*G[zzzz]*F^3*(diff(y(x), x))*A[32]*c[2]*c[3]^3+(1/6)*(diff(y(x), x))^3*F*G*G[yyyzz]*A[32]*c[3]^4+(1/6)*G[yz]*G[yyy]*(diff(y(x), x))^4*A[32]*c[2]^3*c[3]+(1/2)*G[y]*G[yz]*F^2*a[32]*c[2]^3+(1/2)*G*G[zz]^2*F^2*A[32]^2*c[2]^2+(1/2)*G[yz]*G[zz]*F^3*A[32]*c[2]^3*c[3]+G[z]*G[yyz]*F^2*(diff(y(x), x))*a[32]*c[2]*c[3]^2+G[y]*G[yyz]*F*(diff(y(x), x))^2*a[32]*c[2]*c[3]^2+(1/4)*F^3*G*G[yzzz]*A[32]*c[3]^4+G[z]*G*G[yzz]*F*(diff(y(x), x))*A[32]^2*c[2]*c[3]+(1/6)*G[yyyzz]*(diff(y(x), x))^3*F*G*A[31]*c[3]^4+(1/4)*G[yyzzz]*(diff(y(x), x))^2*F^2*G*A[31]*c[3]^4+(1/2)*G[yyzz]*(diff(y(x), x))*F^2*G*a[31]*c[3]^3+(1/2)*G[yyyz]*(diff(y(x), x))^2*F*G*a[31]*c[3]^3+(1/4)*G[yyyz]*(diff(y(x), x))^2*F*G*A[31]*c[3]^4+G[yyz]*(diff(y(x), x))*G^2*A[32]*a[31]*c[3]+G[yyz]*(diff(y(x), x))*G^2*A[31]*a[32]*c[3]+G[y]*G[yz]*(diff(y(x), x))*G*A[32]*a[31]*c[2]+(1/2)*G[z]*G[yyz]*(diff(y(x), x))^2*G*A[21]*A[32]*c[3]^2+G[y]*G[yz]*(diff(y(x), x))*G*A[31]*a[32]*c[2]+G[z]*G[yy]*(diff(y(x), x))*G*A[21]*a[32]*c[3]+(1/6)*F^3*G*G[yzzz]*a[32]*c[3]^3+(1/4)*F^2*G^2*G[zzzz]*A[32]^2*c[3]^2+(1/4)*F*G^2*G[yzz]*A[32]^2*c[3]^2+(1/8)*F^2*G*G[yyz]*A[32]*c[3]^4+(1/6)*G[y]*G[zzz]*F^3*a[32]*c[2]^3)*h^6+O(h^7))

coeff(SUMY, h, 6)

Error, unable to compute coeff

NULL

NULL

Download location_truncation_error_of_y.mw

I am going through the documentation on ScientificConstants and trying things out in a worksheet.

My first question about this package is about the following

with(ScientificConstants)

GetConstants()

`A[r](alpha)`, `A[r](d)`, `A[r](e)`, `A[r](h)`, `A[r](n)`, `A[r](p)`, E[h], F, G, G[0], K[J], M[Earth], M[Sun], M[u], N[A], Phi[0], R, R[Earth], R[K], R[infinity], V[m], Z[0], a[0], a[e], a[mu], alpha, b, c, c[1, L], c[1], c[2], e, epsilon[0], g, g[e], g[mu], g[n], g[p], gamma[e], gamma[n], gamma[p], gamma_prime[h], gamma_prime[p], h, hbar, k, l[P], lambda[C, mu], lambda[C, n], lambda[C, p], lambda[C, tau], lambda[C], m[P], m[alpha], m[d], m[e], `m[e]/m[mu]`, m[h], m[mu], m[n], m[p], m[tau], `m[tau]c^2`, m[u], mu[0], mu[B], mu[N], mu[d], `mu[d]/mu[e]`, mu[e], `mu[e]/mu[p]`, `mu[e]/mu_prime[p]`, mu[mu], mu[n], `mu[n]/mu_prime[p]`, mu[p], mu_prime[h], `mu_prime[h]/mu_prime[p]`, mu_prime[p], n[0], r[e], sigma, sigma[e], sigma_prime[p], t[P]

(1)

Copy and paste from the list above.

GetConstant(g[n])

neutron_g_factor, symbol = g[n], derive = 2*mu[n]/mu[N]

(2)

Manually try to type in g__n.

GetConstant(g__n)

Error, (in ScientificConstants:-GetConstant) `g__n` is not a known Constant

 

NULL

Why doesn't the latter work?

Download ScientificConstants.mw

I have multiple questions on how Units[TestDimensions] works from reading the Maple documentation. I will use this thread to ask them.

My first question regards the difference between Unit(expr) and units inserted using shortcut (CMD+SHIFT+U) on a mac?

restart

Automatically loading the Units[Simple] subpackage
 

 

What is the difference between the following two commands?

Units:-TestDimensions(x*Unit('m')+y*Unit('s'), output = dimensions)

{x::(length^(-1+_t3[7, 1])*mass^_t3[7, 2]*time^_t3[7, 3]*electric_current^_t3[7, 4]*thermodynamic_temperature^_t3[7, 5]*amount_of_substance^_t3[7, 6]*luminous_intensity^_t3[7, 7]*currency^_t3[7, 8]*amount_of_information^_t3[7, 9]*logarithmic_gain^_t3[7, 10]), y::(length^_t3[7, 1]*mass^_t3[7, 2]*time^(-1+_t3[7, 3])*electric_current^_t3[7, 4]*thermodynamic_temperature^_t3[7, 5]*amount_of_substance^_t3[7, 6]*luminous_intensity^_t3[7, 7]*currency^_t3[7, 8]*amount_of_information^_t3[7, 9]*logarithmic_gain^_t3[7, 10]), (x*Units:-Unit(m))::(length^_t3[7, 1]*mass^_t3[7, 2]*time^_t3[7, 3]*electric_current^_t3[7, 4]*thermodynamic_temperature^_t3[7, 5]*amount_of_substance^_t3[7, 6]*luminous_intensity^_t3[7, 7]*currency^_t3[7, 8]*amount_of_information^_t3[7, 9]*logarithmic_gain^_t3[7, 10]), (y*Units:-Unit(s))::(length^_t3[7, 1]*mass^_t3[7, 2]*time^_t3[7, 3]*electric_current^_t3[7, 4]*thermodynamic_temperature^_t3[7, 5]*amount_of_substance^_t3[7, 6]*luminous_intensity^_t3[7, 7]*currency^_t3[7, 8]*amount_of_information^_t3[7, 9]*logarithmic_gain^_t3[7, 10]), (x*Units:-Unit(m)+y*Units:-Unit(s))::(length^_t3[7, 1]*mass^_t3[7, 2]*time^_t3[7, 3]*electric_current^_t3[7, 4]*thermodynamic_temperature^_t3[7, 5]*amount_of_substance^_t3[7, 6]*luminous_intensity^_t3[7, 7]*currency^_t3[7, 8]*amount_of_information^_t3[7, 9]*logarithmic_gain^_t3[7, 10])}

(1)

Units:-TestDimensions(2*Unit(m)+y*Unit(s), output = dimensions)

{y::(length/time), (y*Units:-Unit(s))::length, (2*Units:-Unit(m)+y*Units:-Unit(s))::length}

(2)

NULL

I think my question is what is the difference between inserting units using CMD+SHIFT+U on a mac, which generates the units as seen in the first command, versus using Unit(expr) as in the second version of the command?

Download Units_-_TestDimensions.mw

I read in the programming guide that to print the body of Maple library commands we set the Maple interface variable `verboseproc` to 2 then use the print command passing in the procedure we're interested in as argument.

Built-in kernel commands are compiled in machine code and not written in Maple language so we cannot view their definitions.

According to the guide, if we try to print such procedures we will see that the procedure has only an `option builtin` statement and no visible body.

If I try to view `Units:-TestDimensions`, as follows

```interface(verboseproc=1);
print(Units:-TestDimensions);

```

then what I see is

In this case there isn't the `option builtin` but neither is there a visible body.

Is this procedure built-in or is there a way to see the code?

Hi
i write my code for calculate this type of function but the result is so different from mine i  will post here i hope someone tell me where is problem

i have this

i want this

Download EX1.mw

Hello!
I am wondering if there is any way i can produce a cayley graph of a fixed radius for a finitely presented infinite group? That is if i take a FinPresInfGrp such as Z² is there any way i could create the cayley graph for the first 5 steps away from e?

I have tried increasing  _EnvMaxCosetsToddCoxeter however i imagine that this is a bit pointless!

Any help would be very much appriciated :)

Is there a way to reassign the arcsecant function "arcsec()" as "asec()" so that "arcsec" can be assigned to the arcsecond unit "Unit(arcsec)"?

Ideally, I would like all of the inverse trigonometric functions to use the shorter notation "asec()" instead of "arcsec()".  I usually do this as aliases, i.e. "alias(asin = arcsin) : alias(asec = arcsec) :" but this won't allow reusing "arcsec" for a unit instead.

Example error for Maple 2023:

alias(asec = arcsec) :
AddUnit(astronomical_unit, context = astronomy, default = true, prefix = SI, conversion = 149597870700*m) : # https://en.wikipedia.org/wiki/astronomical_unit
AddUnit(second, context = angle, spelling = arcsecond, plural = arcseconds, symbol = arcsec, prefix = SI_negative) :

AddUnit(parsec, context = astronomy, default = true, prefix = SI, conversion = AU/tan(arcsec)) ; # https://en.wikipedia.org/wiki/Parsec#Calculating_the_value_of_a_parsec

"Pi/648000" has to be used instead of "arcsec" here when defining the parsec since "arcsec" is already reserved for the arcsecant function, even with "alias(asec = arcsec) ;".

Correction: it looks like the parsec was redefined by the IAU in 2012 as exactly "648000*AU/Pi" without any tangents (or sines) in the definition (so the angle subtended by 1 AU at 1 PC is actually 0.999999999992" not 1").  Both "astronomical_unit" and "parsec" have the wrong values in Maple 2023 which need to be corrected manually.  But the conflict between arcseconds and arcsecants remains the same.

https://iau.org/static/resolutions/IAU2015_English.pdf

https://iopscience.iop.org/article/10.3847/0004-6256/152/2/41

I am reading the documentation on the `Units[Simple]` package.

There is a section that says

"In the Simple Units environment, in contrast to the Standard and Natural environments, unassigned variables are not automatically assumed to represent unit-free quantities. For example, 5m+x is a valid expression if x is unassigned, because x may represent a length. On the other hand (5m+x)(6s+x) is an invalid expression because the first factor implies that x represents a length and the second factor implies that x is a duration."

The way I understood this paragraph is that in Units:-Simple an unassigned variable is not assumed to represent a unit-free quantity, but in Units:-Standard it is assumed to represent a unit-free quantity.

Consider the expression 5m+x. This expression works in Units:-Simple but not in Units:-Standard.

Units:-Simple adds a quantity 5m to a quantity without units. But why can one add a quantity with units to a quantity without units?

Units:-Standard tries to add a quantity 5m to a quantity that is assumed to have units. What units are assumed?

Next, consider (5m+x)(6s+x).

This fails in both packages, as can be seen below (actually, for some reason, the embed below is not showing the expressions typed in for Units:-Standard, but can be seen if you download the worksheet I imagine).

restart

with(Units:-Simple)

5*Unit('m')+x

5*Units:-Unit(m)+x

(1)

(5*Unit('m')+x)*(6*Unit('s')+x)

Error, (in Units:-Simple:-*) the following expressions imply incompatible dimensions: {5*Units:-Unit(m)+x, 6*Units:-Unit(s)+x}

 

restart

with(Units:-Standard)

(5*Unit('m')+x)*(6*Unit('s')+x)

Error, (in Units:-Standard:-+) the units `m` and `1` have incompatible dimensions

 

5*Unit('m')+x

Error, (in Units:-Standard:-+) the units `m` and `1` have incompatible dimensions

 

NULL

So my question is, what exactly is the difference between considering unassigned variables to be unit-free vs not unit-free?

Download Units_Simple_vs_Standard.mw

First 86 87 88 89 90 91 92 Last Page 88 of 2426