@williamov Okay, if you insist. But I emphasize that this seems sloppy to me. I do not "stand behind" the following code:

TypeTools:-AddType('w', 'satisfies(p-> has(p,w))');

To use the new type:

[op] ~ (select(type, G1, 'w'));

or, if you prefer something akin to your `if`:

(p-> `if`(p::'w', [op], [][])) ~ (G1);

You can use ?satisfies to turn any predicate whatsoever into a type; and you can turn all predicate invocations into type checks. That doesn't mean it is a good idea to do so.

@williamov Okay, if you insist. But I emphasize that this seems sloppy to me. I do not "stand behind" the following code:

TypeTools:-AddType('w', 'satisfies(p-> has(p,w))');

To use the new type:

[op] ~ (select(type, G1, 'w'));

or, if you prefer something akin to your `if`:

(p-> `if`(p::'w', [op], [][])) ~ (G1);

You can use ?satisfies to turn any predicate whatsoever into a type; and you can turn all predicate invocations into type checks. That doesn't mean it is a good idea to do so.

Are you using package PolynomialIdeals? If not, then check out ?PolynomialIdeals. If that doesn't answer your question, then ask again.

@ecterrab Thank you so much for checking these old posts, and for posting your update messages. It is so helpful to know that someone is working on these things!

@Alejandro Jakubi Thank you Alejandro for this example of package Typesetting. I note that your command does not select a font; it is the bold italic of the standard font.

Could you write a post about the undocumented commands in that package, or provide a pointer to some other reference material? It is mostly the commands whose names begin with lowercase m. Just an explanation of what names like mi, mo, and mrow stand for would be very helpful.

@acer Thanks you Acer for the useful comment about Unicode. If I were to make a table of a range of Unicode characters, what would be a good of font that is likely to have most of them? I can fit 1024 characters into a table such as the one above, though the display of indexing numbers would not be as convenient. I could make a procedure that displays a given range in a given font.

There haven't been any updates to Maple since 18-Nov-2012. (The date the update actually reaches your computer may vary from that.) You can check if yours has been updated by using the command kernelopts(version).

In the case posed in the original question, the absence of the multiplication operator turns the expression into nonsense. The fact that Maple has some response to it other than an outright error message is just bad luck.

Please post your worksheet in a separate thread, i.e. as a new Question.

There haven't been any updates to Maple since 18-Nov-2012. (The date the update actually reaches your computer may vary from that.) You can check if yours has been updated by using the command kernelopts(version).

In the case posed in the original question, the absence of the multiplication operator turns the expression into nonsense. The fact that Maple has some response to it other than an outright error message is just bad luck.

Please post your worksheet in a separate thread, i.e. as a new Question.

Are you using the command dfieldplot? Post the actual command that you used.

@9colai You can now give Joe a "like" if you like. You now have the required 10 points.

@9colai You can now give Joe a "like" if you like. You now have the required 10 points.

We, in attempting to answer the question, were daunted by the sheer simplicity of it. I did not open the worksheet until I saw your answer. Yes, I'll bet that you're right: It was simply a matter of semicolon versus colon.

We, in attempting to answer the question, were daunted by the sheer simplicity of it. I did not open the worksheet until I saw your answer. Yes, I'll bet that you're right: It was simply a matter of semicolon versus colon.

What do you mean by "preferably a line, the 1s being on one side and the 2s the other"? Perhaps you could draw a picture on paper of what you want and photograh it and upload it. I suspect that what you want would be fairly easy to do.

@jmw193 Please post this as a separate question, i.e. in a new thread, and I will gladly answer it then.