Artifact 9b8698d48d82d6dd3c67e5fd838f85bfacb1b811a9e0fabb263da8698241b419:

• Executable file r37/lisp/csl/html/r37_0061.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: 760) [annotate] [blame] [check-ins using] [more...]

<A NAME=Free_Variable>

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



<B>FREE VARIABLE</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>type</B><P>
<P>
 
 <P>
<P>
A variable preceded by a tilde is considered as <em>free variable</em> 
and stands for an arbitrary part in an algebraic form during 
pattern matching. Free variables occur in the left-hand sides 
of 
<A HREF=r37_0060.html>rule</A>s, in the side relations for 
<A HREF=r37_0641.html>compact</A> 
and in the first arguments of 
<A HREF=r37_0163.html>map</A> and 
<A HREF=r37_0177.html>select</A> 
calls. See 
<A HREF=r37_0060.html>rule</A> for examples. 
<P>
<P>
In rules also 
<A HREF=r37_0062.html>optional free variable</A>s may occur. 
<P>
<P>