[Axiom-developer] [Q] Function for testing for a part of the output?

[Vladimir Bondarenko]

Good Day,

Say, I have  D(sin(z)^2, z) and the output is  2cos(z)sin(z)

What is the easiest way to see, if the output has sin(z) ?
Say, something like

-> present?(sin(z), D(sin(z)^2, z))
true


Thank you for your help in advance.


Best wishes,

Vladimir Bondarenko