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

[William Sit]

Vladimir Bondarenko wrote:

> 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

member?(sin(z), isTimes(D(sin(z)^2,z))
  true

Of course this is not general, that is, it would be nice to have a parser that
returns the list of operators and atomic operands (in a nested tree, perhaps
lisp style) when an expression is given and then flattened. Using PATTERN
facilities, it is possible to do some fairly general parsing. In a way
reminscent of Mathematica, unfortunately, parsing depends on the functions
called, rather than the mathematics: that is, one must have a priori knowledge
of the form of the expression (in Mathematica, given by FullForm): sin(z)sin(z)
is different from sin(z)^2.

William