Artifact eb26971bffaea8ef049553f5dd7d97d36a97a39773797cc47021bb51d5e39dd6:

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

<A NAME=SYMMETRIC>

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



<B>SYMMETRIC</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>declaration</B><P>
<P>
 
 <P>
<P>
When an operator is declared <em>symmetric</em>, its arguments are reordered 
to conform to the internal ordering of the system. 
 <P> <H3> 
syntax: </H3>
<P>
<P>
<em>symmetric</em>&lt;identifier&gt;{,&lt;identifier&gt;}* 
<P>
<P>
<P>
&lt;identifier&gt; is an identifier that has been declared an operator. 
<P>
<P>
 <P> <H3> 
examples: </H3>
<P><PRE><TT>
operator m,n; 

symmetric m,n; 

m(y,a,sin(x)); 

  M(SIN(X),A,Y) 


n(z,m(b,a,q)); 

  N(M(A,B,Q),Z)

</TT></PRE><P>If &lt;identifier&gt; has not been declared to be an operator, the
 flag 
<em>symmetric</em> is still attached to it. When &lt;identifier&gt; is 
subsequently used as an operator, the message <em>Declare</em>&lt;identifier&gt;
 
 <em>operator ? (Y or N)</em> is printed. If the user replies <em>y</em>, the 
symmetric property of the operator is used. 
<P>
<P>
<P>