FREEOF _ _ _ _ _ _ _ _ _ _ _ _ operator

The freeof logical operator returns true if its first argument does not contain its second argument anywhere in its structure.

syntax:

freeof(<expression>,<kernel>) or <expression> freeof <kernel>

<expression> can be any valid scalar REDUCE expression, <kernel> mus t be a kernel expression (see kernel).

examples:

a := x + sin(y)**2 + log sin z;
			 


                           2
  A := LOG(SIN(Z)) + SIN(Y)   + X 


if freeof(a,sin(y)) then write "free" else write "not free";
			 


  not free 


if freeof(a,sin(x)) then write "free" else write "not free";
			 


  free 


if a freeof sin z then write "free" else write "not free";
			 


  not free

Logical operators can only be used in conditional expressions such as

if...then or while...do.