Question: patmatch and nonunit

Hello people in mapleprimes,

I hope you will give an answer to my following question.

This is a question of nonunit(algebraic) in patmatch.

In help page of maple this examples are on.


Case i)

>patmatch(a, A::(nonunit(algebraic))+B::(nonunit(algebraic)), 'la');



Case ii)

>patmatch(a,A::(nonunit(algebraic))+B::algebraic,'la'); la



Is unit in the case of sum zero, so that in Case i) false is shown, though in Case ii) B=0 is returned?


Best wishes.






Please Wait...