Answering to Definite Integral post, I tried to do the first example in ?inttrans[fourier],

assume(a>0):
inttrans[fourier](3/(a^2 + t^2),t,w);

         Pi (exp(a~ w) Heaviside(-w) + exp(-a~ w) Heaviside(w))
       3 ------------------------------------------------------
                                   a~

using int,

int(3/(a^2+t^2)*exp(-I*w*t),t=-infinity..infinity);

                                  0

No comment. Well, I tried another example from the same help page,

inttrans[fourier](1/(4 - I*t)^(1/3),t,2+w);

Recently, working on Nested Verification, I took a look at the whattype procedure. First, I couldn't find any use of local variables t1, t2, L, k1, k2 declared in it. That seems odd. Second, the order of types in it seems to be not exactly right. In particular, symbol is located earlier than `module`. Also, some types are missing, record for example. That leads to not recognizing modules and records,

r := Record( 'a', 'b' ):
m := module() end:
whattype(r);
                                symbol
whattype(m);
                                symbol

Similarly to the compact and efficient version of Nested Verification, I wrote a "compact and efficient" version of whattype,

Hi all, Can anybody tell me what algorithm has been used in the algorithm for gsolve command in the Groebner Basis? Any help/links/tips are highly appreciated. Thanks!

I had a kernel panic using Maple 10.06 on my MacBook and now Help can't find anything when I just open Help > Maple Help. Turns out this seems to be a 10.06 problem. I went back to a clone of my system that had 10.05 and ran the updater and the new 10.06 had no help. So not the kernel panic -- guess I hadn't run help since the update. Any ideas no how to fix this ? Thanks - Michael

Nested verification can be done in Maple using the following command,

VerifyTools:-AddVerification('nested'=proc(x,y,ver::verification)
if whattype(x)=whattype(y) then 
if x::Vector then verify(x,y,'Vector'('nested'(args[3..-1])))
elif x::Matrix then verify(x,y,'Matrix'('nested'(args[3..-1])))
elif x::Array then verify(x,y,'Array'('nested'(args[3..-1])))
elif x::array then verify(x,y,'array'('nested'(args[3..-1])))
elif x::set then verify(x,y,'set'('nested'(args[3..-1])))
elif x::list then verify(x,y,'list'('nested'(args[3..-1])))
elif x::relation then verify(x,y,'relation'('nested'(args[3..-1]))) 
elif x::range then verify(x,y,'range'('nested'(args[3..-1]))) 
else verify(x,y,args[3..-1]) fi 
else verify(x,y,args[3..-1])
fi end);

Few hours before I post a blog post to MaplePrimes. I remember that some text appeared that posting was successful. But I can't see it in "my blog". Can you help me?

UPDATE!!! I found that my blogpost appers in Maple reporter. You should know, that this blogpost was just a question about how to solve my problem better. Alec Mihailovs gave me and aswer and his solution of testing nested objects is much better. If you still want to use my piece of code, you should remove "set object" form "convertAMVStolist" procedure and replace all occurrences of "hastype" with "type" (as mentioned in comments below).

This piece of code should be able to test two objects (not of every type) for equivalence (like testeq() does). The benefit is, that it should be able to test also nested objects. Is there any other and more simple way how to do that? How to test nested objects in sets?

Hello! I try to solve the eq1, eq2, eq3, and eq4. I simplified the 4 equations to rs1 and rs2 to get the solution t3 and t5. Then, I check the solution by subsituting Eq(14) into Eq(10). The result is right. The rs1 equation was found by numerical tests. However, it is not correct for the eq1, eq2, eq3, or eq4. I do not understand why it is not correct. Please tell me the reason and how I can solve and obtain correct solution. The worksheet can be found in the File Manager Thank you for your time and help.

Here is a simple procedure doing numerical inverse Laplace transform using Post's inversion formula,

ILT:=proc(f,s) local k,dig;
if nargs>2 and type(args[-1],'posint') then dig:=args[-1] 
else dig:=Digits fi;
proc(T) local t,d,a;
d:=dig;
a:=Limit();
t:=evalf(T,dig);
while op(0,a)='Limit' do
a:=evalf(Limit((-1)^k/k!*(k/t)^(k+1)*eval(diff(f,s$k),s=k/t),k=infinity),d); 
d:=2*d od;
evalf(a,dig) end end:

Hi I wonder if anyone can assist with the Maple commmand to do total derivatives. For example, tan(theta)=1/x I want to know if there is a direct command to differentiate this equation w.r.t t (time). From memory, if I input D(tan(theta)=1/x), Maple outputs: tan(theta)D(theta)=-1/x^2 Dx the correct result should be: sec^2(theta)d(theta)/dt = -1/x^2 dx/dt thanks in advance Brian

Dear Sir; restart; _EnvAllSolutions:=true; eqn1:=cos(omega[1]*t[1])+cos(omega[1]*t[2])=-1; eqn2:=cos(r*omega[1]*t[1])+cos(r*omega[1]*t[2])=-1; solve({eqn1,eqn2},[t[1],t[2]]); I try to get the solutions. It gives me very complicated answer. How do I interpret the results with assumed variables? Actually, I want to get the closed form solution. Could you help me about the problem? Thanks. Sung

Maple has a package for computing analytic laplace and inverse laplace transforms, has anybody on this forum written a Maple code that computes the inverse laplace numerically?

Hi, I've been trying to teach my students how to use units in Maple calculations, and have figured out how to get around certain things like integration, etc. I don't think, however that you can pass say a vector that has units attached through a plotting routine in Maple. For example if an array M = [[1[[atm]], 4[[L]]], [0.1[[atm]], 0.35[[L]]]] is plotted with something like display([pointplot(M, color = red)]) Error, (in pointplot) incorrect first argument If I define the array w/o the units (using this method), there isn't an issue. There is more than one way to skin a cat in Maple, so maybe there is a way to do this that I don't know?

A new version of the File Manager was just uploaded. This version now can convert more files to HTML in addition to Maple .mw worksheets. Now if you upload a .txt .mpl, .m, .html, .htm, .maplet, .mm, or .csv file the contents will automatically be converted to HTML. This allows you to view the file directly on MaplePrimes without having to download the file. You can copy the HTML code into your postings, allowing people to see your text files formatted correctly in your postings. When you upload an HTML file, the file's formatting is left intact. But the file's <head> section is removed so that when you paste the file in, it will not cause problems with the formatting of the site.

The links that appear at the top of entry forms have been updated, now when you click on "Upload/Use File or Worksheet", the following text is automatically inserted into your posting: Please replace this text with the link to your file. The link can be found in the File Manager This is to help remind you to copy and paste the link code from the File Manager back into your posting. If you have any comments on this feature, please comment on this post.