Artifact 4ed23f2413cd3efbe55bb00dc34403d6f98caac6a7bf2dc70e8a15ae6236d989:

• Executable file r37/lisp/csl/html/r37_0113.html — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1292) [annotate] [blame] [check-ins using] [more...]

<A NAME=FREEOF>

<TITLE>FREEOF</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>



<B>FREEOF</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>operator</B><P>
<P>
 
The <em>freeof</em> logical operator returns 

<A HREF=r37_0122.html>true</A> if its first argument does 
not contain its second argument anywhere in its structure. 
 <P> <H3> 
syntax: </H3>
<P>
<P>
<em>freeof</em>(&lt;expression&gt;,&lt;kernel&gt;) or 
&lt;expression&gt; <em>freeof</em> &lt;kernel&gt; 
<P>
<P>
<P>
&lt;expression&gt; can be any valid scalar REDUCE expression, &lt;kernel&gt; mus
t 
be a kernel expression (see <em>kernel</em>). 
<P>
<P>
 <P> <H3> 
examples: </H3>
<P><PRE><TT>
a := x + sin(y)**2 + log sin z;
			 


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


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


  not free 


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


  free 


if a freeof sin z then write &quot;free&quot; else write &quot;not free&quot;;
			 


  not free

</TT></PRE><P>Logical operators can only be used in conditional expressions such
 as 
<P>
<P>
<em>if</em>...<em>then</em> or <em>while</em>...<em>do</em>. 
<P>
<P>
<P>