freeof, functions and nounify



According to the manual: 

freeof (x_1, expr) Returns true if no subexpression of expr is equal to x_1 or if x_1 occurs only as a dummy variable in expr, and returns false otherwise.

freeof (x_1, ..., x_n, expr) is equivalent to freeof (x_1, expr) and ... and freeof (x_n, expr).
 
The arguments x_1, ..., x_n may be names of functions and variables, subscripted names, operators (enclosed in double quotes), or general expressions. freeof evaluates its arguments. 


With CVS maxima:

freeof(cos,cos(x));
false;

freeof(bessel_j,bessel_j(n,x));
true;                           <- surely a bug.

freeof(nounify(bessel_j),bessel_j(n,x));
false;


I think the second expression is a bug.  How do we fix it.

	David


NOTICE
This e-mail and any attachments are private and confidential and may contain privileged information. If you are not an authorised recipient, the copying or distribution of this e-mail and any attachments is prohibited and you must not read, print or act in reliance on this e-mail or attachments.
This notice should not be removed.