I changed a recent submission by you from Post to Question. Please don't submit usage queries as Posts. (But that one wasn't a draft -- it had already been submitted, albeit incorrectly.)

You should be able to see tabs/links that point to all your Questions/Posts/Replies.

@dingtianlidi Hmm. Perhaps it is a bug. You could ask support@maplesoft.com

You have not told us explicitly which version of Maple nor which Operating System you are using.

On my Maple 2019 for Linux the user-defined Tasks get put in a Help Database file like
    ~/.maple/2019/tasks.help
Perhaps on your OS there is a similar file. Eg, on MS-Windows it might be under either C:/Users/yourID or wherever kernelopts(homedir) reports.

Have you tried using the command DocumentTools:-RemovePaletteEntry ?

@Carl Love This site is running an old and outdated version of MapleNet as on its back-end server.

I have requested -- several times over many years -- that this site's back-end server be updated, in particular for this gridlines problem (which was purportedly fixed in more modern MapleNet, in consequence of one of my reports long ago).

I've also asked that the inlining of .mw worksheets use a better graphic export for plots than JPEG, which is why inlined plots look so poor. Any update should utilize PNG export (though even GIF would look much better than present).

Over the years I've sometimes asked nicely and I've sometimes asked brusquely -- that doesn't seem to make a practical difference.

@kfli You said that you run that code a "bazillion times".

But presumably you don't run all that code many times, since you've included the call to Compiler:-Compile. So, I suppose you call cProduct_3DC many times. I asked earlier how that has to be done, and I suspect that still matters. Is there a reason that you cannot supply complete code to reproduce, or at least code that calls Product_3DC several times?

Could you supply a summation formula and description for what Product_3DC does?

@djc That's what I suspected. Thanks. I know someone else using Windows 10 who can reproduce that. A bug report has been submitted.

@kfli You haven't provided any details at all about your example, so it's very difficult to make constructive comments.

Is it a very quick/short command which you call a great many times? If so, do you have to call it sequentially, or can you suppy a float[8] Vector of input values and do many at once?

Is it (possibly) many different procedures and all must be compiled and run?

Are you using the in-memory LLVM or the gcc? (This might not be germane to your issue, but I am hunting for information.)

It sounds like you are seeing the overhead of the external-call process, which for a very small procedure may be significant compared to the overhead of direct execution.

Arguments passed from Maple must go through some degree of conversion, even scalar HFloats and float[8] rtables. If you could combine many together (in a single call with Vectors/Matrices of arguments) then that overhead could be mitigated.

I cannot say more, because you haven't given us anything to work with.

You haven't indicated how complicated the boundary might be, in the worst case. Is it partially self-obscuring? If so then you might be able to accomplish some kind of (crude) volume rendering with transparency. Perhaps see this old post.

@djc Does the following return true for you?

e := (a or b) and (not a or not b) and (a or not b);
SMTLIB:-Satisfiable(e);

Upload and attach your full code (eg. in a .mw worksheet).

@Stretto I see, you just need an animation inside Maple.

I thought you wanted to export to a movie file, because I read this -- literally -- in your Question's title, "create movi".

You might Explore a call to IterativeMaps:-Bifurcation, or any procedure which returns images. And you can use an option to have that "play" the images in succession. (There's an example of that in the
  ?examples,Explore
page, using Mandelbrot.)

But the play-rate is determined by how quickly the images are generated. So if Bifurcation computes them slowly then you may need to compute them up front, store in a table, and then Explore calls to a short procedure which simple picks them off that table using argument i::posint.

I would have to poke around, to discover inefficiency in Bifurcation, and unfortunately I don't have time for that this week, sorry,

I converted your query from a Post to a Question.

Why do you submit every single query as a Post, instead of a Question? It is inconsiderate and impolite, since you've been politely asked about this several times.

I changed the Product from "Maple 16" to "Maple 2016", since that's the version in which your attachment was last saved.

I recall doing something like that for myself, a long time ago. I'd have to dig out the details.

In the meantime, perhaps you could supply the basic information of your Maple version and Operating System? If you do then I shall adjust the headings of this Question accordingly.

I get results true and false, respectively, for your two examples. I'm using 64bit Linux.

@digerdiga I am wondering whether you are specifying it backwards.

Consider your shorter followup example. It doesn't make sense to collect wrt `x` and then expect the common `a` term to be factored out -- since the terms with powers of `x` will be handled separately. Instead, collect first wrt `a`.

g := a*x*(x+1);
                        g := a x (x + 1)

collect(g,[a,x])
                           / 2    \  
                           \x  + x/ a

As for your primary example, are you looking for one of the last two of these?

Download collect_nc.mw