Sometimes it works like that using AllSolutions option, but not in this example.

Alec

Well, it's hard to tell exactly why. One of possible explanation is that it seems to be a general tendency among CAS creators. Stephen Wolfram developed a new kind of science, and Maplesoft people, probably, didn't want to be left behind - they developed new kinds of Calculus, Algebra, and Logic.

Alec

It is possible to do using Import function which saves the usual precedence. In the original example,

with(Logic):
  
a:=Import(p and q or r);

                        a := (p &and q) &or r

b:=Import(r or p and q);

                        b := r &or (p &and q)

Equivalent(a,b);

                                 true

Alec

That would look much better (and editable :) in the wiki.

Alec

That would look much better (and editable :) in the wiki.

Alec

I think, I'll give up on Maple this time, again. Beta seemed like a good idea to me, too, and I tried to get there few times, but without success.

Good luck,
Alec

I think, we have some communication problem. I hope that somebody else will help you. I give up. 

Alec

I think, we have some communication problem. I hope that somebody else will help you. I give up. 

Alec

It's kinda late maybe, but I'm just curious, who won the Maple Mentor Award for 2nd quarter - me or Joe Riel (I would vote for Joe)?

Alec

Where is the difference? You wrote y=x^3+3x-8  and I wrote y=x^3+3x-8.

At x=2, for y defined like that, y=6. It doesn't have to be entered.

Alec

Where is the difference? You wrote y=x^3+3x-8  and I wrote y=x^3+3x-8.

At x=2, for y defined like that, y=6. It doesn't have to be entered.

Alec

Dave,

Thank you!

What about shipping me Maple 12 (or current Maple 13 development version)?

It is really painful trying to connect remotely to the sites with it (some of them, probably, don't even have an idea that I am doing that :)

Alec

Guys, did somebody report the bug?

I don't want to break a tradition :)

Alec

Well, since they were recommended as user defined binary operations, they shouldn't be protected. So it can't be your fault, Jacques. It seems as if the problem started with Maple 9.

Alec

I know about &* and &^ in mod, but I had no idea that one can't plot functions with them. I don't have an access to any previous Maple versions (unless I'll find a box with them - I should have all Maple boxes from Maple 6 to Maple 10 - and some of them more than once - I guess that various Maplesoft departments sent them to me not knowing that I already got a couple of them from other departments :)

Alec