File r37/lisp/csl/html/r37_0178.html from the latest check-in

<A NAME=SHOWRULES>

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



<B>SHOWRULES</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>operator</B><P>
<P>
 
 <P>
<P>
 <P> <H3> 
syntax: </H3>
<em>showrules</em>(&lt;expression&gt;) or 
 <em>showrules</em> &lt;simple\_expression&gt; 
<P>
<P>
<P>
<em>showrules</em>returns in 
<A HREF=r37_0060.html>rule</A><em>-list</em> form any 

<A HREF=r37_0211.html>operator</A> rules associated with its argument. 
<P>
<P>
 <P> <H3> 
examples: </H3>
<P><PRE><TT>
showrules log; 

  {LOG(E) =&gt; 1,
   LOG(1) =&gt; 0,
        ~X
   LOG(E   ) =&gt; ~X,
                     1
   DF(LOG(~X),~X) =&gt; --}
                     ~X

</TT></PRE><P>Such rules can then be manipulated further as with any 
<A HREF=r37_0053.html>list</A>. For 
example 
<em>rhs first ws;</em> has the value 1. 
<P>
<P>
An operator may have properties that cannot be displayed in such a form, 
such as the fact it is an 
<A HREF=r37_0208.html>odd</A> function, or has a definition defined 
as a procedure. 
<P>
<P>
<P>