Question: About has and sqrt

This is a simplified case from a colleague who could not get has to work.

While this

I/sqrt(a);
has(%, sqrt(a));
                               I   
                             ------
                              (1/2)
                             a     

                             false

is a technically correct output from Maple, false is mathematically an incorrect statement (IMO).

I think new users cannot find the explanation for that on their own because in other instances the output is true

has(I/(1 - sqrt(a)), sqrt(a))
                              

                              true

Are there better ways than

I/sqrt(a);
has(%, sqrt(a))or has(%,1/sqrt(a));
                               I   
                             ------
                              (1/2)
                             a     

                              true

Its a bit complicated to include allways the inverse of an expression to capture all instances of an expression.

Should has do this an give a warning that also the inverse is present?

Please Wait...