MaplePrimes Questions

The first time they are evaluated, some aborts can occur; the second time they are evaluated, no exception is thrown: 
 

Physics:-Version()

`The "Physics Updates" version in the MapleCloud is 1806 and is the same as the version installed in this computer, created 2024, September 11, 11:27 hours Pacific Time.`

(1)

restart;

RootOf(
        9*x1-5+RootOf(8*_Z**2+_Z-43, 41629632769253767815/18446744073709551616 .. 20814816384626883921/9223372036854775808), x1, 171590466306199/562949953421312 .. 343180932612401/1125899906842624
);

Error, (in property/ProbablyNonZero) cannot determine if this expression is true or false: ln(.1e11*abs(-.304805898398896+1.*RealRange(.304805898398895,.304805898398897)))/ln(10) < -6

 

RootOf(
        9*x1-5+RootOf(8*_Z**2+_Z-43, 41629632769253767815/18446744073709551616 .. 20814816384626883921/9223372036854775808), x1, 171590466306199/562949953421312 .. 343180932612401/1125899906842624
);

5/9-(1/9)*RootOf(8*_Z^2+_Z-43, 41629632769253767815/18446744073709551616 .. 20814816384626883921/9223372036854775808)

(2)

RootOf(
        2*x1-3+RootOf(_Z**2+2*_Z-11, 181818607464242035159/73786976294838206464 .. 363637214928484070345/147573952589676412928), x1, 301683970796757/1125899906842624 .. 150841985398379/562949953421312
);

Error, (in property/ProbablyNonZero) cannot determine if this expression is true or false: ln(2500000000.*abs(-.267949192431123+1.*RealRange(.267949192431122,.267949192431123)))/ln(10) < -6

 

RootOf(
        2*x1-3+RootOf(_Z**2+2*_Z-11, 181818607464242035159/73786976294838206464 .. 363637214928484070345/147573952589676412928), x1, 301683970796757/1125899906842624 .. 150841985398379/562949953421312
);

3/2-(1/2)*RootOf(_Z^2+2*_Z-11, 181818607464242035159/73786976294838206464 .. 363637214928484070345/147573952589676412928)

(3)


 

Download run__twice.mw

Why does (the outer) RootOf have to be evaluated twice? 
Note. There are other similar examples, but they are less concise (so they are omitted here).

I have a differential equation which I am looking for a series solution in inverse powers of r. I am doing this by matching inverse powers between the RHS and LHS of the differential equation and then finding the coefficient in the series solution that would solve this. I have written a little procedure which returns the coefficients, I am just curious if there is a command that will do this for me or if i can improve on this technique? I tried the Solve command in PDETools but it just kept evaluating and did not return an answer. 

Thanks in advance. 

 

EDIT: More detail provided in the first reply. 

coefficient_question.mw

Hello, 

I have a list of data {a,b,c,d} for which I need to create permutations without inbult function in Maple. The list of inputs is not fixed and it can contain aither one value or n-values. I was thinking about use of recursion in loops but it doesn't work as I was expected. Do you know please how to set a such recursive calculation with loops?
 

Result should be as follows for the list whole list range:

a+b

a+c

a+d

a+b+c

a+b+d
a+c+b
a+c+d

a+d+b

a+d+c

a+b+c+d

a+c+d+b

a+d+b+c

b+a

b+c

b+d

b+a+c

b+a+d

b+c+a

b+c+d

b+d+a

b+d+c

b+a+c+d

b+c+d+a

b+d+a+c

etc...

 

Comb1:=proc(S)
local G2::DataFrame,x,xs,i,j,T,k;

G2:=DataFrame([[]]);

if numelems(S)=0 then 
		return {}
		elif numelems(S)=1 then
			return {S}
		else 
			for i in seq(1..numelems(S))do
				for j in seq(1..numelems(S))do
					if i=j then
						next j
					end if;
			x:=S[j];
			xs:=S[i]+S[j];	

			#collect data into a dataframe
			G2:=Append(G2,DataSeries(<xs>),mode=row);

			#recursion
			for T in Comb1([xs]) do 
				for k in seq(1..numelems(S)) do
					if k=i or k=j then 
						next k
						end if;
				G2:=Append(G2,DataSeries(<[S[k]]+T>),mode=row);
				
					end do;
				end do;
			end do;
		end do;
	end if;
		
return G2;

end proc:

Comb1({a,b,c,d});

 

I cannot remember that this was an issue in Maple 6/9/11, so it must have changed later on up to 22.

The following limit fails to execute

restart;
1/(r_S^5*(_C2*r_S^4 + _C2*r_S^3 + _C2*r_S^2 + f[3](0)*r_S + f[4](0)));
limit(%, f[4](0) = infinity);

It fails to calculate the limit with result as zero.

Thanks

I want to solve a pde numerically, where one of the initial conditions involves an integral expression. In essence, I would like to get the following code to run. 

restart;
with(PDEtools);

# the heat equation
pde := diff(v(x, t), t) = diff(v(x, t), x, x);

f := x -> exp(-x^2);

a := -1.68858; b := 1.68858; delx := 1/100; t_final := 5;

pds := pdsolve(pde, {v(a, t) = 0, v(b, t) = 0, v(x, 0) = 1 - int(f(f(s)), s = 0 .. x)}, numeric, range = a .. b, time = t, spacestep = delx);

Error, (in pdsolve/numeric/process_IBCs) improper specification of initial/boundary condition: additional unknown(s) {s} were found in v(x,0) = 1-int(exp(-exp(-s^2)^2),s = 0 .. x)

pds:-animate(frames = 120, t = t_final);

Maple doesn't have any built-in function to evaluate the integral expression, so the initial condition doesn't evaluate to a simple expression involving x. I hope that because pdsolve is outputting numerical results, it should be acceptable for the initial condition to output floats as well.

Where can I find my purchase code to complete the installation for Maple Calculator? I am not able to use it without one.

If you draw a chord in any curve, when the latter becomes infinitely small, the ratio of the surface segment to the triangle formed by the chord and the associated tangents is 2:3.

(Source: Archive of Mathematics and Physics, editor Johann August Grunert, 31st part of 1858, pp. 449-453, "On a remarkable general theorem on curves",
Author: Andreas Völler)

(The curve may be assumed to be sufficiently differentiable.)

I was about to review a piece of code which is the "main procedure" of a worksheet (as one would say in other languages).

What I mean by that are the top level code statements of a Maple worksheet which are not part of procedures. For the code example I can easily put everything into a procedure and invoke the Maple debugger. For larger worksheets this becomes complicated.

For this reason I was wondering whether the debugger can also be started for a complete document.

I have a quite complex expression (where and are real numbers): 

expr := Or(And(-p^2 + 3*q < 0, p < 0, p^2 - 4*q < 0, Or(And(p < 0, -q < 0), p < 0, q < 0), Or(And(-2*p^2 + 3*q < 0, -q^2 < 0), And(p <= 0, Or(-2*p^2 + 3*q < 0, q^2 < 0))), Or(And(Or(And(p < 0, -q < 0), p < 0, q < 0), Or(And(-2*p^2 + 3*q < 0, -q^2 < 0), And(p <= 0, Or(-2*p^2 + 3*q < 0, q^2 < 0)))), And(p < 0, -q < 0), p < 0, q < 0, And(2*p^2 - 3*q < 0, -q^2 < 0), And(-p <= 0, Or(2*p^2 - 3*q < 0, q^2 < 0))), -2*p^5 + 15*p^3*q - 27*p*q^2 <= 0, p^2*q^2 - 4*q^3 = 0), And(p^2 - 3*q = 0, p < 0, -2*p^2 + 3*q < 0, Or(And(p < 0, -2*p^2 + 3*q < 0), p < 0, 2*p^2 - 3*q < 0), 2*p^3 - 9*p*q = 0), And(-p^2 + 3*q < 0, Or(And(p < 0, p^2 - 4*q < 0), p < 0, -p^2 + 4*q < 0), p < 0, -q < 0, Or(And(-2*p^2 + 3*q < 0, -q^2 < 0), And(-p <= 0, Or(-2*p^2 + 3*q < 0, q^2 < 0))), Or(And(p < 0, -q < 0, Or(And(-2*p^2 + 3*q < 0, -q^2 < 0), And(-p <= 0, Or(-2*p^2 + 3*q < 0, q^2 < 0)))), And(p < 0, -q < 0), And(2*p^2 - 3*q < 0, -q^2 < 0), And(p <= 0, Or(2*p^2 - 3*q < 0, q^2 < 0))), 2*p^5 - 15*p^3*q + 27*p*q^2 <= 0, p^2*q^2 - 4*q^3 = 0)):

According to coulditbe, is satisfiable: 

_EnvTry := 'hard':
coulditbe(expr) assuming real;
 = 
                              true

But according to SMTLIB:-Satisfiable, is not satisfiable: 

SMTLIB:-Satisfiable(expr) assuming real;
 = 
                             false

Why are the two results opposite

For reference, below is the output from RealDomain:-solve

RealDomain:-solve(expr);
 = 
               /           1  2\                 
              { p = p, q = - p  }, {p = p, q = 0}
               \           4   /                 

I also tried using RealDomain:-simplify, yet the output remains almost unchanged (Why?). 

How to find the dispersion relation (9). Although I calculated the dispersion relation (see Eq. (3) in DR_1.mw), it is not consistent as in the image. 

 

Is there a way to force maple not to reuse integration constant names or constant names arising from solving a differential equation.

In other words, once maple  provided e.g. an integration constant, then it may not reuse it when I solve another differential equation or integral equation in the same worksheet.

It causes problems with certain problems containing several differential equations that need to be solved sequentially.

Good evening, how do I get Maple to graph and shade the intersection area of ​​the curves? Can someone please tell me how to do this? I have used implicitplot but I don't know how to shade the area.

I'm sure this has been asked and answered, but I can't find the correct MaplePrimes page on it. How does one generate an array plot where the plots are centered within each box and not left justified? I need to make a PDF out of the document with an array plot of 1 column and 2 rows. (The following is just an example.) 

5 6 7 8 9 10 11 Last Page 7 of 2363