@acer 

Thanks., Sure, if you could share the code you have, I will be happy to try it. I appreciate Carl solution, but it is not practical to have a user to manually adjust ticks each time based on the scale used. In Mathematica, this is all done automatically.

I think this feature should be really part of Maple. In Mathematica, one can use BoxRatios on any 3D graphics. 

Logic:-Satisfy seems to leak 'p'. I do not understand the code well, but I see it makes 'p' inside it:

interface(verboseproc=3);
showstat(Logic:-Satisfy);

.....

10 if type(B,specfunc(Logic:-`&or`)) then
11 if membertype('name',B,'p') then
12 s := {op(p,B) = true}
elif membertype(specfunc('name',Logic:-`&not`),B,'p') then
13 s := {op([p, 1],B) = false}
elif minimal = false and membertype(specfunc({specfunc('name',Logic:-`&not`), 'name'},`&and`),B,'p') then

.....

@John Fredsted 

now it works. Thanks.

@Preben Alsholm 

thanks. This is very nice way to find out. But I am not sure how reliable it is. I did:

op(3,eval(inttrans:-laplace));  and got

`Copyright (c) 1991 by the University of Waterloo. All rights reserved.`

But when I did 

op(3,eval(sum)); I got

lock, `Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2005`

I do not know what "lock" means, and I am sure sum() command was in Maple before 2005? 

May be this just gives when a "copyright" was added to the commands, and not when the command or package was actually was in Maple?

@John Fredsted 

Thank you, but on Maple 2016, one test failed.

   removeProducts(c+a^m*b^n);

returned the same expression. But it should have returned "c" only. For example using the "p1" proc shown in the earlier answer, I get

   p1(c+a^m*b^n,[a,b]);

returns "c".

The pattern should remove all expression that contains products of a^n*b^m with any powers. May be a small modification is all what is needed for your algorithm to make it work? 

if you can show how you would do it by hand, i.e. what you want the result to be, then someone will show you how to do in Maple. 

@Kitonum 

in Maple 2016, I get wrong answer for one test:

P := expr->evalindets(normal(expand(expr)), And(`*`, satisfies(t->nops(indets(t))>1)), t->0);
P(a^b*c);

Gives zero. This should give back the same expression, since there is no "a*b"  product in the expression?

Also P(a+b*c); gives back "a". This should give back same expression, since there is no "a*b" expression there.

@Carl Love 

"This trend of using equation label references in help pages is deplorable."

It seems this trend is also creeping into Maple official documenation. Here is from the official Maple programmingGuide.pdf, downloaded from Maple web site

Page 25 from

If the "programming guide" is using deplorable programming, is there any hope left?

@Carl Love 

" This trend of using equation label references in help pages is deplorable."

Not only deplorable, but ridiculous also. We used to assign results to variables. Not "labels".

Maplesoft is trying very hard to the kill classical Maple programming language and the original spirit of Maple. Now one does not understand Maple code any more looking at the web pages of Maplesoft. 

They took away the original Maple classical interface few versions away, and now they want to push this clickable calculus and document mode and the Microsoft word way of doing things on us users. But trying to turn Maple file to something like a Microsoft word, all what this does is drive more people, who view Maple as a programming first, away from Maple to other platforms.

No wonder Maple is used less and less all the time around the world. Just look around and see. I do not undersatand how someone can defend these broken maple help web pages. Full of broken Javascript code and bloated stuff.  Keep pages simple, use plain text for input and 2D for output, and keep things easy to use, clear and simple.  Cut down the bloated javascript.

A help page where one can not copy-paste code from it is useless.

Bring back old classical Maple language, concetrate on real Math and better packages and documenation, and not on menus and 2D buttons and flashy Javascript pages and half working apps. May be there is still hope for Maple if this is done.

@Kitonum 

In this case, it is even worst.

It means it assumes the user is using the document mode and not plain text worksheet (original Maple code).

If Maplesoft want to force users to use math mode document mode even if they do not want, then Maplesoft is mistaken and will end up losing more customers.

The online help pages are getting worst and worst all the time and hard to read and use. One can't even copy-paste code from it.

@Carl Love 

Thank you. But I am still little confused as I am not sure how the lexicographic order affected the sign.

If I understand you right, you are saying that (-x0+letter) (this is the argument to arctan in the example), shows up this way and not (letter-x0) when "x0" is after the letter in lexicographic order. So when letter is "a", it shows as (-x0+a) becuase x0 is ahead of "a". Ok., I understand this. 

But when "a" is replaced with "z", then Maple should write it as (z-x0), since "z" is now after "x0" in lexicographic order. Right?

But why then Maple pulled a minus sign out and changed (z-x0) back to -(x0-z) ?

It seems the sign also comes into play, and not just lexicographic order? I must be missing something.

@Carl Love 

"P:= proc(x) 2*x end proc:

Then, naturally, proc() 2*x end proc() means the same thing as P()"

But what about the ";" ? That is what confused me. The proc() definitions is completed when a ";" or ":" is seen. How could one call a proc() then before its definition is completed?

Now when I wrote

                    P:=proc(x) 2*x end proc;()

Maple returned the proc() definition correctly and ignored the ending (). This I understand. (even though a syntax error here also would have been nice)

I just do not understand how P:=proc(x) 2*x end proc() is the same as P() since P did not finish its definition since no ";" was there to finish it.

This is a fussy Language grammer and syntax if you ask me.

@tomleslie 

This bug must have been introduced due to the new changes made in user interface:

http://www.maplesoft.com/products/maple/new_features/

Hopefully it will be easy to fix in 2016.1

@Axel Vogt 

thanks. That worked. But it is not the same thing as having the whole folder icon show up in the start menu->programs. But at least now I see it more easily there which is much better than before.

@Thomas Richard 

Thanks, But I do not have a desktop icon.

I do remember now that it asked me when installing if I want a desktop icon added. I selected NO. Since I do not need it on the desktop. May be this caused Maple installation to also not add it to the start menu->program? This would be a bug if that is the case. These are supposed to be separate things.

WHat I can do is un-install Maple, install it again, but now tell to add a desktop icon and see if this makes it add it to the start menu. I am just worried if I unstall it, a problem might show up when I try to install it again.