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');

false

 

Case ii)

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

ture

[A=a,B=0]

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.

 

taro

 

 

 

Please Wait...