I haven't reported any bugs.  I would like to report it directly to Maplesoft, but the support page says that I should contact the local Maplesoft partner (I am in Europe) This is not convient for me. There should be a simple way to report bugs.

 

 

I haven't reported any bugs.  I would like to report it directly to Maplesoft, but the support page says that I should contact the local Maplesoft partner (I am in Europe) This is not convient for me. There should be a simple way to report bugs.

 

 

You can use the CriticalPoints and the Roots commands of the Student package to solve your problem.

Try this:

restart;
with(plots):with(Student[Calculus1]):
a := 2; b := 1;
A := (a*b)^2/(8*cos(theta)*sin(theta)*(a*sin(theta)+b*cos(theta))^2);
Agraph:=plot(A,theta=-2..5,view=[-2..5,-15..15],numpoints=3000,color=red):
Ad:=diff(A,theta);
Adgraph:=plot(Ad,theta=-5..10,view=[-2..5,-15..15],numpoints=3000,color=blue):
cpoints:=CriticalPoints( A,theta=-2..5 );
rpoints:=Roots( Ad,theta=-2..5,numeric);
Adisconts:=pointplot(zip((x,y)->[x,y],cpoints, [],0),color=blue,symbol=circle):
Adzeros:=pointplot(zip((x,y)->[x,y],rpoints, [],0),color=green,symbol=circle):
display(Agraph,Adgraph,Adisconts,Adzeros);

I think the problem is that a muliplication sign is missing before the last factor of the denominator of A  .

 

On the pages 10 - 17 of this document there are a list of  the features of this library, unfortunately it is not the latest version:

http://writers.fultus.com/aladjev/ebooks/Victor_Aladjev_New_Software_Toolbox_for_Maple.pdf

On the pages 10 - 17 of this document there are a list of  the features of this library, unfortunately it is not the latest version:

http://writers.fultus.com/aladjev/ebooks/Victor_Aladjev_New_Software_Toolbox_for_Maple.pdf

You can try this:

convert( exp(x), Sum);

or in a nicer form:

convert( exp(x), Sum, x=0, dummy = n);

You can also ask the FunctionAdvisor:

FunctionAdvisor( sum, exp );

 

Your first problem can be solved this way:

F := 1/((1-s)^(1/2));

convert(F, Sum, include = powers, dummy = k);

 See it in the help:

?convert/Sum

?taylor

 

 

You can try this:

convert( exp(x), Sum);

or in a nicer form:

convert( exp(x), Sum, x=0, dummy = n);

You can also ask the FunctionAdvisor:

FunctionAdvisor( sum, exp );

 

Your first problem can be solved this way:

F := 1/((1-s)^(1/2));

convert(F, Sum, include = powers, dummy = k);

 See it in the help:

?convert/Sum

?taylor

 

 

Thank you, Acer. 

I have to read the help pages on the local names, this was new for me.

Thank you, Acer. 

I have to read the help pages on the local names, this was new for me.

You can use the geometry package to plot a triangle: restart; with(geometry): point(A, 0, 0): point(B, 3, 3): point(C, 0, 2): triangle(T1, [A, B, C]): draw(T1, printtext = true, axes = none, color = green, filled = true, title = "My triangle");

The FromDigits command can be used in Maple: restart; with(MmaTranslator[Mma]): FromDigits([1, 7, 5]);

restart; f:= proc(n) local prd, i; global x; prd := 1; for i to n do prd := prd*x[i]: end do: end proc; diff(f(3),x[1]);

restart; f:= proc(n) local prd, i; global x; prd := 1; for i to n do prd := prd*x[i]: end do: end proc; diff(f(3),x[1]);

Hello Jacques and Stephen, Thank you for your detailed answers. I understood the main problems of integrating of a theorem prover system in maple. What do you think about the possible cooperation between maple and a standalone theorem prover system? As I mentioned I've read about PVS's interface to maple. (I have not tried it, because it is on Linux, and I am on windows, but I found it interesting.) Can it be feasible and useful to combine the power of maple and a standalone theorem prover system to extend the mathematical capabilities and correctness of maple? (To reach such theorem prover capabilities from maple, perhaps with a similar-to-maple syntax, or using of such capabilities by maple commands in the background.) Best regards Zsolt