File r37/lisp/csl/html/r37_0190.html artifact e2b14c716c part of check-in 5f584e9b52

<A NAME=CLEARRULES>

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



<B>CLEARRULES</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>command</B><P>
<P>
 
 <P>
<P>
 <P> <H3> 
syntax: </H3>
<em>clearrules</em>&lt;list&gt;{,&lt;list&gt;}+ 
<P>
<P>
<P>
The operator <em>clearrules</em> is used to remove previously defined 

<A HREF=r37_0060.html>rule</A> lists from the system. &lt;list&gt; can be an exp
licit rule 
list, or evaluate to a rule list. 
<P>
<P>
 <P> <H3> 
examples: </H3>
<P><PRE><TT>
trig1 := {cos(~x)*cos(~y) =&gt; (cos(x+y)+cos(x-y))/2,
          cos(~x)*sin(~y) =&gt; (sin(x+y)-sin(x-y))/2,
          sin(~x)*sin(~y) =&gt; (cos(x-y)-cos(x+y))/2,
          cos(~x)^2       =&gt; (1+cos(2*x))/2,
          sin(~x)^2       =&gt; (1-cos(2*x))/2}$ 

let trig1;
cos(a)*cos(b); 

  COS(A - B) + COS(A + B)
  ----------------------- 
             2


clearrules trig1;
cos(a)*cos(b); 

  COS(A)*COS(B)

</TT></PRE><P>