SHOWRULES INDEX

SHOWRULES _ _ _ _ _ _ _ _ _ _ _ _ operator

syntax:

showrules(<expression>) or showrules <simple\_expression>

showrulesreturns in rule-list form any operator rules associated with its argument.

examples:


showrules log; 

  {LOG(E) => 1,
   LOG(1) => 0,
        ~X
   LOG(E   ) => ~X,
                     1
   DF(LOG(~X),~X) => --}
                     ~X

Such rules can then be manipulated further as with any list. For example rhs first ws; has the value 1.

An operator may have properties that cannot be displayed in such a form, such as the fact it is an odd function, or has a definition defined as a procedure.