[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] [Q] Function for testing for a part of the output?
From: |
William Sit |
Subject: |
Re: [Axiom-developer] [Q] Function for testing for a part of the output? |
Date: |
Fri, 11 Feb 2005 04:12:06 -0500 |
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